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
javafx.util.Pair<Atom,Unifier>	Atom.rewriteToUserDefinedWithUnifiers() rewrites the atom to one with user defined name, need unifiers for cases when we have variable clashes between the relation variable and relation players

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)

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 Base implementation for binary atoms with multiple predicate.
class	Relation Atom implementation defining a relation atom.
class	Resource Atom implementation defining a resource atom.
class	TypeAtom Atom implementation defining type atoms of the type $varName {isa|sub|plays|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 that return types with arguments of type Atom

Modifier and Type	Method and Description
Set<Atom>	BinaryBase.getLinkedAtoms()
javafx.util.Pair<Atom,Unifier>	Relation.rewriteToUserDefinedWithUnifiers() rewrites the atom to one with user defined name, need unifiers for cases when we have variable clashes between the relation variable and relation players

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)

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	ReasonerQueryImpl.findNextJoinable(Atom atom)
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
Atom	ReasonerQueryImpl.findNextJoinable(Atom atom)

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

Constructor and Description
ReasonerAtomicQuery(Atom at)
ReasonerQueryImpl(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
InferenceRule	InferenceRule.propagateConstraints(Atom parentAtom)
InferenceRule	InferenceRule.unify(Atom parentAtom) make rule consistent variable-wise with the parent atom by means of unification