edu.wis.jtlv.old_lib.games
Class RkGame.ImplicationEntity

java.lang.Object
  extended by edu.wis.jtlv.old_lib.games.RkGame.ImplicationEntity
Enclosing class:
RkGame

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


Field Summary
 BDD g
           
 BDD r
           
 
Constructor Summary
RkGame.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

RkGame.ImplicationEntity

public RkGame.ImplicationEntity(BDD g,
                                BDD r)