Parity Member List

This is the complete list of members for Parity, including all inherited members.

addAtomicProposition(BDD proposition, std::string name)	LTS< ParityTransition >
addState(State s, Delta delta=Delta{})	LTS< ParityTransition >
addTransition(State source, State destination, BDD label, Priority priority)	Parity
LTS< ParityTransition >::addTransition(State source, State destination, BDD const &label)	LTS< ParityTransition >
CartonMaceiras(void)	Parity
cbegin()	LTS< ParityTransition >	inline
cend()	LTS< ParityTransition >	inline
checkTransitions(void) const	LTS< ParityTransition >
classifyStates(void) const	Parity
complement(void) const	Parity
const_iterator typedef	LTS< ParityTransition >
Delta typedef (defined in LTS< ParityTransition >)	LTS< ParityTransition >
Determ (defined in Parity)	Parity	friend
determinize(void) const	Parity
directSimulates(Parity const &other) const	Parity
directSimulationMinimization(void)	Parity
directSimulationRelation(std::set< StatePair > &simul) const	Parity
Edge typedef (defined in LTS< ParityTransition >)	LTS< ParityTransition >
edgePartition(void) const	Parity
EdgeSet typedef (defined in LTS< ParityTransition >)	LTS< ParityTransition >
epsilon (defined in LTS< ParityTransition >)	LTS< ParityTransition >	protected
fairSimulates(Parity const &other) const	Parity
findTransient(std::vector< State > &transient, StateSet const &init, StateSet const &restriction) const	LTS< ParityTransition >
findTransient(std::vector< State > &transient, StateSet const &restriction) const	LTS< ParityTransition >
findTransient(std::vector< State > &transient) const	LTS< ParityTransition >
getAtomicPropositions(void) const	LTS< ParityTransition >	inline
getEpsilonBDD(void) const	LTS< ParityTransition >	inline
getEpsilonSuccessors(State source) const	LTS< ParityTransition >
getInitial(void) const	LTS< ParityTransition >	inline
getLetters(std::vector< State > const &statevec) const	LTS< ParityTransition >
getManager(void) const	LTS< ParityTransition >	inline
getMaxPriority(void) const	Parity
getMinPriority(void) const	Parity
getPriority(State source, BDD label, State destination, bool silent=false) const	Parity
getPropositionName(BDD proposition) const	LTS< ParityTransition >
getSCCs(StateSet const &init, StateSet const &restriction, EdgeSet const &forbiddenEdges) const	LTS< ParityTransition >
getSCCs(StateSet const &init, StateSet const &restriction) const	LTS< ParityTransition >
getSCCs(StateSet const &restriction) const	LTS< ParityTransition >
getSCCs(void) const	LTS< ParityTransition >
getStates(void) const	Parity
getSuccessor(State source, BDD letter) const	LTS< ParityTransition >
getSuccessors(State source, BDD letter) const	LTS< ParityTransition >
getTrapStates(void) const	Parity
hasEpsilonTransitions(void) const	LTS< ParityTransition >	inline
initialState (defined in LTS< ParityTransition >)	LTS< ParityTransition >	protected
isComplete(void) const	LTS< ParityTransition >
isDeterministic(bool complete=true) const	LTS< ParityTransition >
isTerminal(bool ignoreTransient=true) const	Parity
isTrivial(StateSet const &scc, EdgeSet const &forbidden=EdgeSet{}) const	LTS< ParityTransition >	protected
isTriviallyEmpty(void) const	Parity
leadSimulates(void) const	Parity
letters(StateSet const &stateset, std::vector< BDD > &lv) const	LTS< ParityTransition >
LTS(Cudd mgr)	LTS< ParityTransition >
makeComplete(void)	Parity
makeInitial(State s)	LTS< ParityTransition >
mergeTransitions(void)	LTS< ParityTransition >	protected
mgr (defined in LTS< ParityTransition >)	LTS< ParityTransition >	protected
minimumIndex(void)	Parity
numStates(void) const	LTS< ParityTransition >	inline
OSPGame (defined in Parity)	Parity	friend
PairsStateBdd typedef	LTS< ParityTransition >
Parity(Cudd mgr)	Parity
Parity(Cudd mgr, std::string const &filename, Verbosity::Level verbosity=Verbosity::Silent, bool noMdp=false)	Parity
Parity(Cudd mgr, std::istream &is, Verbosity::Level verbosity=Verbosity::Silent, bool noMdp=false)	Parity
print(std::ostream &os=std::cout) const	LTS< ParityTransition >
printDot(std::string graphname=std::string("parity"), std::string filename=std::string("-"), bool showtrees=false) const	Parity
printDot(std::string graphname, DotAttributes const &attributes, std::string filename=std::string("-"), bool showtrees=false) const	Parity
LTS< ParityTransition >::printDot(std::string graphname=std::string("LTS")) const	LTS< ParityTransition >
printHOA(std::string const &name=std::string("parity"), std::string filename=std::string("-")) const	Parity
product(LTS const &second)	LTS< ParityTransition >
pruneVarSet(void)	LTS< ParityTransition >	protected
readVerbosity(void) const	LTS< ParityTransition >	inline
safetyLiveness(Parity &safety, Parity &liveness) const	Parity
SCCs typedef	LTS< ParityTransition >
setEpsilonBDD(BDD const &e)	LTS< ParityTransition >	inline
setVerbosity(int v)	LTS< ParityTransition >	inline
Simul (defined in Parity)	Parity	friend
solveOneStreettPairGame(StateSet const &spoilerStates, StateSet &dwinning, StateMap &dstrategy, StateMap &sstrategy) const	Parity
stateEquivalence(std::map< State, unsigned > const &outputClass) const	LTS< ParityTransition >
stateMinimization(void)	Parity
states (defined in LTS< ParityTransition >)	LTS< ParityTransition >	protected
subsetsLTS(std::map< State, StateSet > &subsets) const	LTS< ParityTransition >
toLDPW(bool epsilonJumps=false) const	Parity
Transition typedef (defined in LTS< ParityTransition >)	LTS< ParityTransition >
TransitionMap typedef (defined in LTS< ParityTransition >)	LTS< ParityTransition >	protected
transitions (defined in LTS< ParityTransition >)	LTS< ParityTransition >	protected
trim(void)	Parity
LTS< ParityTransition >::trim(StateSet const &targets)	LTS< ParityTransition >
LTS< ParityTransition >::trim(StateSet const &targets, SCCs const &sccs)	LTS< ParityTransition >
unite(Parity const &second)	Parity
varSet (defined in LTS< ParityTransition >)	LTS< ParityTransition >	protected
verbosity (defined in LTS< ParityTransition >)	LTS< ParityTransition >	protected