edu.wis.jtlv.old_lib.games
Class MyPair

java.lang.Object
  edu.wis.jtlv.old_lib.games.MyPair

public class MyPair
extends java.lang.Object

Version:

"1.3.2"

Author:

Nir Piterman

Field Summary

BDD	bdd
Memory	mem

Constructor Summary

MyPair(BDD bdd, Memory mem)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

bdd

public BDD bdd

mem

public Memory mem

Constructor Detail

MyPair

public MyPair(BDD bdd,
              Memory mem)