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 Variables to their values.

Field Summary

(package private) java.util.Map

map

Constructor Summary

Bindings(java.util.Map valuation)

Method Summary

static java.util.List	bindingsToMaps(java.util.List bindings)
java.util.Set	getVariables()
boolean	isConsistentWith(Bindings b)
boolean	isConsistentWith(MatchChoice c)
static java.util.List	mapsToBindings(java.util.List maps)
java.lang.String	toString()
java.lang.Object	valueOf(Variable v)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

map

java.util.Map map

Constructor Detail

Bindings

public Bindings(java.util.Map valuation)

Method Detail

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