concepts.dm.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:
__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