concepts.dsl.constraint.SimulationFluentConstraintFunction#

class SimulationFluentConstraintFunction[source]#

Bases: object

SimulationConstraint is a special kind of constraint that asserts the return value of the function is the grounding of a predicate after executing action action_index in the simulation. This is a special kind of constraint that has to be evaluated in a simulation environment. Therefore it is listed separately from the other domain-general constraints.

Methods

Attributes

name

action_index

The index of the action that is executed in the simulation.

predicate

The predicate to be grounded.

arguments

The arguments to the predicate.

is_execution_constraint

SIMULATION, EXECUTION.

__init__(action_index, predicate, arguments, is_execution_constraint)#
Parameters:
  • action_index (int) –

  • predicate (Function) –

  • arguments (Tuple[int, ...]) –

  • is_execution_constraint (bool) –

Return type:

None

__new__(**kwargs)#
action_index: int#

The index of the action that is executed in the simulation.

arguments: Tuple[int, ...]#

The arguments to the predicate.

is_execution_constraint: bool#

SIMULATION, EXECUTION. When it is simulation this flag is set to False.

Type:

The mode of the constraint. Can be one of the following

property name: str#
predicate: Function#

The predicate to be grounded.