LTS< Tran > Member List

This is the complete list of members for LTS< Tran >, including all inherited members.

addAtomicProposition(BDD proposition, std::string name)	LTS< Tran >
addState(State s, Delta delta=Delta{})	LTS< Tran >
addTransition(State source, State destination, BDD const &label)	LTS< Tran >
cbegin()	LTS< Tran >	inline
cend()	LTS< Tran >	inline
checkTransitions(void) const	LTS< Tran >
const_iterator typedef	LTS< Tran >
Delta typedef (defined in LTS< Tran >)	LTS< Tran >
Edge typedef (defined in LTS< Tran >)	LTS< Tran >
EdgeSet typedef (defined in LTS< Tran >)	LTS< Tran >
epsilon (defined in LTS< Tran >)	LTS< Tran >	protected
findTransient(std::vector< State > &transient, StateSet const &init, StateSet const &restriction) const	LTS< Tran >
findTransient(std::vector< State > &transient, StateSet const &restriction) const	LTS< Tran >
findTransient(std::vector< State > &transient) const	LTS< Tran >
getAtomicPropositions(void) const	LTS< Tran >	inline
getEpsilonBDD(void) const	LTS< Tran >	inline
getEpsilonSuccessors(State source) const	LTS< Tran >
getInitial(void) const	LTS< Tran >	inline
getLetters(std::vector< State > const &statevec) const	LTS< Tran >
getManager(void) const	LTS< Tran >	inline
getPropositionName(BDD proposition) const	LTS< Tran >
getSCCs(StateSet const &init, StateSet const &restriction, EdgeSet const &forbiddenEdges) const	LTS< Tran >
getSCCs(StateSet const &init, StateSet const &restriction) const	LTS< Tran >
getSCCs(StateSet const &restriction) const	LTS< Tran >
getSCCs(void) const	LTS< Tran >
getSuccessor(State source, BDD letter) const	LTS< Tran >
getSuccessors(State source, BDD letter) const	LTS< Tran >
hasEpsilonTransitions(void) const	LTS< Tran >	inline
initialState (defined in LTS< Tran >)	LTS< Tran >	protected
isComplete(void) const	LTS< Tran >
isDeterministic(bool complete=true) const	LTS< Tran >
isTrivial(StateSet const &scc, EdgeSet const &forbidden=EdgeSet{}) const	LTS< Tran >	protected
letters(StateSet const &stateset, std::vector< BDD > &lv) const	LTS< Tran >
LTS(Cudd mgr)	LTS< Tran >
makeInitial(State s)	LTS< Tran >
mergeTransitions(void)	LTS< Tran >	protected
mgr (defined in LTS< Tran >)	LTS< Tran >	protected
numStates(void) const	LTS< Tran >	inline
PairsStateBdd typedef	LTS< Tran >
print(std::ostream &os=std::cout) const	LTS< Tran >
printDot(std::string graphname=std::string("LTS")) const	LTS< Tran >
product(LTS const &second)	LTS< Tran >
pruneVarSet(void)	LTS< Tran >	protected
readVerbosity(void) const	LTS< Tran >	inline
SCCs typedef	LTS< Tran >
setEpsilonBDD(BDD const &e)	LTS< Tran >	inline
setVerbosity(int v)	LTS< Tran >	inline
stateEquivalence(std::map< State, unsigned > const &outputClass) const	LTS< Tran >
states (defined in LTS< Tran >)	LTS< Tran >	protected
subsetsLTS(std::map< State, StateSet > &subsets) const	LTS< Tran >
Transition typedef (defined in LTS< Tran >)	LTS< Tran >
TransitionMap typedef (defined in LTS< Tran >)	LTS< Tran >	protected
transitions (defined in LTS< Tran >)	LTS< Tran >	protected
trim(StateSet const &targets)	LTS< Tran >
trim(StateSet const &targets, SCCs const &sccs)	LTS< Tran >
varSet (defined in LTS< Tran >)	LTS< Tran >	protected
verbosity (defined in LTS< Tran >)	LTS< Tran >	protected