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 types with arguments of type Atom

Modifier and Type	Method and Description
Set<Atom>	Atom.getTypeConstraints()
javafx.util.Pair<Atom,Map<VarName,VarName>>	Atom.rewrite(Atom parent, Query q) rewrites the atom to be compatible with parent atom

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

Modifier and Type	Method and Description
javafx.util.Pair<Atom,Map<VarName,VarName>>	Atom.rewrite(Atom parent, Query q) rewrites the atom to be compatible 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 implementationfor binary atoms of the type ($varName, $valueVariable), where value variable references predicates.
class	HasRole Atom implementation defining a has-role atom.
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-role|has-resource|has-scope} $valueVariable)

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,Map<VarName,VarName>>	Relation.rewrite(Atom parentAtom, Query parent)

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

Modifier and Type	Method and Description
javafx.util.Pair<Atom,Map<VarName,VarName>>	Relation.rewrite(Atom parentAtom, Query parent)

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	AtomicQuery.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>	Query.getResources()
Set<Atom>	Query.getTypeConstraints()
Set<Atom>	Query.selectAtoms() atom selection function
Set<Atom>	AtomicQuery.selectAtoms()

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

Constructor and Description
AtomicMatchQuery(Atom atom, Set<VarName> vars)
AtomicQuery(Atom at, Set<VarName> vars)
Query(Atom atom, Set<VarName> vars)

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
void	InferenceRule.unify(Atom parentAtom) make rule consistent variable-wise with the parent atom by means of unification