Expand description
The condition algebra. A Condition is a conjunction of per-variable Constraints and
stands for the set of states that satisfy it. Conflict detection, the flow graph and story
planning reduce to three questions about such sets: do two overlap, does one imply the
other, and what is left after an action overwrites some variables.
Structs§
- Condition
- A set of states, written as a conjunction of constraints. Variables it doesn’t mention are unconstrained.
- Interval
- A numeric range with open or closed ends.
Enums§
- Constraint
- The values one variable may take.