invariant_finder Namespace Reference

Classes
class	BalanceChecker
Functions
def	find_invariants
def	get_fluents
def	get_groups
def	get_initial_invariants
def	useful_groups
Variables
tuple	groups = get_groups(task)
int	MAX_CANDIDATES = 100000
int	MAX_TIME = 300
tuple	task = pddl.open()

---

Function Documentation

def invariant_finder.find_invariants	(		task,
			safe,
			reachable_action_params
	)

Definition at line 104 of file invariant_finder.py.

def invariant_finder.get_fluents

(

task

)

Definition at line 80 of file invariant_finder.py.

def invariant_finder.get_groups	(		task,
			safe = True,
			reachable_action_params = None
	)

Definition at line 145 of file invariant_finder.py.

def invariant_finder.get_initial_invariants	(		task,
			safe
	)

Definition at line 89 of file invariant_finder.py.

def invariant_finder.useful_groups	(		invariants,
			initial_facts
	)

Definition at line 125 of file invariant_finder.py.

---

Variable Documentation

tuple invariant_finder::groups = get_groups(task)

Definition at line 161 of file invariant_finder.py.

int invariant_finder::MAX_CANDIDATES = 100000

Definition at line 101 of file invariant_finder.py.

int invariant_finder::MAX_TIME = 300

Definition at line 102 of file invariant_finder.py.

tuple invariant_finder::task = pddl.open()

Definition at line 156 of file invariant_finder.py.