Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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.

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`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD