Class List

Here are the classes, structs, unions and interfaces with brief descriptions:

[detail level 12]

▼Nast	Namespace of abstract syntax tree components
CCommand
CConstant
CControlSpec
CExpression
CFormula
CLabel
CLocationType
CModule
CModuleRenaming
CNameReplacement
CPlayer
CRewardSection
CRewardSpec
CTransition
CVariable
▼Nstd
Chash< GameState >	Hash specialization to use in unordered containers
Cless< MyStruct >	Overloading of '<' operator
▼NUtil	Namespace of utilities
CBddCompare	Class that defines a comparison operator for the BDD class
CPairHash	Class that defines a hash function for pairs
CPairWithBddCompare	Class that defines a comparison operator for pairs with BDDs
CBaseTransition	Base class for the labeled edges of the transition graph
CBuildParity	Class for HOA parsing
CCommandLineOptions	A class for parsing and storing command line options
CGameState	Helper class for simulation game graphs
▼CGym	Class for a learning interface
CGymInfo	Class for encapsulation of return values of Gym
CGymObservationCompare
CGymObservationHasher
CGymOptions
Chelp_exception
CLearner
CLearnerOptions
▼CLTS	Class of labeled transition systems
CPartitionRefinement	Class to compute partition refinement for the states of an LTS
CSccAnalyzer	Class to compute the (maximal) SCCs of the LTS
CSubsetConstruction	Helper class to perform Rabin-Scott subset construction
▼CModel	Class for MDPs and related structures
CAttractorResults	Class for return value of getAttractorWithStrat
CPlayerSets	Class to store return value of probMcNaughton
CSccAnalyzer	Class to compute the (maximal) SCCs of the model
CStrategyResults	Class for return value of getStrategy
CModelOptions	Class to pass options to Model
CMyOtherStruct	This struct overloads the '<' operator
CMyPair	Template class that overloads operator<<
CMyStruct	This struct uses template specialization for the comparison function
COptions
Cp_driver	Scanning and parsing of (restricted) PRISM models
▼CParity	Class of parity automata
CDeterm	Helper class to perform DPW determinization
CDotAttributes
COSPGame	Helper class to solve 3-priority parity games
CSimul	Helper class for simulation equivalence computation
CParityTransition	Class of parity-annotated transitions
Cprint_tuple_aux
Cprint_tuple_aux< T, 0 >
CStree	Class of compact Safra trees used for Piterman's NBW to DPW procedure
CVerbosity	Class of verbosity values
CYourCompare	Function object for YourStruct
CYourStruct	This structure relies on a function object for the comparison