Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | List of all members
storm::gbar::abstraction::RefinementCommand Class Reference

#include <RefinementCommand.h>

Public Member Functions

 RefinementCommand (uint64_t referencedPlayer1Choice, std::vector< storm::expressions::Expression > const &predicates)
 Creates a new refinement command for the given player 1 choice.
 
 RefinementCommand (std::vector< storm::expressions::Expression > const &predicates)
 Creates a new refinement command for all player 1 choices.
 
bool refersToPlayer1Choice () const
 Access to the details of this refinement commands.
 
uint64_t getReferencedPlayer1Choice () const
 
std::vector< storm::expressions::Expression > const & getPredicates () const
 

Detailed Description

Definition at line 13 of file RefinementCommand.h.

Constructor & Destructor Documentation

◆ RefinementCommand() [1/2]

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

Creates a new refinement command for the given player 1 choice.

Definition at line 6 of file RefinementCommand.cpp.

◆ RefinementCommand() [2/2]

storm::gbar::abstraction::RefinementCommand::RefinementCommand ( std::vector< storm::expressions::Expression > const &  predicates)

Creates a new refinement command for all player 1 choices.

Definition at line 11 of file RefinementCommand.cpp.

Member Function Documentation

◆ getPredicates()

std::vector< storm::expressions::Expression > const & storm::gbar::abstraction::RefinementCommand::getPredicates ( ) const

Definition at line 23 of file RefinementCommand.cpp.

◆ getReferencedPlayer1Choice()

uint64_t storm::gbar::abstraction::RefinementCommand::getReferencedPlayer1Choice ( ) const

Definition at line 19 of file RefinementCommand.cpp.

◆ refersToPlayer1Choice()

bool storm::gbar::abstraction::RefinementCommand::refersToPlayer1Choice ( ) const

Access to the details of this refinement commands.

Definition at line 15 of file RefinementCommand.cpp.

The documentation for this class was generated from the following files: