loopformula.py File Reference

Functions
def	planner.loopformula.buildDTables (encoder)
	Extracts information needed to build dependency graph. More...
def	planner.loopformula.computeSCC (edges)
	Computes Strongly Connected Components of graph. More...
def	planner.loopformula.encodeLoopFormulas (encoder)
	Builds loop formulas (see paper for description). More...

Function Documentation

def planner.loopformula.buildDTables

(

encoder

)

Extracts information needed to build dependency graph.

Parameters

encoder

Returns

edges: edges of the dependency graph.

table: datastructure containing info to build loop formula.

def planner.loopformula.computeSCC

(

edges

)

Computes Strongly Connected Components of graph.

Parameters

edges

edges of graph

Returns

scc_purged: list of scc

def planner.loopformula.encodeLoopFormulas

(

encoder

)

Builds loop formulas (see paper for description).

Parameters

encoder

Returns

lf: list of loop formulas.