opennwa::details::StateStorage Member List

This is the complete list of members for opennwa::details::StateStorage, including all inherited members.

addAll(const StateStorage &stateSet)	opennwa::details::StateStorage
addAllFinalStates(const StateStorage &stateSet)	opennwa::details::StateStorage
addAllInitialStates(const StateStorage &stateSet)	opennwa::details::StateStorage
addAllStates(const StateStorage &stateSet)	opennwa::details::StateStorage
addFinalState(State finalState)	opennwa::details::StateStorage
addInitialState(State initialState)	opennwa::details::StateStorage
addState(State state)	opennwa::details::StateStorage
beginFinalStates() const	opennwa::details::StateStorage
beginInitialStates() const	opennwa::details::StateStorage
beginStates() const	opennwa::details::StateStorage
clearFinalStates()	opennwa::details::StateStorage
clearInitialStates()	opennwa::details::StateStorage
clearStates()	opennwa::details::StateStorage
Client typedef	opennwa::details::StateStorage
ClientInfoRefPtr typedef	opennwa::details::StateStorage
const_iterator typedef	opennwa::details::StateStorage
dupState(State orig, State dup)	opennwa::details::StateStorage
endFinalStates() const	opennwa::details::StateStorage
endInitialStates() const	opennwa::details::StateStorage
endStates() const	opennwa::details::StateStorage
finalStates	opennwa::details::StateStorage	[protected]
getClientInfo(State state) const	opennwa::details::StateStorage
getFinalStates() const	opennwa::details::StateStorage
getInitialStates() const	opennwa::details::StateStorage
getStates() const	opennwa::details::StateStorage
initialStates	opennwa::details::StateStorage	[protected]
isFinalState(State finalState) const	opennwa::details::StateStorage
isInitialState(State initialState) const	opennwa::details::StateStorage
isState(State state) const	opennwa::details::StateStorage
iterator typedef	opennwa::details::StateStorage
largestState() const	opennwa::details::StateStorage
operator=(const StateStorage &other)	opennwa::details::StateStorage
operator==(const StateStorage &other) const	opennwa::details::StateStorage
print(std::ostream &o) const	opennwa::details::StateStorage	[virtual]
removeFinalState(State finalState)	opennwa::details::StateStorage
removeInitialState(State initialState)	opennwa::details::StateStorage
removeState(State state)	opennwa::details::StateStorage
setClientInfo(State state, const ClientInfoRefPtr c)	opennwa::details::StateStorage
sizeFinalStates() const	opennwa::details::StateStorage
sizeInitialStates() const	opennwa::details::StateStorage
sizeStates() const	opennwa::details::StateStorage
stateInfos	opennwa::details::StateStorage	[protected]
states	opennwa::details::StateStorage	[protected]
StateStorage()	opennwa::details::StateStorage
StateStorage(StateStorage const &other)	opennwa::details::StateStorage
to_string() const	wali::Printable
toString() const	wali::Printable
~Printable()	wali::Printable	[virtual]