public class EquivalentFragmentSets extends Object
EquivalentFragmentSet.| Constructor and Description |
|---|
EquivalentFragmentSets() |
| Modifier and Type | Method and Description |
|---|---|
static EquivalentFragmentSet |
dataType(Var resourceType,
ResourceType.DataType<?> dataType)
An
EquivalentFragmentSet that indicates a variable representing a resource type with a data-type. |
static EquivalentFragmentSet |
hasScope(Var relation,
Var scope)
An
EquivalentFragmentSet that indicates a variable is a relation with a scope. |
static EquivalentFragmentSet |
id(Var start,
ConceptId id)
An
EquivalentFragmentSet that indicates a variable representing a concept with a particular ID. |
static EquivalentFragmentSet |
isa(Var instance,
Var type)
An
EquivalentFragmentSet that indicates a variable is an instance of a type. |
static EquivalentFragmentSet |
isAbstract(Var start)
An
EquivalentFragmentSet that indicates a variable represents an abstract type. |
static EquivalentFragmentSet |
label(Var type,
Label label)
An
EquivalentFragmentSet that indicates a variable representing a type with a particular label. |
static EquivalentFragmentSet |
neq(Var varA,
Var varB)
An
EquivalentFragmentSet that indicates a variable is not equal to another variable. |
static EquivalentFragmentSet |
notInternalFragmentSet(Var start)
An
EquivalentFragmentSet that indicates a variable is not a casting or a shard. |
static void |
optimiseFragmentSets(Collection<EquivalentFragmentSet> fragmentSets,
GraknGraph graph)
Modify the given collection of
EquivalentFragmentSet to introduce certain optimisations, such as the
ResourceIndexFragmentSet. |
static EquivalentFragmentSet |
plays(Var type,
Var roleType,
boolean required)
An
EquivalentFragmentSet that indicates a variable is a type whose instances play a role. |
static EquivalentFragmentSet |
regex(Var resourceType,
String regex)
An
EquivalentFragmentSet that indicates a resource type whose instances must conform to a given regex. |
static EquivalentFragmentSet |
relates(Var relationType,
Var roleType)
An
EquivalentFragmentSet that indicates a variable is a relation type which involves a role. |
static EquivalentFragmentSet |
shortcut(Var relation,
Var edge,
Var rolePlayer,
Optional<Var> roleType)
An
EquivalentFragmentSet that indicates a shortcut edge between two role-players. |
static EquivalentFragmentSet |
sub(Var subType,
Var superType)
An
EquivalentFragmentSet that indicates a variable is a sub-type of another variable. |
static EquivalentFragmentSet |
value(Var resource,
ValuePredicateAdmin predicate)
An
EquivalentFragmentSet that indicates a variable represents a resource with value matching a predicate. |
public static EquivalentFragmentSet plays(Var type, Var roleType, boolean required)
EquivalentFragmentSet that indicates a variable is a type whose instances play a role.type - a type variable labelroleType - a role type variable labelrequired - whether the plays must be constrained to be "required"public static EquivalentFragmentSet shortcut(Var relation, Var edge, Var rolePlayer, Optional<Var> roleType)
EquivalentFragmentSet that indicates a shortcut edge between two role-players.public static EquivalentFragmentSet sub(Var subType, Var superType)
EquivalentFragmentSet that indicates a variable is a sub-type of another variable.public static EquivalentFragmentSet hasScope(Var relation, Var scope)
EquivalentFragmentSet that indicates a variable is a relation with a scope.public static EquivalentFragmentSet relates(Var relationType, Var roleType)
EquivalentFragmentSet that indicates a variable is a relation type which involves a role.public static EquivalentFragmentSet notInternalFragmentSet(Var start)
EquivalentFragmentSet that indicates a variable is not a casting or a shard.public static EquivalentFragmentSet isa(Var instance, Var type)
EquivalentFragmentSet that indicates a variable is an instance of a type.public static EquivalentFragmentSet neq(Var varA, Var varB)
EquivalentFragmentSet that indicates a variable is not equal to another variable.public static EquivalentFragmentSet value(Var resource, ValuePredicateAdmin predicate)
EquivalentFragmentSet that indicates a variable represents a resource with value matching a predicate.public static EquivalentFragmentSet id(Var start, ConceptId id)
EquivalentFragmentSet that indicates a variable representing a concept with a particular ID.public static EquivalentFragmentSet isAbstract(Var start)
EquivalentFragmentSet that indicates a variable represents an abstract type.public static EquivalentFragmentSet label(Var type, Label label)
EquivalentFragmentSet that indicates a variable representing a type with a particular label.public static EquivalentFragmentSet dataType(Var resourceType, ResourceType.DataType<?> dataType)
EquivalentFragmentSet that indicates a variable representing a resource type with a data-type.public static EquivalentFragmentSet regex(Var resourceType, String regex)
EquivalentFragmentSet that indicates a resource type whose instances must conform to a given regex.public static void optimiseFragmentSets(Collection<EquivalentFragmentSet> fragmentSets, GraknGraph graph)
EquivalentFragmentSet to introduce certain optimisations, such as the
ResourceIndexFragmentSet.
This involves substituting various EquivalentFragmentSet with other EquivalentFragmentSet.Copyright © 2017 Grakn Labs Ltd. All rights reserved.