ai.grakn.graql.internal.reasoner.atom

Class Atom

java.lang.Object

ai.grakn.graql.internal.reasoner.atom.AtomBase

ai.grakn.graql.internal.reasoner.atom.Atom

All Implemented Interfaces:

Atomic, Cloneable

Direct Known Subclasses:

Binary, Relation

public abstract class Atom
extends AtomBase

Field Summary

Fields

Modifier and Type	Field and Description
protected Type	type
protected String	typeId

Fields inherited from class ai.grakn.graql.internal.reasoner.atom.AtomBase

atomPattern, varName

Constructor Summary

Constructors

Constructor and Description
Atom(Atom a)
Atom(VarAdmin pattern)
Atom(VarAdmin pattern, Query par)

Method Summary

Modifier and Type	Method and Description
Set<Rule>	getApplicableRules()
Set<Predicate>	getIdPredicates()
Map<RoleType,String>	getRoleConceptIdMap()
Map<RoleType,javafx.util.Pair<String,Type>>	getRoleVarTypeMap()
Type	getType()
Set<Atom>	getTypeConstraints()
String	getTypeId()
Map<String,String>	getUnifiers(Atomic parentAtom)
Set<Predicate>	getValuePredicates()
String	getValueVariable()
Map<String,Predicate>	getVarSubMap()
Map<String,javafx.util.Pair<Type,RoleType>>	getVarTypeRoleMap()
boolean	isAtom()
boolean	isBinary()
boolean	isRecursive()
boolean	isRelation()
boolean	isResource()
boolean	isRuleResolvable()
boolean	isType()

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

clone, containsVar, getParentQuery, getPattern, getPredicates, getVarName, getVarNames, setParentQuery, toString, unify, unify

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface ai.grakn.graql.internal.reasoner.atom.Atomic

equivalenceHashCode, isEquivalent, isPredicate

Field Detail

type

protected Type type

typeId

protected String typeId

Constructor Detail

Atom

public Atom(VarAdmin pattern)

Atom

public Atom(VarAdmin pattern,
            Query par)

Atom

public Atom(Atom a)

Method Detail

isAtom

public boolean isAtom()

isBinary

public boolean isBinary()

isType

public boolean isType()

Returns:

true if the atom corresponds to a atom

isRelation

public boolean isRelation()

Returns:

true if the atom corresponds to a non-unary atom

isResource

public boolean isResource()

Returns:

true if the atom corresponds to a resource atom

getApplicableRules

public Set<Rule> getApplicableRules()

isRuleResolvable

public boolean isRuleResolvable()

Returns:

true if the atom can be resolved by a rule (atom exists in one of the rule's head)

isRecursive

public boolean isRecursive()

getType

public Type getType()

getTypeId

public String getTypeId()

getValueVariable

public String getValueVariable()

getUnifiers

public Map<String,String> getUnifiers(Atomic parentAtom)

Specified by:

getUnifiers in interface Atomic

Specified by:

getUnifiers in class AtomBase

getIdPredicates

public Set<Predicate> getIdPredicates()

getValuePredicates

public Set<Predicate> getValuePredicates()

getTypeConstraints

public Set<Atom> getTypeConstraints()

getVarSubMap

public Map<String,Predicate> getVarSubMap()

getRoleConceptIdMap

public Map<RoleType,String> getRoleConceptIdMap()

getVarTypeRoleMap

public Map<String,javafx.util.Pair<Type,RoleType>> getVarTypeRoleMap()

getRoleVarTypeMap

public Map<RoleType,javafx.util.Pair<String,Type>> getRoleVarTypeMap()