zeus.concepts
Class ResolutionContext

java.lang.Object
  java.util.Dictionary
      java.util.Hashtable
          zeus.concepts.ResolutionContext

All Implemented Interfaces:

java.lang.Cloneable, java.util.Map, java.io.Serializable

public class ResolutionContext

extends java.util.Hashtable

See Also:

Serialized Form

Nested Class Summary

Nested classes inherited from class java.util.Hashtable

Field Summary

Fields inherited from class java.util.Hashtable

Constructor Summary

ResolutionContext()

ResolutionContext(java.util.Hashtable c)

ResolutionContext(ResolutionContext c)

Method Summary

void	add(Fact f1)
void	add(java.util.Hashtable c)
void	add(ResolutionContext c)
void	add(java.util.Vector c)
ResolutionContext	duplicate(DuplicationTable table)
ResolutionContext	duplicate(java.lang.String name, GenSym genSym)
Fact	lookUp(java.lang.String fid)
java.lang.String	toString()

Methods inherited from class java.util.Hashtable

clear, clone, contains, containsKey, containsValue, elements, entrySet, equals, get, hashCode, isEmpty, keys, keySet, put, putAll, rehash, remove, size, values

Methods inherited from class java.lang.Object

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

Constructor Detail

ResolutionContext

public ResolutionContext()

ResolutionContext

public ResolutionContext(java.util.Hashtable c)

ResolutionContext

public ResolutionContext(ResolutionContext c)

Method Detail

add

public void add(ResolutionContext c)

add

public void add(java.util.Hashtable c)

add

public void add(java.util.Vector c)

add

public void add(Fact f1)

lookUp

public Fact lookUp(java.lang.String fid)

toString

public java.lang.String toString()

duplicate

public ResolutionContext duplicate(java.lang.String name,
                                   GenSym genSym)

duplicate

public ResolutionContext duplicate(DuplicationTable table)