concepts.pdsketch.operator.Precondition#

class Precondition[source]#

Bases: object

The precondition of an operator. It is basically a wrapper around ValueOutputExpression.

Methods

Attributes

`bool_expr`	The underlying Boolean expression.
`mode`	FUNCTIONAL (the description is a pure function), SIMULATION (the functions have to rely on an update-to-date simulator state for evaluation), and EXECUTION (the functions have to rely on the exact world state after execution to be evaluated).
`ao_discretization`	The And-Or discretization of the precondition.

__init__(bool_expr, simulation=False, execution=False)[source]#

Parameters:

bool_expr (ValueOutputExpression)
simulation (bool)
execution (bool)

__new__(**kwargs)#

ao_discretization: Any | None#: The And-Or discretization of the precondition.

bool_expr: ValueOutputExpression#: The underlying Boolean expression.

mode: FunctionEvaluationDefinitionMode#

FUNCTIONAL (the description is a pure function), SIMULATION (the functions have to rely on an update-to-date simulator state for evaluation), and EXECUTION (the functions have to rely on the exact world state after execution to be evaluated).

Type:: The mode of the precondition. There are three possible modes