ix.util.match
Class Bindings
java.lang.Object
ix.util.match.Bindings
public class Bindings
- extends java.lang.Object
A wrapper around a Map from Variable
s to their values.
Constructor Summary |
Bindings(java.util.Map valuation)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Bindings
public Bindings(java.util.Map valuation)
mapsToBindings
public static java.util.List mapsToBindings(java.util.List maps)
bindingsToMaps
public static java.util.List bindingsToMaps(java.util.List bindings)
getVariables
public java.util.Set getVariables()
valueOf
public java.lang.Object valueOf(Variable v)
isConsistentWith
public boolean isConsistentWith(Bindings b)
isConsistentWith
public boolean isConsistentWith(MatchChoice c)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object