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

#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: