Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::gbar::abstraction::RefinementCommand Member List

This is the complete list of members for storm::gbar::abstraction::RefinementCommand, including all inherited members.

getPredicates() conststorm::gbar::abstraction::RefinementCommand
getReferencedPlayer1Choice() conststorm::gbar::abstraction::RefinementCommand
refersToPlayer1Choice() conststorm::gbar::abstraction::RefinementCommand
RefinementCommand(uint64_t referencedPlayer1Choice, std::vector< storm::expressions::Expression > const &predicates)storm::gbar::abstraction::RefinementCommand
RefinementCommand(std::vector< storm::expressions::Expression > const &predicates)storm::gbar::abstraction::RefinementCommand