edu.wis.jtlv.lib.games
Class ReactivePair

java.lang.Object
  edu.wis.jtlv.lib.games.ReactivePair

public class ReactivePair
extends java.lang.Object

A pair of BDD's representing a reactive property where if 'assumption', and 'guarantee' are given, then the specification is "[]<>assumption -> []<>guarantee".

Author:

yaniv sa'ar

Constructor Summary

ReactivePair(BDD assumption, BDD guarantee)

Method Summary

BDD	getAssum()
BDD	getGuarantee()

Methods inherited from class java.lang.Object

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

Constructor Detail

ReactivePair

public ReactivePair(BDD assumption,
                    BDD guarantee)

Method Detail

getAssum

public BDD getAssum()

getGuarantee

public BDD getGuarantee()