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
LogicAxiomLiteral *	effect_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

int AxiomEvaluator::LogicAxiomRule::condition_count

Definition at line 79 of file axioms.h.

LogicAxiomLiteral* AxiomEvaluator::LogicAxiomRule::effect_literal

Definition at line 83 of file axioms.h.

int AxiomEvaluator::LogicAxiomRule::effect_val

Definition at line 82 of file axioms.h.

int AxiomEvaluator::LogicAxiomRule::effect_var

Definition at line 81 of file axioms.h.

int AxiomEvaluator::LogicAxiomRule::unsatisfied_conditions

Definition at line 80 of file axioms.h.

---

The documentation for this struct was generated from the following file:

• axioms.h