Modifier and Type | Field and Description |
---|---|
protected java.util.Map<VarTerm,Term> |
function |
Constructor and Description |
---|
Unifier() |
Modifier and Type | Method and Description |
---|---|
boolean |
bind(VarTerm vt,
Term vl) |
boolean |
bind(VarTerm vt1,
VarTerm vt2) |
void |
clear() |
Unifier |
clone() |
void |
compose(Unifier u)
add all unifications from u
|
VarTerm |
deref(VarTerm v) |
boolean |
equals(java.lang.Object o) |
Term |
get(java.lang.String var)
gets the value for a Var, if it is unified with another var, gets this
other's value
|
Term |
get(VarTerm vtp)
gets the value for a Var, if it is unified with another var, gets this
other's value
|
org.w3c.dom.Element |
getAsDOM(org.w3c.dom.Document document)
get as XML
|
Term |
getAsTerm() |
VarTerm |
getVarFromValue(Term vl) |
int |
hashCode() |
java.util.Iterator<VarTerm> |
iterator() |
Term |
remove(VarTerm v) |
int |
size() |
java.lang.String |
toString() |
boolean |
unifies(Term t1,
Term t2)
this version of unifies undo the variables' mapping
if the unification fails.
|
boolean |
unifies(Trigger te1,
Trigger te2) |
boolean |
unifiesNoUndo(Term t1g,
Term t2g)
this version of unifies does not undo the variables' mapping
in case of failure.
|
boolean |
unifiesNoUndo(Trigger te1,
Trigger te2) |
protected boolean |
unifyTerms(Term t1g,
Term t2g) |
public Term get(java.lang.String var)
public java.util.Iterator<VarTerm> iterator()
iterator
in interface java.lang.Iterable<VarTerm>
public Term get(VarTerm vtp)
public boolean unifies(Term t1, Term t2)
public boolean unifiesNoUndo(Term t1g, Term t2g)
public void clear()
public java.lang.String toString()
toString
in class java.lang.Object
public Term getAsTerm()
public int size()
public void compose(Unifier u)
public Unifier clone()
clone
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public org.w3c.dom.Element getAsDOM(org.w3c.dom.Document document)