net.sf.bddbddb.order
Class AttribToDomainMap

java.lang.Object
  java.util.AbstractMap
      net.sf.bddbddb.order.AttribToDomainMap

All Implemented Interfaces:

java.util.Map

public class AttribToDomainMap
extends java.util.AbstractMap

AttribToDomainMap

Version:

$Id: AttribToDomainMap.java 502 2005-04-13 00:26:23Z joewhaley $

Author:

jwhaley

Nested Class Summary

Nested classes/interfaces inherited from interface java.util.Map

java.util.Map.Entry<K,V>

Constructor Summary

AttribToDomainMap(Solver s)

Method Summary

static java.util.Collection	convert(java.util.Collection attribs)
java.util.Set	entrySet()
java.lang.Object	get(java.lang.Object o)

Methods inherited from class java.util.AbstractMap

clear, clone, containsKey, containsValue, equals, hashCode, isEmpty, keySet, put, putAll, remove, size, toString, values

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

AttribToDomainMap

public AttribToDomainMap(Solver s)

Method Detail

convert

public static java.util.Collection convert(java.util.Collection attribs)

get

public java.lang.Object get(java.lang.Object o)

Specified by:

get in interface java.util.Map

Overrides:

get in class java.util.AbstractMap

entrySet

public java.util.Set entrySet()

Specified by:

entrySet in interface java.util.Map

Specified by:

entrySet in class java.util.AbstractMap