Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Types | Public Member Functions | List of all members
storm::automata::AcceptanceCondition Class Reference

#include <AcceptanceCondition.h>

Public Types

typedef std::shared_ptr< AcceptanceCondition > ptr
 
typedef cpphoafparser::HOAConsumer::acceptance_expr acceptance_expr
 

Public Member Functions

 AcceptanceCondition (std::size_t numberOfStates, unsigned int numberOfAcceptanceSets, acceptance_expr::ptr acceptance)
 
bool isAccepting (const storm::storage::StateBlock &scc) const
 
unsigned int getNumberOfAcceptanceSets () const
 
storm::storage::BitVector & getAcceptanceSet (unsigned int index)
 
const storm::storage::BitVector & getAcceptanceSet (unsigned int index) const
 
acceptance_expr::ptr getAcceptanceExpression () const
 
AcceptanceCondition::ptr lift (std::size_t productNumberOfStates, std::function< std::size_t(std::size_t)> mapping) const
 
std::vector< std::vector< acceptance_expr::ptr > > extractFromDNF () const
 

Detailed Description

Definition at line 12 of file AcceptanceCondition.h.

Member Typedef Documentation

◆ acceptance_expr

typedef cpphoafparser::HOAConsumer::acceptance_expr storm::automata::AcceptanceCondition::acceptance_expr

Definition at line 15 of file AcceptanceCondition.h.

◆ ptr

typedef std::shared_ptr<AcceptanceCondition> storm::automata::AcceptanceCondition::ptr

Definition at line 14 of file AcceptanceCondition.h.

Constructor & Destructor Documentation

◆ AcceptanceCondition()

storm::automata::AcceptanceCondition::AcceptanceCondition ( std::size_t  numberOfStates,
unsigned int  numberOfAcceptanceSets,
acceptance_expr::ptr  acceptance 
)

Definition at line 9 of file AcceptanceCondition.cpp.

Member Function Documentation

◆ extractFromDNF()

std::vector< std::vector< AcceptanceCondition::acceptance_expr::ptr > > storm::automata::AcceptanceCondition::extractFromDNF ( ) const

Definition at line 82 of file AcceptanceCondition.cpp.

◆ getAcceptanceExpression()

AcceptanceCondition::acceptance_expr::ptr storm::automata::AcceptanceCondition::getAcceptanceExpression ( ) const

Definition at line 29 of file AcceptanceCondition.cpp.

◆ getAcceptanceSet() [1/2]

storm::storage::BitVector & storm::automata::AcceptanceCondition::getAcceptanceSet ( unsigned int  index)

Definition at line 21 of file AcceptanceCondition.cpp.

◆ getAcceptanceSet() [2/2]

const storm::storage::BitVector & storm::automata::AcceptanceCondition::getAcceptanceSet ( unsigned int  index) const

Definition at line 25 of file AcceptanceCondition.cpp.

◆ getNumberOfAcceptanceSets()

unsigned int storm::automata::AcceptanceCondition::getNumberOfAcceptanceSets ( ) const

Definition at line 17 of file AcceptanceCondition.cpp.

◆ isAccepting()

bool storm::automata::AcceptanceCondition::isAccepting ( const storm::storage::StateBlock &  scc) const

Definition at line 33 of file AcceptanceCondition.cpp.

◆ lift()

AcceptanceCondition::ptr storm::automata::AcceptanceCondition::lift ( std::size_t  productNumberOfStates,
std::function< std::size_t(std::size_t)>  mapping 
) const

Definition at line 123 of file AcceptanceCondition.cpp.

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