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.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.rewriteToUserDefined() 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
java.util.stream.Stream<Atom>	Atom.getNeighbours()

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

Modifier and Type	Method and Description
Set<Unifier>	Atom.getPermutationUnifiers(Atom headAtom)
abstract Unifier	Atom.getUnifier(Atom parentAtom) find unifier with parent atom

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 Base implementation for binary atoms with single predicate.
class	BinaryBase Base implementation for binary atoms of the type ($varName, $valueVariable), where value variable references predicates.
class	MultiPredicateBinary<T extends Predicate> Base implementation for binary atoms with multiple predicate.
class	Relation Atom implementation defining a relation atom corresponding to a combined RelationProperty and (optional) IsaProperty.
class	Resource Atom implementation defining a resource atom corresponding to a HasResourceProperty.
class	TypeAtom Atom implementation defining type atoms of the general form: $varName {isa|sub|plays|relates|has|has-scope} $valueVariable).

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

Modifier and Type	Method and Description
Atom	Relation.rewriteToUserDefined()

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

Modifier and Type	Method and Description
Set<Unifier>	Relation.getPermutationUnifiers(Atom headAtom)
Unifier	Resource.getUnifier(Atom parentAtom)
Unifier	Relation.getUnifier(Atom pAtom)
Unifier	BinaryBase.getUnifier(Atom parentAtom)

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)

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
Unifier	InferenceRule.getUnifier(Atom parentAtom)
InferenceRule	InferenceRule.propagateConstraints(Atom parentAtom, Unifier unifier)
boolean	InferenceRule.requiresMaterialisation(Atom parentAtom) rule requires materialisation in the context of resolving parentatom 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