public interface Atomic extends Cloneable
| Modifier and Type | Method and Description |
|---|---|
Atomic |
clone() |
default boolean |
containsVar(String name) |
default int |
equivalenceHashCode() |
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() |
default boolean |
isEquivalent(Object obj) |
default boolean |
isRecursive() |
default boolean |
isRelation() |
default boolean |
isResource() |
default boolean |
isRuleResolvable() |
default boolean |
isSubstitution() |
default boolean |
isType() |
default boolean |
isValuePredicate() |
void |
setParentQuery(Query q) |
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->
|
Atomic clone()
default boolean isType()
default boolean isRelation()
default boolean isSubstitution()
default boolean isResource()
default boolean isValuePredicate()
default boolean isEquivalent(Object obj)
default int equivalenceHashCode()
default boolean isRuleResolvable()
default boolean isRecursive()
default boolean containsVar(String name)
name - variable namePatternAdmin getPattern()
MatchQuery getMatchQuery(MindmapsGraph graph)
graph - graphQuery getParentQuery()
void setParentQuery(Query q)
q - query this atom is supposed to belong tovoid unify(String from, String to)
from - variable name to be changedto - new variable namevoid unify(Map<String,String> unifiers)
unifiers - contain variable mappings to be appliedString getVarName()
Type getType()
String getTypeId()
String getVal()
Copyright © 2016. All rights reserved.