Fig. 1.
Inheritance in the AMPAL framework. Top: Arrows indicate inheritance, with objects at the head of the arrow inheriting all of the methods and attributes of the more generic object at the base of the arrow. Bottom: Examples of specifications in the AMPAL framework. The specification classes are shown in light grey boxes