PSchema.Schema.postconditions Reference Manual
Packages
PSchema
PSchema
Schema
action
activations
associated_observations
generalised
id
postconditions
preconditions
Schema
add_associated_observation
add_postcondition
add_precondition
copy
equals
execute
get_predictions
get_probability
is_synthetic
satisfies
set_vars_from_state
to_string
to_xml
update
postconditions
Description:
public
WorldState
postconditions
{
set
;
get
; }