All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines
Public Member Functions
invariants.SafeInvariant Class Reference
Inheritance diagram for invariants.SafeInvariant:
Inheritance graph
[legend]

List of all members.

Public Member Functions

def add_effect_temporarily_unbalanced
def add_effect_unbalanced
def check_balance
def conditions_require_weight_1
def get_covering_assignments
def imply_del_effect
def lhs_satisfiable
def minimal_covering_renamings
def operator_too_heavy
def operator_unbalanced
def refine_candidate
def temp_unbalanced_renamings
def unbalanced_renamings

Detailed Description

Definition at line 220 of file invariants.py.


Member Function Documentation

def invariants.SafeInvariant.add_effect_temporarily_unbalanced (   self,
  action,
  add_effect,
  start_del_effects,
  inv_vars 
)
at-end add effect has corresponding at-start del effect, so it could
be balanced if no other action interferes

Definition at line 374 of file invariants.py.

def invariants.SafeInvariant.add_effect_unbalanced (   self,
  action,
  add_effect,
  del_effects,
  inv_vars,
  time 
)

Definition at line 350 of file invariants.py.

def invariants.SafeInvariant.check_balance (   self,
  balance_checker,
  enqueue_func 
)

Definition at line 227 of file invariants.py.

def invariants.SafeInvariant.conditions_require_weight_1 (   self,
  action,
  add_effect 
)

Definition at line 479 of file invariants.py.

def invariants.SafeInvariant.get_covering_assignments (   self,
  parameters,
  atom 
)

Definition at line 221 of file invariants.py.

def invariants.SafeInvariant.imply_del_effect (   self,
  del_effect,
  lhs_by_pred,
  time 
)
returns a constraint system that is solvable if lhs implies
   the del effect (only if lhs is satisfiable). If a solvable
   lhs never implies the del effect, return None.

Definition at line 457 of file invariants.py.

def invariants.SafeInvariant.lhs_satisfiable (   self,
  renaming,
  lhs_by_pred 
)

Definition at line 452 of file invariants.py.

def invariants.SafeInvariant.minimal_covering_renamings (   self,
  action,
  add_effect,
  inv_vars 
)
computes the minimal renamings of the action parameters such
   that the add effect is covered by the action. 
   Each renaming is an constraint system

Definition at line 326 of file invariants.py.

def invariants.SafeInvariant.operator_too_heavy (   self,
  h_action 
)

Definition at line 262 of file invariants.py.

def invariants.SafeInvariant.operator_unbalanced (   self,
  action,
  temp_unbalanced_actions 
)

Definition at line 289 of file invariants.py.

def invariants.SafeInvariant.refine_candidate (   self,
  add_effect,
  action,
  time 
)
refines the candidate for an add effect that is unbalanced in the
   action and adds the refined one to the queue

Definition at line 395 of file invariants.py.

def invariants.SafeInvariant.temp_unbalanced_renamings (   self,
  del_effect,
  add_effect,
  inv_vars,
  lhs_by_pred,
  unbalanced_renamings 
)
returns the renamings from unbalanced renamings for which
   the start_del_effect does not balance the end_add_effect.

Definition at line 409 of file invariants.py.

def invariants.SafeInvariant.unbalanced_renamings (   self,
  del_effect,
  add_effect,
  inv_vars,
  lhs_by_pred,
  time,
  unbalanced_renamings 
)
returns the renamings from unbalanced renamings for which
   the del_effect does not balance the add_effect.

Definition at line 430 of file invariants.py.


The documentation for this class was generated from the following file:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines


tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Tue Jan 22 2013 12:25:04