tom.library.freshgom
Class AlphaMap<T extends Atom>

java.lang.Object
  tom.library.freshgom.AlphaMap<T>

public class AlphaMap<T extends Atom>
extends Object

Nested Class Summary

static class

AlphaMap.AlphaException

Constructor Summary

AlphaMap()

AlphaMap(AlphaMap<T> o)

Method Summary

AlphaMap<T>	combine(AlphaMap<T> m)
boolean	equal(T a1, T a2)
void	put(T a1, T a2, T fresh)

Methods inherited from class java.lang.Object

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

Constructor Detail

AlphaMap

public AlphaMap()

AlphaMap

public AlphaMap(AlphaMap<T> o)

Method Detail

put

public void put(T a1,
                T a2,
                T fresh)

equal

public boolean equal(T a1,
                     T a2)

combine

public AlphaMap<T> combine(AlphaMap<T> m)