ai.grakn.graql.internal.reasoner.atom.binary

Class Binary

java.lang.Object

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

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

ai.grakn.graql.internal.reasoner.atom.binary.Binary

All Implemented Interfaces:

Atomic, Cloneable

Direct Known Subclasses:

Resource, TypeAtom

public abstract class Binary
extends Atom

Field Summary

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

type, typeId

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

atomPattern, varName

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Binary(Binary a)
protected	Binary(VarAdmin pattern, Predicate p, Query par)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
int	equivalenceHashCode()
protected abstract String	extractTypeId(VarAdmin var)
protected abstract String	extractValueVariableName(VarAdmin var)
Set<Predicate>	getIdPredicates()
Set<Atom>	getLinkedAtoms()
Predicate	getPredicate()
Set<Predicate>	getPredicates()
Set<String>	getSelectedNames()
Map<String,String>	getUnifiers(Atomic parentAtom)
Set<Predicate>	getValuePredicates()
String	getValueVariable()
Set<String>	getVarNames()
int	hashCode()
boolean	isBinary()
boolean	isEquivalent(Object obj)
protected boolean	isRuleApplicable(InferenceRule child)
boolean	isValueUserDefinedName()
boolean	requiresMaterialisation()
void	setParentQuery(Query q)
protected void	setPredicate(Predicate p)
protected void	setValueVariable(String var)
void	unify(Map<String,String> unifiers) change each variable occurrence according to provided mappings (apply unifiers {[from, to]_i}) if capture occurs it is marked with a "capture->" name
void	unify(String from, String to) change each variable occurrence in the atom (apply unifier [from/to]) if capture occurs it is marked with a "capture->" name

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

getApplicableRules, getRoleVarTypeMap, getType, getTypeConstraints, getTypeId, getVarTypeRoleMap, inferTypes, isAtom, isRecursive, isRelation, isResource, isRuleResolvable, isType, rewrite

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

clone, containsVar, getParentQuery, getPattern, getVarName, isUserDefinedName, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

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

isPredicate, isSelectable

Constructor Detail

Binary

protected Binary(VarAdmin pattern,
                 Predicate p,
                 Query par)

Binary

protected Binary(Binary a)

Method Detail

setParentQuery

public void setParentQuery(Query q)

Specified by:

setParentQuery in interface Atomic

Overrides:

setParentQuery in class AtomBase

Parameters:

q - query this atom is supposed to belong to

extractTypeId

protected abstract String extractTypeId(VarAdmin var)

extractValueVariableName

protected abstract String extractValueVariableName(VarAdmin var)

getPredicate

public Predicate getPredicate()

setPredicate

protected void setPredicate(Predicate p)

isBinary

public boolean isBinary()

Overrides:

isBinary in class Atom

isRuleApplicable

protected boolean isRuleApplicable(InferenceRule child)

Specified by:

isRuleApplicable in class Atom

requiresMaterialisation

public boolean requiresMaterialisation()

Overrides:

requiresMaterialisation in class Atom

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

isEquivalent

public boolean isEquivalent(Object obj)

Returns:

true if atom alpha-equivalent

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equivalenceHashCode

public int equivalenceHashCode()

getValueVariable

public String getValueVariable()

Overrides:

getValueVariable in class Atom

setValueVariable

protected void setValueVariable(String var)

isValueUserDefinedName

public boolean isValueUserDefinedName()

Overrides:

isValueUserDefinedName in class AtomBase

getIdPredicates

public Set<Predicate> getIdPredicates()

Specified by:

getIdPredicates in class Atom

getValuePredicates

public Set<Predicate> getValuePredicates()

Specified by:

getValuePredicates in class Atom

getPredicates

public Set<Predicate> getPredicates()

Specified by:

getPredicates in class Atom

getLinkedAtoms

public Set<Atom> getLinkedAtoms()

getVarNames

public Set<String> getVarNames()

Specified by:

getVarNames in interface Atomic

Overrides:

getVarNames in class AtomBase

Returns:

all addressable variable names in the atom

getSelectedNames

public Set<String> getSelectedNames()

Overrides:

getSelectedNames in class AtomBase

unify

public void unify(String from,
                  String to)

Description copied from interface: Atomic

change each variable occurrence in the atom (apply unifier [from/to]) if capture occurs it is marked with a "capture->" name

Specified by:

unify in interface Atomic

Overrides:

unify in class AtomBase

Parameters:

from - variable name to be changed

to - new variable name

unify

public void unify(Map<String,String> unifiers)

Description copied from interface: Atomic

change each variable occurrence according to provided mappings (apply unifiers {[from, to]_i}) if capture occurs it is marked with a "capture->" name

Specified by:

unify in interface Atomic

Overrides:

unify in class AtomBase

Parameters:

unifiers - contain variable mappings to be applied

getUnifiers

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

Specified by:

getUnifiers in interface Atomic

Overrides:

getUnifiers in class AtomBase