Function SCENARIO.PARTICIPANTS

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

Slots on this function:

Documentation:

The scenario.participants of a scenario is a set of entities for which the scenario is defined.

Instance-Of: Function

Arity: 2

Domain: Scenario

Range: Set

Other Related Axioms:

(Inherited-Facet-Value Slot-Cardinality
                       Scenario
                       Scenario.Participants
                       1)

(=> (Scenario ?S)
    (And (Value-Type ?S Initial-Time Time-Quantity)
         (Value-Cardinality ?S Initial-Time 1)
         (Value-Type ?S Final-Time Time-Quantity)
         (Value-Cardinality ?S Final-Time 1)
         (Value-Cardinality ?S Scenario.Participants 1)))

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

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

(=> (= (Scenario.Participants ?S) ?Participants)
    (=> (Member ?P ?Participants) (Entity ?P)))