Classes | Functions
fact_groups Namespace Reference

Classes

class  GroupCoverQueue

Functions

def build_translation_key
def choose_groups
def choose_groups_with_object_fluents_first
def collect_all_mutex_groups
def compute_groups
def create_groups_from_object_fluents
def expand_group
def instantiate_groups

Function Documentation

Definition at line 108 of file fact_groups.py.

def fact_groups.choose_groups (   groups,
  reachable_facts,
  partial_encoding = True 
)

Definition at line 68 of file fact_groups.py.

def fact_groups.choose_groups_with_object_fluents_first (   synthesis_groups,
  object_fluent_groups,
  reachable_facts,
  partial_encoding = True 
)

Definition at line 80 of file fact_groups.py.

def fact_groups.collect_all_mutex_groups (   groups,
  atoms 
)

Definition at line 116 of file fact_groups.py.

def fact_groups.compute_groups (   task,
  atoms,
  reachable_action_params,
  return_mutex_groups = True,
  partial_encoding = True,
  safe = True 
)

Definition at line 147 of file fact_groups.py.

Definition at line 128 of file fact_groups.py.

def fact_groups.expand_group (   group,
  task,
  reachable_facts 
)

Definition at line 6 of file fact_groups.py.

def fact_groups.instantiate_groups (   groups,
  task,
  reachable_facts 
)

Definition at line 26 of file fact_groups.py.



tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Mon Oct 6 2014 07:52:06