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

#include <DeterministicAutomaton.h>

Public Types

typedef std::shared_ptr< DeterministicAutomaton > ptr
 

Public Member Functions

 DeterministicAutomaton (APSet apSet, std::size_t numberOfStates, std::size_t initialState, std::shared_ptr< AcceptanceCondition > acceptance)
 
const APSet & getAPSet () const
 
std::size_t getInitialState () const
 
std::size_t getSuccessor (std::size_t from, APSet::alphabet_element label) const
 
void setSuccessor (std::size_t from, APSet::alphabet_element label, std::size_t successor)
 
std::size_t getNumberOfStates () const
 
std::size_t getNumberOfEdgesPerState () const
 
std::shared_ptr< AcceptanceCondition > getAcceptance () const
 
void printHOA (std::ostream &out) const
 

Static Public Member Functions

static DeterministicAutomaton::ptr parse (std::istream &in)
 
static DeterministicAutomaton::ptr parseFromFile (const std::string &filename)
 

Detailed Description

Definition at line 12 of file DeterministicAutomaton.h.

Member Typedef Documentation

◆ ptr

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

Definition at line 14 of file DeterministicAutomaton.h.

Constructor & Destructor Documentation

◆ DeterministicAutomaton()

storm::automata::DeterministicAutomaton::DeterministicAutomaton ( APSet  apSet,
std::size_t  numberOfStates,
std::size_t  initialState,
std::shared_ptr< AcceptanceCondition >  acceptance 
)

Definition at line 15 of file DeterministicAutomaton.cpp.

Member Function Documentation

◆ getAcceptance()

AcceptanceCondition::ptr storm::automata::DeterministicAutomaton::getAcceptance ( ) const

Definition at line 49 of file DeterministicAutomaton.cpp.

◆ getAPSet()

const APSet & storm::automata::DeterministicAutomaton::getAPSet ( ) const

Definition at line 27 of file DeterministicAutomaton.cpp.

◆ getInitialState()

std::size_t storm::automata::DeterministicAutomaton::getInitialState ( ) const

Definition at line 23 of file DeterministicAutomaton.cpp.

◆ getNumberOfEdgesPerState()

std::size_t storm::automata::DeterministicAutomaton::getNumberOfEdgesPerState ( ) const

Definition at line 45 of file DeterministicAutomaton.cpp.

◆ getNumberOfStates()

std::size_t storm::automata::DeterministicAutomaton::getNumberOfStates ( ) const

Definition at line 41 of file DeterministicAutomaton.cpp.

◆ getSuccessor()

std::size_t storm::automata::DeterministicAutomaton::getSuccessor ( std::size_t  from,
APSet::alphabet_element  label 
) const

Definition at line 31 of file DeterministicAutomaton.cpp.

◆ parse()

DeterministicAutomaton::ptr storm::automata::DeterministicAutomaton::parse ( std::istream &  in)
static

Definition at line 89 of file DeterministicAutomaton.cpp.

◆ parseFromFile()

DeterministicAutomaton::ptr storm::automata::DeterministicAutomaton::parseFromFile ( const std::string &  filename)
static

Definition at line 97 of file DeterministicAutomaton.cpp.

◆ printHOA()

void storm::automata::DeterministicAutomaton::printHOA ( std::ostream &  out) const

Definition at line 53 of file DeterministicAutomaton.cpp.

◆ setSuccessor()

void storm::automata::DeterministicAutomaton::setSuccessor ( std::size_t  from,
APSet::alphabet_element  label,
std::size_t  successor 
)

Definition at line 36 of file DeterministicAutomaton.cpp.

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