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.

Arity: 2

Domain: Scenario

Range: Set

Axioms:

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