ast Namespace Reference

Namespace of abstract syntax tree components. More...

Classes
struct	Command
struct	Constant
struct	ControlSpec
struct	Expression
struct	Formula
struct	Label
struct	LocationType
struct	Module
struct	ModuleRenaming
struct	NameReplacement
struct	Player
struct	RewardSection
struct	RewardSpec
struct	Transition
struct	Variable

Enumerations
enum	ModelType { MDP, DTMC, SMG, BDP }
enum	Operator {   PLUS, UNARYMINUS, MINUS, TIMES,   DIVIDE, ITE, NUMERAL, IDENTIFIER,   MIN, MAX, MOD, POW,   LOG, CEIL, FLOOR, TRUE,   FALSE, OR, AND, XOR,   IFF, IMPLIES, NOT, EQUAL,   NOTEQ, LE, LT, GE,   GT }
enum	DataType { DOUBLE, NUMBER, BOOL }
enum	RewardType { STATE, ACTION }
enum	ControlType { PMODULE, PACTION }

Functions
std::ostream &	operator<< (std::ostream &os, Operator const &op)
std::string	to_string (Operator const &op)
std::ostream &	operator<< (std::ostream &os, Expression const &ie)
std::ostream &	operator<< (std::ostream &os, Variable const &v)
std::ostream &	operator<< (std::ostream &os, Formula const &f)
std::ostream &	operator<< (std::ostream &os, Label const &l)
std::ostream &	operator<< (std::ostream &os, Constant const &c)
std::ostream &	operator<< (std::ostream &os, Transition const &t)
std::ostream &	operator<< (std::ostream &os, Command const &c)
std::ostream &	operator<< (std::ostream &os, Module const &m)
std::ostream &	operator<< (std::ostream &os, NameReplacement const &m)
std::ostream &	operator<< (std::ostream &os, ModuleRenaming const &m)
std::ostream &	operator<< (std::ostream &os, RewardSpec const &rs)
std::ostream &	operator<< (std::ostream &os, RewardSection const &rv)
std::ostream &	operator<< (std::ostream &os, ControlSpec const &cs)
std::ostream &	operator<< (std::ostream &os, Player const &p)
ostream &	operator<< (ostream &os, Operator const &op)
ostream &	operator<< (ostream &os, Expression const &e)
ostream &	operator<< (ostream &os, Variable const &v)
ostream &	operator<< (ostream &os, Formula const &f)
ostream &	operator<< (ostream &os, Label const &l)
ostream &	operator<< (ostream &os, Constant const &c)
ostream &	operator<< (ostream &os, Transition const &t)
ostream &	operator<< (ostream &os, Command const &c)
ostream &	operator<< (ostream &os, Module const &m)
ostream &	operator<< (ostream &os, NameReplacement const &nr)
ostream &	operator<< (ostream &os, ModuleRenaming const &mr)
ostream &	operator<< (ostream &os, RewardSpec const &rs)
ostream &	operator<< (ostream &os, RewardSection const &rv)
ostream &	operator<< (ostream &os, ControlSpec const &cs)
ostream &	operator<< (ostream &os, Player const &p)

Detailed Description

Namespace of abstract syntax tree components.