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

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.type.IsaAtom

All Implemented Interfaces:

Atomic

Direct Known Subclasses:

RelationshipAtom

public class IsaAtom
extends TypeAtom

TypeAtom corresponding to graql a IsaProperty property.

Author:

Kasper Piskorski

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	IsaAtom(TypeAtom a)
	IsaAtom(VarPattern pattern, Var predicateVar, IdPredicate p, ReasonerQuery par)
	IsaAtom(Var var, Var predicateVar, SchemaConcept type, ReasonerQuery par)

Method Summary

Modifier and Type	Method and Description
IsaAtom	addType(SchemaConcept type)
List<Atom>	atomOptions(Answer sub)
Atomic	copy()
protected Pattern	createCombinedPattern()
protected Pair<VarPattern,IdPredicate>	getTypedPair(SchemaConcept type)
Class<? extends VarProperty>	getVarPropertyClass()
IsaAtom	inferTypes(Answer sub)
java.util.stream.Stream<Answer>	materialise()
Atom	rewriteToUserDefined(Atom parentAtom) rewrites the atom to one with suitably user-defined names depending on provided parent
Atom	rewriteWithTypeVariable()
String	toString()
Set<TypeAtom>	unify(Unifier u)

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

computePriority, equals, getSchemaConcept, hashCode, isRuleApplicableViaAtom, isSelectable, isType, requiresMaterialisation

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

alphaEquivalenceHashCode, checkValid, getInnerPredicates, getPredicateVariable, getTypeId, getTypePredicate, getUnifier, getVarNames, isAlphaEquivalent, isStructurallyEquivalent, setParentQuery, structuralEquivalenceHashCode

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

getApplicableRules, getIdPredicate, getInnerPredicates, getMultiUnifier, getNeighbours, getNonSelectableConstraints, getPartialSubstitutions, getPotentialRules, getPredicate, getPredicates, getPredicates, getRoleExpansionVariables, getSpecificTypeConstraints, getTypeConstraints, getVarProperties, inferTypes, isAtom, isGround, isRecursive, isRuleResolvable, requiresRoleExpansion, rewriteWithRelationVariable, rewriteWithTypeVariable, toRelationshipAtom, validateAsRuleHead

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

containsVar, getCombinedPattern, getParentQuery, getPattern, getVarName, 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

isCompatibleWith, isRelation, isResource, validateOntologically

Constructor Detail

IsaAtom

public IsaAtom(VarPattern pattern,
               Var predicateVar,
               IdPredicate p,
               ReasonerQuery par)

IsaAtom

public IsaAtom(Var var,
               Var predicateVar,
               SchemaConcept type,
               ReasonerQuery par)

IsaAtom

protected IsaAtom(TypeAtom a)

Method Detail

getVarPropertyClass

public Class<? extends VarProperty> getVarPropertyClass()

Specified by:

getVarPropertyClass in class Atom

toString

public String toString()

Overrides:

toString in class AtomicBase

copy

public Atomic copy()

Specified by:

copy in interface Atomic

Specified by:

copy in class AtomicBase

createCombinedPattern

protected Pattern createCombinedPattern()

Overrides:

createCombinedPattern in class Binary

getTypedPair

protected Pair<VarPattern,IdPredicate> getTypedPair(SchemaConcept type)

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(Answer sub)

Overrides:

inferTypes in class Atom

atomOptions

public List<Atom> atomOptions(Answer 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<Answer> materialise()

Overrides:

materialise in class Atom

unify

public Set<TypeAtom> unify(Unifier u)

Specified by:

unify in class TypeAtom

Parameters:

u - unifier to be applied

Returns:

set of type atoms resulting from applying the unifier

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