Uses of Class
ai.grakn.graql.internal.reasoner.atom.Atom

Packages that use Atom

Package	Description
ai.grakn.graql.internal.reasoner.atom
ai.grakn.graql.internal.reasoner.atom.binary
ai.grakn.graql.internal.reasoner.atom.binary.type
ai.grakn.graql.internal.reasoner.query
ai.grakn.graql.internal.reasoner.rule

Uses of Atom in ai.grakn.graql.internal.reasoner.atom

Methods in ai.grakn.graql.internal.reasoner.atom that return Atom

Modifier and Type	Method and Description
Atom	Atom.addType(SchemaConcept type)
Atom	Atom.inferTypes()
Atom	Atom.rewriteToUserDefined(Atom parentAtom) rewrites the atom to one with user defined name

Methods in ai.grakn.graql.internal.reasoner.atom that return types with arguments of type Atom

Modifier and Type	Method and Description
List<Atom>	Atom.atomOptions(Answer sub)

Methods in ai.grakn.graql.internal.reasoner.atom with parameters of type Atom

Modifier and Type	Method and Description
MultiUnifier	Atom.getMultiUnifier(Atom parentAtom, boolean exact) find the (multi) unifier with parent atom
abstract Unifier	Atom.getUnifier(Atom parentAtom)
protected abstract boolean	Atom.isRuleApplicableViaAtom(Atom headAtom)
Atom	Atom.rewriteToUserDefined(Atom parentAtom) rewrites the atom to one with user defined name

Constructors in ai.grakn.graql.internal.reasoner.atom with parameters of type Atom

Constructor and Description
Atom(Atom a)

Uses of Atom in ai.grakn.graql.internal.reasoner.atom.binary

Subclasses of Atom in ai.grakn.graql.internal.reasoner.atom.binary

Modifier and Type	Class and Description
class	Binary Implementation for binary atoms with single id typePredicate for a schema concept.
class	RelationshipAtom Atom implementation defining a relation atom corresponding to a combined RelationshipProperty and (optional) IsaProperty.
class	ResourceAtom Atom implementation defining a resource atom corresponding to a HasResourceProperty.
class	TypeAtom Atom implementation defining type atoms of the general form: {isa|sub|plays|relates|has}($varName, $predicateVariable) Type atoms correspond to the following respective graql properties: IsaProperty, SubProperty, PlaysProperty RelatesProperty HasResourceTypeProperty

Methods in ai.grakn.graql.internal.reasoner.atom.binary that return Atom

Modifier and Type	Method and Description
Atom	ResourceAtom.rewriteToUserDefined(Atom parentAtom)
Atom	RelationshipAtom.rewriteToUserDefined(Atom parentAtom)

Methods in ai.grakn.graql.internal.reasoner.atom.binary that return types with arguments of type Atom

Modifier and Type	Method and Description
List<Atom>	RelationshipAtom.atomOptions(Answer sub)

Methods in ai.grakn.graql.internal.reasoner.atom.binary with parameters of type Atom

Modifier and Type	Method and Description
MultiUnifier	RelationshipAtom.getMultiUnifier(Atom pAtom, boolean exact)
Unifier	ResourceAtom.getUnifier(Atom parentAtom)
Unifier	RelationshipAtom.getUnifier(Atom pAtom)
Unifier	Binary.getUnifier(Atom parentAtom)
boolean	TypeAtom.isRuleApplicableViaAtom(Atom ruleAtom)
boolean	ResourceAtom.isRuleApplicableViaAtom(Atom ruleAtom)
boolean	RelationshipAtom.isRuleApplicableViaAtom(Atom ruleAtom)
Atom	ResourceAtom.rewriteToUserDefined(Atom parentAtom)
Atom	RelationshipAtom.rewriteToUserDefined(Atom parentAtom)

Uses of Atom in ai.grakn.graql.internal.reasoner.atom.binary.type

Subclasses of Atom in ai.grakn.graql.internal.reasoner.atom.binary.type

Modifier and Type	Class and Description
class	HasAtom TypeAtom corresponding to graql a HasResourceTypeProperty property.
class	IsaAtom TypeAtom corresponding to graql a IsaProperty property.
class	PlaysAtom TypeAtom corresponding to graql a PlaysProperty property.
class	RelatesAtom TypeAtom corresponding to a graql RelatesProperty property.
class	SubAtom TypeAtom corresponding to graql a SubProperty property.

Uses of Atom in ai.grakn.graql.internal.reasoner.query

Methods in ai.grakn.graql.internal.reasoner.query that return Atom

Modifier and Type	Method and Description
Atom	ReasonerAtomicQuery.getAtom()

Methods in ai.grakn.graql.internal.reasoner.query that return types with arguments of type Atom

Modifier and Type	Method and Description
Set<Atom>	ReasonerQueryImpl.selectAtoms() atom selection function
Set<Atom>	ReasonerAtomicQuery.selectAtoms()

Methods in ai.grakn.graql.internal.reasoner.query with parameters of type Atom

Modifier and Type	Method and Description
static ReasonerAtomicQuery	ReasonerQueries.atomic(Atom atom) create an atomic query from the provided atom NB: atom constraints (types and predicates, if any) will be included in the query

Method parameters in ai.grakn.graql.internal.reasoner.query with type arguments of type Atom

Modifier and Type	Method and Description
static ReasonerQueryImpl	ReasonerQueries.create(List<Atom> as, GraknTx tx) create a reasoner query from provided list of atoms NB: atom constraints (types and predicates, if any) will be included in the query

Uses of Atom in ai.grakn.graql.internal.reasoner.rule

Methods in ai.grakn.graql.internal.reasoner.rule that return Atom

Modifier and Type	Method and Description
Atom	InferenceRule.getRuleConclusionAtom()

Methods in ai.grakn.graql.internal.reasoner.rule with parameters of type Atom

Modifier and Type	Method and Description
MultiUnifier	InferenceRule.getMultiUnifier(Atom parentAtom)
InferenceRule	InferenceRule.propagateConstraints(Atom parentAtom, Unifier unifier)
boolean	InferenceRule.requiresMaterialisation(Atom parentAtom) rule requires materialisation in the context of resolving parent atom if parent atom requires materialisation, head atom requires materialisation or if the head contains only fresh variables
InferenceRule	InferenceRule.rewriteToUserDefined(Atom parentAtom) rewrite the rule to a form with user defined variables