#include <APSet.h>

Public Types
typedef std::size_t	alphabet_element

Public Member Functions
	APSet ()

unsigned int	size () const

std::size_t	alphabetSize () const

void	add (const std::string &ap)

unsigned int	getIndex (const std::string &ap) const

bool	contains (const std::string &ap) const

const std::string &	getAP (unsigned int index) const

const std::vector< std::string > &	getAPs () const

alphabet_element	elementAllFalse () const

alphabet_element	elementAddAP (alphabet_element element, unsigned int ap) const

Public Attributes
const unsigned int	MAX_APS = 32

Detailed Description

Definition at line 9 of file APSet.h.

Member Typedef Documentation

◆ alphabet_element

typedef std::size_t storm::automata::APSet::alphabet_element

Definition at line 12 of file APSet.h.

Constructor & Destructor Documentation

◆ APSet()

storm::automata::APSet::APSet ( )

Definition at line 12 of file APSet.cpp.

Member Function Documentation

◆ add()

void storm::automata::APSet::add ( const std::string & ap )

Definition at line 24 of file APSet.cpp.

◆ alphabetSize()

std::size_t storm::automata::APSet::alphabetSize ( ) const

Definition at line 20 of file APSet.cpp.

◆ contains()

bool storm::automata::APSet::contains ( const std::string & ap ) const

Definition at line 48 of file APSet.cpp.

◆ elementAddAP()

APSet::alphabet_element storm::automata::APSet::elementAddAP	(	alphabet_element	element,
		unsigned int	ap
	)		const

Definition at line 56 of file APSet.cpp.

◆ elementAllFalse()

APSet::alphabet_element storm::automata::APSet::elementAllFalse ( ) const

Definition at line 52 of file APSet.cpp.

◆ getAP()

const std::string & storm::automata::APSet::getAP ( unsigned int index ) const

Definition at line 39 of file APSet.cpp.

◆ getAPs()

const std::vector< std::string > & storm::automata::APSet::getAPs ( ) const

Definition at line 44 of file APSet.cpp.

◆ getIndex()

unsigned int storm::automata::APSet::getIndex ( const std::string & ap ) const

Definition at line 34 of file APSet.cpp.

◆ size()

unsigned int storm::automata::APSet::size ( ) const

Definition at line 16 of file APSet.cpp.

Member Data Documentation

◆ MAX_APS

const unsigned int storm::automata::APSet::MAX_APS = 32

Definition at line 27 of file APSet.h.

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

src/storm/automata/APSet.h
src/storm/automata/APSet.cpp

Public Types

Public Member Functions

Public Attributes