ai.grakn.graql.internal.reasoner.atom

Class Relation

java.lang.Object

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

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

ai.grakn.graql.internal.reasoner.atom.Relation

All Implemented Interfaces:

Atomic, Cloneable

public class Relation
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

Constructor and Description
Relation(String id, Map<String,String> roleMap, Query par)
Relation(VarAdmin pattern)
Relation(VarAdmin pattern, Query par)

Method Summary

Modifier and Type	Method and Description
Atomic	clone()
static VarAdmin	constructRelation(String id, Map<String,String> roleMap)
boolean	containsVar(String name)
boolean	equals(Object obj)
int	equivalenceHashCode()
Map<RoleType,javafx.util.Pair<String,Type>>	getRoleVarTypeMap()
Set<String>	getVarNames()
Map<String,javafx.util.Pair<Type,RoleType>>	getVarTypeRoleMap()
boolean	hasExplicitRoleTypes()
int	hashCode()
boolean	isEquivalent(Object obj)
boolean	isRelation()
boolean	isRuleResolvable()
void	unify(Map<String,String> mappings) 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, getIdPredicates, getRoleConceptIdMap, getType, getTypeConstraints, getTypeId, getUnifiers, getValuePredicates, getValueVariable, getVarSubMap, isAtom, isBinary, isRecursive, isResource, isType

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

getParentQuery, getPattern, getPredicates, getVarName, setParentQuery, 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

Constructor Detail

Relation

public Relation(VarAdmin pattern)

Relation

public Relation(VarAdmin pattern,
                Query par)

Relation

public Relation(String id,
                Map<String,String> roleMap,
                Query par)

Method Detail

clone

public Atomic clone()

Specified by:

clone in interface Atomic

Specified by:

clone in class AtomBase

constructRelation

public static VarAdmin constructRelation(String id,
                                         Map<String,String> roleMap)

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

isEquivalent

public boolean isEquivalent(Object obj)

Returns:

true if atom alpha-equivalent

equivalenceHashCode

public int equivalenceHashCode()

isRelation

public boolean isRelation()

Overrides:

isRelation in class Atom

Returns:

true if the atom corresponds to a non-unary atom

isRuleResolvable

public boolean isRuleResolvable()

Specified by:

isRuleResolvable in interface Atomic

Overrides:

isRuleResolvable in class Atom

Returns:

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

hasExplicitRoleTypes

public boolean hasExplicitRoleTypes()

containsVar

public boolean containsVar(String name)

Specified by:

containsVar in interface Atomic

Overrides:

containsVar in class AtomBase

Parameters:

name - variable name

Returns:

true if atom contains an occurrence of the variable name

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> mappings)

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:

mappings - contain variable mappings to be applied

getVarNames

public Set<String> getVarNames()

Specified by:

getVarNames in interface Atomic

Overrides:

getVarNames in class AtomBase

getVarTypeRoleMap

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

Overrides:

getVarTypeRoleMap in class Atom

getRoleVarTypeMap

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

Overrides:

getRoleVarTypeMap in class Atom