edu.wis.jtlv.lib.games
Class RkGameAlg.ImplicationEntity

java.lang.Object
  extended by edu.wis.jtlv.lib.games.RkGameAlg.ImplicationEntity
Enclosing class:
RkGameAlg

public static class RkGameAlg.ImplicationEntity
extends java.lang.Object


Field Summary
 BDD g
           
 BDD r
           
 
Constructor Summary
RkGameAlg.ImplicationEntity(BDD g, BDD r)
           
 
Method Summary
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

g

public BDD g

r

public BDD r
Constructor Detail

RkGameAlg.ImplicationEntity

public RkGameAlg.ImplicationEntity(BDD g,
                                   BDD r)