Mungojerrie  1.0
Mungojerrie
Classes | Typedefs
Model.hh File Reference

Markov Decision Processes and Stochastic Games. More...

#include <vector>
#include <set>
#include <string>
#include "Set.hh"
#include "Util.hh"
#include "cuddObj.hh"
#include "config.h"
#include "Parity.hh"
#include "Verbosity.hh"
#include "ModelOptions.hh"
Include dependency graph for Model.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  Model
 Class for MDPs and related structures. More...
 
struct  Model::StrategyResults
 Class for return value of getStrategy. More...
 
struct  Model::AttractorResults
 Class for return value of getAttractorWithStrat. More...
 
struct  Model::PlayerSets
 Class to store return value of probMcNaughton. More...
 

Typedefs

using Node = unsigned long
 Type of nodes.
 
using Priority = short int
 Type of priorities. More...
 
using Player = int
 Type of players. More...
 
using Action = short int
 Type of actions. More...
 
using Reward = double
 Type of rewards.
 
using Probability = double
 Type of probabilities.
 

Detailed Description

Markov Decision Processes and Stochastic Games.

Author
Mateo Perez, Fabio Somenzi, Ashutosh Trivedi

Typedef Documentation

◆ Action

using Action = short int

Type of actions.

Valid actions are nonnegative.

◆ Player

using Player = int

Type of players.

Strategic players are nonnegative.

◆ Priority

using Priority = short int

Type of priorities.

Valid priorities are nonnegative.