All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines
Public Member Functions | Public Attributes
AxiomEvaluator::LogicAxiomRule Struct Reference

List of all members.

Public Member Functions

 LogicAxiomRule (int cond_count, int eff_var, int eff_val, LogicAxiomLiteral *eff_literal)

Public Attributes

int condition_count
LogicAxiomLiteraleffect_literal
int effect_val
int effect_var
int unsatisfied_conditions

Detailed Description

Definition at line 77 of file axioms.h.


Constructor & Destructor Documentation

AxiomEvaluator::LogicAxiomRule::LogicAxiomRule ( int  cond_count,
int  eff_var,
int  eff_val,
LogicAxiomLiteral eff_literal 
) [inline]

Definition at line 84 of file axioms.h.


Member Data Documentation

Definition at line 79 of file axioms.h.

Definition at line 83 of file axioms.h.

Definition at line 82 of file axioms.h.

Definition at line 81 of file axioms.h.

Definition at line 80 of file axioms.h.


The documentation for this struct 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:03