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.

ao_discretization

The And-Or discretization of the precondition.

__init__(bool_expr)[source]#
Parameters:

bool_expr (ValueOutputExpression) –

__new__(**kwargs)#
ao_discretization: Any | None#

The And-Or discretization of the precondition.

bool_expr: ValueOutputExpression#

The underlying Boolean expression.