storm::builder::ExplicitStateLookup< StateType > Class Template Reference

#include <ExplicitModelBuilder.h>

Public Member Functions
	ExplicitStateLookup (VariableInformation const &varInfo, storm::storage::BitVectorHashMap< StateType > const &stateToId)
StateType	lookup (std::map< storm::expressions::Variable, storm::expressions::Expression > const &stateDescription) const
	Lookup state.
uint64_t	size () const
	How many states have been stored?

Detailed Description

template<typename StateType>
class storm::builder::ExplicitStateLookup< StateType >

Definition at line 45 of file ExplicitModelBuilder.h.

Constructor & Destructor Documentation

ExplicitStateLookup()

template<typename StateType >

storm::builder::ExplicitStateLookup< StateType >::ExplicitStateLookup ( VariableInformation const &  varInfo, storm::storage::BitVectorHashMap< StateType > const &  stateToId  )

inline

Definition at line 47 of file ExplicitModelBuilder.h.

Member Function Documentation

lookup()

template<typename StateType >

StateType storm::builder::ExplicitStateLookup< StateType >::lookup

(

std::map< storm::expressions::Variable, storm::expressions::Expression > const &

stateDescription

)

const

Lookup state.

Parameters

stateDescription

A map describing the state

Returns

The id of the state, or size() when no state is found

Definition at line 43 of file ExplicitModelBuilder.cpp.

size()

template<typename StateType >

uint64_t storm::builder::ExplicitStateLookup< StateType >::size

(

)

const

How many states have been stored?

Definition at line 53 of file ExplicitModelBuilder.cpp.

---

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

• src/storm/builder/ExplicitModelBuilder.h
• src/storm/builder/ExplicitModelBuilder.cpp