File List

Here is a list of all documented files with brief descriptions:

[detail level 12]

▼ Gym
Gym.cc	Interface between learner and model/objective
Gym.hh	Interface between learner and model/objective
▼ Hparser
Hparser.hh
▼ Learners
Learner.cc	Reinforcement learning algorithms
Learner.hh	Reinforcement learning algorithms
▼ LTS
LTS.cc	Labeled transition systems (base class for automata classes)
LTS.hh	Labeled transition systems (base class for automata classes)
Parity.cc	Parity automata
Parity.hh	Parity automata
Stree.cc	Safra trees
Stree.hh	Safra trees
testLTS.cc	Test program for LTS and Parity
▼ Main
CommandLineOptions.hh	Definition and processing of command-line options
main.cc	Main function and its helpers
Verbosity.hh	Verbosity-related definitions
▼ Model
Model.cc	Markov Decision Processes and Stochastic Games
Model.hh	Markov Decision Processes and Stochastic Games
ModelCheck.cc	Model checking algorithms for MDPs
ModelGames.cc	Algorithms to solve stochatic games
ModelOptions.hh	Option structure for models
testModel.cc	Test program for model construction
testProduct.cc	Test program for model-objective product construction
▼ Pparser
Past.hh	Abstract Syntax Tree for PRISM parser
Pdriver.cc	Driver for PRISM parser
Pdriver.hh	Driver for PRISM parser
Pscanner.ll	Scanner definition for PRISM parser
Pwrapper.hh	Wrapper class for PRISM parser
▼ Util
Set.hh	Set manipulation functions
State.hh	Basic type definitions
testSet.cc	Test rpogram for set manipulation functions
testUtil.cc	Test program for utility functions
Util.cc	Utility functions
Util.hh	Utility functions