Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
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: