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

java.lang.Object
  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)