Condition World State
Represents the state of the world at any time. World state is just a map. This class exposes operations on the state.
Properties
Functions
Link copied to clipboard
Link copied to clipboard
operator fun plus(pair: <Error class: unknown class><String, ConditionDetermination>): ConditionWorldState
Link copied to clipboard
Are all preconditions satisfied in this world state?
Link copied to clipboard
Link copied to clipboard
Generate all possible changes to the world state where only one condition is changed For each existing condition, generate variants where that condition is flipped to the other values (TRUE -> FALSE and UNKNOWN, FALSE -> TRUE and UNKNOWN, UNKNOWN -> TRUE and FALSE)