atomPattern, type, typeId, varName| Constructor and Description |
|---|
Resource(Resource a) |
Resource(VarAdmin pattern) |
Resource(VarAdmin pattern,
Query par) |
| Modifier and Type | Method and Description |
|---|---|
Atomic |
clone() |
boolean |
equals(Object obj) |
int |
equivalenceHashCode() |
Map<String,String> |
getUnifiers(Atomic parentAtom) |
String |
getVal() |
Set<Atomic> |
getValuePredicates() |
Set<String> |
getVarNames() |
int |
hashCode() |
boolean |
isEquivalent(Object obj) |
boolean |
isResource() |
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->
|
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->
|
containsVar, getMatchQuery, getParentQuery, getPattern, getRoleConceptIdMap, getRoleVarTypeMap, getSubstitutions, getType, getTypeConstraints, getTypeId, getVarName, getVarSubMap, getVarTypeRoleMap, isRecursive, isRuleResolvable, setParentQuery, toStringfinalize, getClass, notify, notifyAll, wait, wait, waitisRelation, isSubstitution, isType, isValuePredicatepublic Atomic clone()
public boolean isResource()
public boolean isEquivalent(Object obj)
public int equivalenceHashCode()
public String getVal()
public Set<String> getVarNames()
getVarNames in interface AtomicgetVarNames in class AtomBasepublic Set<Atomic> getValuePredicates()
getValuePredicates in interface AtomicgetValuePredicates in class AtomBasepublic void unify(String from, String to)
Atomicpublic void unify(Map<String,String> unifiers)
Atomicpublic Map<String,String> getUnifiers(Atomic parentAtom)
getUnifiers in interface AtomicgetUnifiers in class AtomBaseCopyright © 2016. All rights reserved.