edu.wis.jtlv.lib.games
Class GeneralizedReactivePair

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

public class GeneralizedReactivePair
extends java.lang.Object

A pair of sets of BDD's representing a generalized reactive property where if 'assumption_{1...n}', and 'guarantee_{1...m}' are given, then the specification is "([]<>assumption_1 /\ ... /\ []<>assumption_n) -> ([]<>guarantee_1 /\ ... /\ []<>guarantee_m)".

Author:

yaniv sa'ar

Constructor Summary

GeneralizedReactivePair(BDD[] assumption, BDD[] guarantee)

Method Summary

BDD[]	getAllAssum()
BDD[]	getAllGuarantee()
BDD	getAssum(int idx)
BDD	getGuarantee(int idx)
int	getNumOfAssum()
int	getNumOfGuarantee()

Methods inherited from class java.lang.Object

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

Constructor Detail

GeneralizedReactivePair

public GeneralizedReactivePair(BDD[] assumption,
                               BDD[] guarantee)

Method Detail

getNumOfAssum

public int getNumOfAssum()

getAllAssum

public BDD[] getAllAssum()

getAssum

public BDD getAssum(int idx)

getNumOfGuarantee

public int getNumOfGuarantee()

getAllGuarantee

public BDD[] getAllGuarantee()

getGuarantee

public BDD getGuarantee(int idx)