planner.modifier.ParallelModifier Class Reference

Inheritance diagram for planner.modifier.ParallelModifier:

Collaboration diagram for planner.modifier.ParallelModifier:

Public Member Functions
def	do_encode (self, variables, mutexes, bound)
	Encodes parallel execution semantics (i.e., multiple, mutex, actions per step). More...
Public Member Functions inherited from planner.modifier.Modifier
def	do_encode (self)

Detailed Description

Parallel modifier, contains method to implement parallel execution semantics.

Member Function Documentation

def planner.modifier.ParallelModifier.do_encode	(		self,
			variables,
			mutexes,
			bound
	)

Encodes parallel execution semantics (i.e., multiple, mutex, actions per step).

Parameters

variables	Z3 variables.
mutexes	action mutexes.
bound	planning horizon.

Returns

c: constraints enforcing parallel execution

---

The documentation for this class was generated from the following file:

• planner/modifier.py