atomPattern, type, typeId, varName| Constructor and Description |
|---|
Relation(Relation a) |
Relation(String id,
Map<String,String> roleMap,
Query par) |
Relation(VarAdmin pattern) |
Relation(VarAdmin pattern,
Query par) |
| 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() |
String |
getVal() |
Set<String> |
getVarNames() |
Map<String,javafx.util.Pair<Type,RoleType>> |
getVarTypeRoleMap() |
boolean |
hasExplicitRoleTypes() |
int |
hashCode() |
boolean |
isEquivalent(Object obj) |
boolean |
isRelation() |
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->
|
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->
|
getMatchQuery, getParentQuery, getPattern, getRoleConceptIdMap, getSubstitutions, getType, getTypeConstraints, getTypeId, getUnifiers, getValuePredicates, getVarName, getVarSubMap, isRecursive, isRuleResolvable, setParentQuery, toStringfinalize, getClass, notify, notifyAll, wait, wait, waitisResource, isSubstitution, isType, isValuePredicatepublic Atomic clone()
public boolean isEquivalent(Object obj)
public int equivalenceHashCode()
public boolean isRelation()
public boolean hasExplicitRoleTypes()
public boolean containsVar(String name)
containsVar in interface AtomiccontainsVar in class AtomBasename - variable namepublic void unify(String from, String to)
Atomicpublic void unify(Map<String,String> mappings)
Atomicpublic Set<String> getVarNames()
getVarNames in interface AtomicgetVarNames in class AtomBasepublic String getVal()
public Map<String,javafx.util.Pair<Type,RoleType>> getVarTypeRoleMap()
getVarTypeRoleMap in interface AtomicgetVarTypeRoleMap in class AtomBasepublic Map<RoleType,javafx.util.Pair<String,Type>> getRoleVarTypeMap()
getRoleVarTypeMap in interface AtomicgetRoleVarTypeMap in class AtomBaseCopyright © 2016. All rights reserved.