Class Hierarchy

Go to the graphical class hierarchy

This inheritance list is sorted roughly, but not completely, alphabetically:

[detail level 12]

CModel::AttractorResults	Class for return value of getAttractorWithStrat
▼CBaseTransition	Base class for the labeled edges of the transition graph
CParityTransition	Class of parity-annotated transitions
CUtil::BddCompare	Class that defines a comparison operator for the BDD class
Cast::Command
CCommandLineOptions	A class for parsing and storing command line options
Cast::Constant
Cast::ControlSpec
CParity::Determ	Helper class to perform DPW determinization
CParity::DotAttributes
▼Cexception
Chelp_exception
Cast::Expression
Cast::Formula
CGameState	Helper class for simulation game graphs
CGym	Class for a learning interface
CGym::GymInfo	Class for encapsulation of return values of Gym
CGymObservationCompare
CGymObservationHasher
CGymOptions
Cstd::hash< GameState >	Hash specialization to use in unordered containers
▼CHOAIntermediate
CBuildParity	Class for HOA parsing
Cast::Label
CLearner
CLearnerOptions
Cstd::less< MyStruct >	Overloading of '<' operator
Cast::LocationType
CLTS< Tran >	Class of labeled transition systems
▼CLTS< ParityTransition >
CParity	Class of parity automata
CModel	Class for MDPs and related structures
CModelOptions	Class to pass options to Model
Cast::Module
Cast::ModuleRenaming
CMyOtherStruct	This struct overloads the '<' operator
CMyPair< T1, T2 >	Template class that overloads operator<<
CMyStruct	This struct uses template specialization for the comparison function
Cast::NameReplacement
COptions
CParity::OSPGame	Helper class to solve 3-priority parity games
Cp_driver	Scanning and parsing of (restricted) PRISM models
CUtil::PairHash< T1, T2 >	Class that defines a hash function for pairs
CUtil::PairWithBddCompare< T >	Class that defines a comparison operator for pairs with BDDs
CLTS< Tran >::PartitionRefinement< Tran >	Class to compute partition refinement for the states of an LTS
Cast::Player
CModel::PlayerSets	Class to store return value of probMcNaughton
Cprint_tuple_aux< T, Size >
Cprint_tuple_aux< T, 0 >
Cast::RewardSection
Cast::RewardSpec
CModel::SccAnalyzer	Class to compute the (maximal) SCCs of the model
CLTS< Tran >::SccAnalyzer< Tran >	Class to compute the (maximal) SCCs of the LTS
CParity::Simul	Helper class for simulation equivalence computation
CModel::StrategyResults	Class for return value of getStrategy
CStree	Class of compact Safra trees used for Piterman's NBW to DPW procedure
CLTS< Tran >::SubsetConstruction< Tran >	Helper class to perform Rabin-Scott subset construction
Cast::Transition
Cast::Variable
CVerbosity	Class of verbosity values
CYourCompare	Function object for YourStruct
CYourStruct	This structure relies on a function object for the comparison