Class SCENARIO

• Defined in theory: Cml
• Source code: cml.lisp

Slots on this class:

Documentation:

A scenario is a description of a modeled system, a set of initial conditions for exogenous constants, and an interval of time over which the system is to be analyzed or simulated.

Instance-Of: Class

Subclass-Of: Individual-thing

Domain-Of: Final-time, Initial-time, Scenario.participants

---

Slots on instances of this class:

Final-Time:

Slot-Cardinality: 1

Slot-Value-Type: Time-quantity

Initial-Time:

Slot-Cardinality: 1

Slot-Value-Type: Time-quantity

Scenario.Participants:

Slot-Cardinality: 1

Other Related Axioms:

(=> (Initial-Time $X $Y) (Scenario $X))

(=> (Final-Time $X $Y) (Scenario $X))

(=> (Scenario.Participants $X $Y) (Scenario $X))