atomPattern, type, typeId, varName| Constructor and Description |
|---|
Substitution(String varName,
Concept con) |
Substitution(String varName,
Concept con,
Query parent) |
Substitution(Substitution a) |
Substitution(VarAdmin pattern) |
Substitution(VarAdmin pattern,
Query par) |
| Modifier and Type | Method and Description |
|---|---|
Atomic |
clone() |
static VarAdmin |
createSubstitution(String varName,
Concept con) |
boolean |
equals(Object obj) |
int |
equivalenceHashCode() |
String |
getVal() |
int |
hashCode() |
boolean |
isEquivalent(Object obj) |
boolean |
isRuleResolvable() |
boolean |
isSubstitution() |
containsVar, getMatchQuery, getParentQuery, getPattern, getRoleConceptIdMap, getRoleVarTypeMap, getSubstitutions, getType, getTypeConstraints, getTypeId, getUnifiers, getValuePredicates, getVarName, getVarNames, getVarSubMap, getVarTypeRoleMap, isRecursive, setParentQuery, toString, unify, unifyfinalize, getClass, notify, notifyAll, wait, wait, waitisRelation, isResource, isType, isValuePredicatepublic Substitution(VarAdmin pattern)
public Substitution(Substitution a)
public Atomic clone()
public boolean isSubstitution()
public boolean isRuleResolvable()
isRuleResolvable in interface AtomicisRuleResolvable in class AtomBasepublic boolean isEquivalent(Object obj)
public int equivalenceHashCode()
Copyright © 2016. All rights reserved.