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:

• src/storm/automata/DeterministicAutomaton.h
• src/storm/automata/DeterministicAutomaton.cpp