planner.modifier.LinearModifier Class Reference

Inheritance diagram for planner.modifier.LinearModifier:

Collaboration diagram for planner.modifier.LinearModifier:

Public Member Functions
def	do_encode (self, variables, bound)
	Encodes sequential execution semantics (i.e., one action per step). More...
Public Member Functions inherited from planner.modifier.Modifier
def	do_encode (self)

Detailed Description

Linear modifier, contains method to implement sequential execution semantics.

Member Function Documentation

def planner.modifier.LinearModifier.do_encode	(		self,
			variables,
			bound
	)

Encodes sequential execution semantics (i.e., one action per step).

Parameters

variables	Z3 variables.
bound	planning horizon.

Returns

c: constraints enforcing sequential execution

---

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

• planner/modifier.py