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(VarPatternAdmin 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)
Atomic	copy()
protected Pair<VarPatternAdmin,IdPredicate>	getTypedPair(SchemaConcept type)
boolean	isAllowedToFormRuleHead()
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

equivalenceHashCode, getCombinedPattern, getInnerPredicates, getPredicateVariable, getTypeId, getTypePredicate, getUnifier, getVarNames, isEquivalent, setParentQuery

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

atomOptions, baseResolutionPriority, getApplicableRules, getIdPredicate, getInnerPredicates, getMultiUnifier, getNeighbours, getNonSelectableConstraints, getPartialSubstitutions, getPredicate, getPredicates, getPredicates, getRoleExpansionVariables, getSpecificTypeConstraints, getTypeConstraints, getVarProperties, inferTypes, isAtom, isRecursive, isRuleResolvable, requiresRoleExpansion, rewriteToUserDefined, toRelationshipAtom

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

containsVar, 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

isPredicate, isRelation, isResource, validateOntologically

Constructor Detail

IsaAtom

public IsaAtom(VarPatternAdmin 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

isAllowedToFormRuleHead

public boolean isAllowedToFormRuleHead()

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

getTypedPair

protected Pair<VarPatternAdmin,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

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