net.sf.bddbddb.order
Class VarToAttribMap

java.lang.Object
  extended by java.util.AbstractMap
      extended by net.sf.bddbddb.order.VarToAttribMap
All Implemented Interfaces:
java.util.Map

public class VarToAttribMap
extends java.util.AbstractMap

VarToAttribMap

Version:
$Id: VarToAttribMap.java 446 2005-02-24 01:03:29Z cs343 $
Author:
jwhaley

Nested Class Summary
 
Nested classes/interfaces inherited from interface java.util.Map
java.util.Map.Entry<K,V>
 
Constructor Summary
VarToAttribMap(InferenceRule ir)
           
 
Method Summary
static java.util.Collection convert(java.util.Collection vars, InferenceRule ir)
           
 java.util.Set entrySet()
           
 java.lang.Object get(java.lang.Object key)
           
 
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

VarToAttribMap

public VarToAttribMap(InferenceRule ir)
Method Detail

convert

public static java.util.Collection convert(java.util.Collection vars,
                                           InferenceRule ir)

get

public java.lang.Object get(java.lang.Object key)
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


Copyright © 2004-2008 Stanford SUIF Compiler Group. All Rights Reserved.