| Modifier and Type | Field and Description |
|---|---|
static int |
BOUND_VARIABLE
priority modifier for guard (type atom) the atom has - favour boundary rather than bulk atoms
|
static int |
COMPARISON_VARIABLE_VALUE_PREDICATE
priority modifier for each value predicate with variable requiring comparison
NB: atom satisfying this criterion should be resolved last
|
static int |
GUARD
priority modifier for guard (type atom) the atom has
|
static int |
INEQUALITY_PREDICATE
priority modifier if an atom has an inequality predicate
|
static int |
IS_RELATION_ATOM
priority modifier if a given atom is a relation atom
|
static int |
IS_RESOURCE_ATOM
priority modifier if a given atom is a resource atom
|
static int |
IS_TYPE_ATOM
priority modifier if a given atom is a type atom
|
static int |
NON_SPECIFIC_TYPE_ATOM
priority modifier if a given atom is a type atom without specific type
NB: atom satisfying this criterion should be resolved last
|
static int |
NON_SPECIFIC_VALUE_PREDICATE
priority modifier for each non-specific value predicate a given atom (resource) has
|
static int |
PARTIAL_SUBSTITUTION
priority modifier for each partial substitution a given atom has
|
static int |
RECURSIVE_ATOM
priority modifier if a given atom is recursive atom
|
static int |
RESOURCE_REIFIYING_RELATION
priority modifier if a given atom is a resource atom attached to a relation
|
static int |
RESOURCE_SUPERNODE_SIZE
number of entities that need to be attached to a resource wtih a specific value to be considered a supernode
|
static int |
RULE_RESOLVABLE_ATOM |
static int |
SPECIFIC_VALUE_PREDICATE
priority modifier for each specific value predicate a given atom (resource) has
|
static int |
VARIABLE_VALUE_PREDICATE
priority modifier for each value predicate with variable
|
| Constructor and Description |
|---|
ResolutionStrategy() |
public static final int PARTIAL_SUBSTITUTION
public static final int IS_RESOURCE_ATOM
public static final int RESOURCE_REIFIYING_RELATION
public static final int IS_TYPE_ATOM
public static final int IS_RELATION_ATOM
public static final int NON_SPECIFIC_TYPE_ATOM
public static final int RULE_RESOLVABLE_ATOM
public static final int RECURSIVE_ATOM
public static final int GUARD
public static final int BOUND_VARIABLE
public static final int INEQUALITY_PREDICATE
public static final int SPECIFIC_VALUE_PREDICATE
public static final int NON_SPECIFIC_VALUE_PREDICATE
public static final int VARIABLE_VALUE_PREDICATE
public static final int RESOURCE_SUPERNODE_SIZE
public static final int COMPARISON_VARIABLE_VALUE_PREDICATE
Copyright © 2017 Grakn Labs Ltd. All rights reserved.