public abstract class AtomBase extends Object implements Atomic
| Modifier and Type | Field and Description |
|---|---|
protected PatternAdmin |
atomPattern |
protected Type |
type |
protected String |
typeId |
protected String |
varName |
| Constructor and Description |
|---|
AtomBase() |
AtomBase(AtomBase a) |
AtomBase(VarAdmin pattern) |
AtomBase(VarAdmin pattern,
Query par) |
| Modifier and Type | Method and Description |
|---|---|
abstract Atomic |
clone() |
boolean |
containsVar(String name) |
MatchQuery |
getMatchQuery(MindmapsGraph graph) |
Query |
getParentQuery() |
PatternAdmin |
getPattern() |
Map<RoleType,String> |
getRoleConceptIdMap() |
Map<RoleType,javafx.util.Pair<String,Type>> |
getRoleVarTypeMap() |
Set<Atomic> |
getSubstitutions() |
Type |
getType() |
Set<Atomic> |
getTypeConstraints() |
String |
getTypeId() |
Map<String,String> |
getUnifiers(Atomic parentAtom) |
String |
getVal() |
Set<Atomic> |
getValuePredicates() |
String |
getVarName() |
Set<String> |
getVarNames() |
Map<String,Atomic> |
getVarSubMap() |
Map<String,javafx.util.Pair<Type,RoleType>> |
getVarTypeRoleMap() |
boolean |
isRecursive() |
boolean |
isRuleResolvable() |
void |
setParentQuery(Query q) |
String |
toString() |
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->
|
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitequivalenceHashCode, isEquivalent, isRelation, isResource, isSubstitution, isType, isValuePredicateprotected String varName
protected Type type
protected final String typeId
protected final PatternAdmin atomPattern
public AtomBase()
public AtomBase(VarAdmin pattern)
public AtomBase(AtomBase a)
public abstract Atomic clone()
public boolean isRuleResolvable()
isRuleResolvable in interface Atomicpublic boolean isRecursive()
isRecursive in interface Atomicpublic boolean containsVar(String name)
containsVar in interface Atomicname - variable namepublic PatternAdmin getPattern()
getPattern in interface Atomicpublic MatchQuery getMatchQuery(MindmapsGraph graph)
getMatchQuery in interface Atomicgraph - graphpublic Query getParentQuery()
getParentQuery in interface Atomicpublic void setParentQuery(Query q)
setParentQuery in interface Atomicq - query this atom is supposed to belong topublic void unify(String from, String to)
Atomicpublic void unify(Map<String,String> unifiers)
Atomicpublic String getVarName()
getVarName in interface Atomicpublic Set<String> getVarNames()
getVarNames in interface Atomicpublic Map<String,String> getUnifiers(Atomic parentAtom)
getUnifiers in interface Atomicpublic Set<Atomic> getSubstitutions()
getSubstitutions in interface Atomicpublic Set<Atomic> getTypeConstraints()
getTypeConstraints in interface Atomicpublic Set<Atomic> getValuePredicates()
getValuePredicates in interface Atomicpublic Map<String,Atomic> getVarSubMap()
getVarSubMap in interface Atomicpublic Map<RoleType,String> getRoleConceptIdMap()
getRoleConceptIdMap in interface Atomicpublic Map<String,javafx.util.Pair<Type,RoleType>> getVarTypeRoleMap()
getVarTypeRoleMap in interface AtomicCopyright © 2016. All rights reserved.