Class Planning-Constraint

Subclass-Of:
Eo-Entity, Individual, Individual-Thing, Thing
Superclass-Of: Effect, Pre-Condition
Instance-Of: Class, Relation, Set
Domain-Of: State-Description, When-Hold
Arity: 1
Documentation:
A constraint used during planning. It contains two main things: 1) a State-Of-Affairs that is required to be true for successful execution of some activity or is made true by some activity; and 2) A specification of when that State-Of-Affairs must be true.


Slots:

State-Description:
Slot-Cardinality: 1
Slot-Value-Type: State-Of-Affairs
When-Hold:
Slot-Cardinality: 1
Slot-Value-Type: When-Hold-Spec