ai.grakn.graql.internal.reasoner.atom.binary

Class IsaAtom

java.lang.Object

ai.grakn.graql.internal.reasoner.atom.AtomicBase

ai.grakn.graql.internal.reasoner.atom.Atom

ai.grakn.graql.internal.reasoner.atom.binary.Binary

ai.grakn.graql.internal.reasoner.atom.binary.TypeAtom

ai.grakn.graql.internal.reasoner.atom.binary.IsaAtomBase

ai.grakn.graql.internal.reasoner.atom.binary.IsaAtom

All Implemented Interfaces:

Atomic

public abstract class IsaAtom
extends IsaAtomBase

TypeAtom corresponding to graql a IsaProperty property.

Author:

Kasper Piskorski

Field Summary

Fields inherited from class ai.grakn.graql.internal.reasoner.atom.Atom

applicableRules

Constructor Summary

Constructors

Constructor and Description
IsaAtom()

Method Summary

Modifier and Type	Method and Description
IsaAtom	addType(SchemaConcept type)
List<Atom>	atomOptions(ConceptMap sub)
Atomic	copy(ReasonerQuery parent)
static IsaAtom	create(Var var, Var predicateVar, ConceptId predicateId, boolean isDirect, ReasonerQuery parent)
static IsaAtom	create(Var var, Var predicateVar, SchemaConcept type, boolean isDirect, ReasonerQuery parent)
static IsaAtom	create(Var var, Var predicateVar, VarPattern pattern, ConceptId predicateId, ReasonerQuery parent)
protected Pattern	createCombinedPattern()
boolean	equals(Object obj)
abstract ReasonerQuery	getParentQuery()
abstract VarPattern	getPattern()
com.google.common.collect.ImmutableList<SchemaConcept>	getPossibleTypes()
abstract Var	getPredicateVariable()
Class<? extends VarProperty>	getVarPropertyClass()
int	hashCode()
IsaAtom	inferTypes(ConceptMap sub)
java.util.stream.Stream<ConceptMap>	materialise()
Atom	rewriteToUserDefined(Atom parentAtom) rewrites the atom to one with suitably user-defined names depending on provided parent
Atom	rewriteWithTypeVariable()
String	toString()

Methods inherited from class ai.grakn.graql.internal.reasoner.atom.binary.IsaAtomBase

unify

Methods inherited from class ai.grakn.graql.internal.reasoner.atom.binary.TypeAtom

isRuleApplicableViaAtom, isSelectable, isType, isUnifiableWith, requiresMaterialisation

Methods inherited from class ai.grakn.graql.internal.reasoner.atom.binary.Binary

alphaEquivalenceHashCode, checkValid, getInnerPredicates, getSchemaConcept, getTypeId, getTypePredicate, getUnifier, getVarNames, isAlphaEquivalent, isDirect, isStructurallyEquivalent, structuralEquivalenceHashCode

Methods inherited from class ai.grakn.graql.internal.reasoner.atom.Atom

getApplicableRules, getInnerPredicates, getMultiUnifier, getNeighbours, getNonSelectableConstraints, getPartialSubstitutions, getPotentialRules, getRoleExpansionVariables, getTypeConstraints, getVarProperties, inferTypes, isAtom, isBounded, isDisconnected, isGround, isRecursive, isRuleResolvable, requiresDecomposition, requiresRoleExpansion, requiresSchema, rewriteToAtoms, rewriteWithRelationVariable, rewriteWithTypeVariable, toIsaAtom, toRelationshipAtom, validateAsRuleHead

Methods inherited from class ai.grakn.graql.internal.reasoner.atom.AtomicBase

getCombinedPattern, getIdPredicate, getPredicate, getPredicates, getPredicates, isUserDefined, tx

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface ai.grakn.graql.admin.Atomic

getVarName, isCompatibleWith, isRelation, isResource, validateOntologically

Constructor Detail

IsaAtom

public IsaAtom()

Method Detail

getPredicateVariable

public abstract Var getPredicateVariable()

Specified by:

getPredicateVariable in class Binary

Returns:

value variable name

getPattern

public abstract VarPattern getPattern()

getParentQuery

public abstract ReasonerQuery getParentQuery()

create

public static IsaAtom create(Var var,
                             Var predicateVar,
                             VarPattern pattern,
                             @Nullable
                             ConceptId predicateId,
                             ReasonerQuery parent)

create

public static IsaAtom create(Var var,
                             Var predicateVar,
                             @Nullable
                             ConceptId predicateId,
                             boolean isDirect,
                             ReasonerQuery parent)

create

public static IsaAtom create(Var var,
                             Var predicateVar,
                             SchemaConcept type,
                             boolean isDirect,
                             ReasonerQuery parent)

copy

public Atomic copy(ReasonerQuery parent)

getVarPropertyClass

public Class<? extends VarProperty> getVarPropertyClass()

Specified by:

getVarPropertyClass in class Atom

equals

public final boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

@Memoized
public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class AtomicBase

createCombinedPattern

protected Pattern createCombinedPattern()

Overrides:

createCombinedPattern in class Binary

addType

public IsaAtom addType(SchemaConcept type)

Overrides:

addType in class Atom

Parameters:

type - to be added to this Atom

Returns:

new Atom with specified type

inferTypes

public IsaAtom inferTypes(ConceptMap sub)

Overrides:

inferTypes in class Atom

getPossibleTypes

public com.google.common.collect.ImmutableList<SchemaConcept> getPossibleTypes()

Overrides:

getPossibleTypes in class Atom

Returns:

list of types this atom can take

atomOptions

public List<Atom> atomOptions(ConceptMap sub)

Overrides:

atomOptions in class Atom

Parameters:

sub - partial substitution

Returns:

list of possible atoms obtained by applying type inference

materialise

public java.util.stream.Stream<ConceptMap> materialise()

Overrides:

materialise in class Atom

rewriteWithTypeVariable

public Atom rewriteWithTypeVariable()

Specified by:

rewriteWithTypeVariable in class Atom

rewriteToUserDefined

public Atom rewriteToUserDefined(Atom parentAtom)

Description copied from class: Atom

rewrites the atom to one with suitably user-defined names depending on provided parent

Specified by:

rewriteToUserDefined in class Atom

Parameters:

parentAtom - parent atom that triggers rewrite

Returns:

rewritten atom