ast::RewardSpec Struct Reference

Collaboration diagram for ast::RewardSpec:

Public Attributes
RewardType	type
std::string	name
Expression	guard
Expression	reward

---

The documentation for this struct was generated from the following file:

• Pparser/Past.hh