@Deprecated @EverythingIsNonnullByDefault
Interface | Description |
---|---|
AutomatonState<S> | |
BoundAndRewardForPrism |
Class | Description |
---|---|
Automaton<S extends AutomatonState<S>,Acc extends OmegaAcceptance> | |
BoundAndReward |
This class aims to store a bound and the transition, which have a reward
regarding this bound.
|
DtgrmaFactory | |
EquivalenceClassState<STATE extends AutomatonState<STATE>> | |
FrequencySelfProductSlave | |
GeneralisedRabinWithMeanPayoffAcceptance | |
GeneralizedRabinAcceptance2<S extends AutomatonState<?>> | Deprecated. |
HoaConsumerExtended | |
HoaConsumerGeneralisedRabin<S extends AutomatonState<?>> | Deprecated. |
MasterAutomaton | |
MasterAutomaton.MasterState | |
ProductControllerSynthesis | |
RabinAcceptance2<S extends AutomatonState<?>> | Deprecated. |
RabinizerFrequencyMain | |
RabinPair2<L,R> | Deprecated. |
SccAnalyser<S> | |
TopMostOperatorVisitor | |
TranSet<S> | Deprecated. |
Enum | Description |
---|---|
Optimisation |