AxiomEvaluator Class Reference

#include <axioms.h>

List of all members.

Classes
struct	LogicAxiomLiteral
struct	LogicAxiomRule
struct	NegationByFailureInfo
Public Member Functions
	AxiomEvaluator ()
void	evaluate (TimeStampedState &state)
Private Member Functions
void	evaluate_arithmetic_axioms (TimeStampedState &state)
void	evaluate_comparison_axioms (TimeStampedState &state)
void	evaluate_logic_axioms (TimeStampedState &state)
Private Attributes
std::vector< std::vector < LogicAxiomLiteral > >	axiom_literals
std::vector< std::vector < Axiom * > >	axioms_by_layer
std::vector< std::vector < NegationByFailureInfo > >	nbf_info_by_layer
std::vector< LogicAxiomRule >	rules

---

Detailed Description

Definition at line 70 of file axioms.h.

---

Constructor & Destructor Documentation

AxiomEvaluator::AxiomEvaluator

(

)

Definition at line 30 of file axioms.cpp.

---

Member Function Documentation

void AxiomEvaluator::evaluate

(

TimeStampedState &

state

)

Definition at line 134 of file axioms.cpp.

void AxiomEvaluator::evaluate_arithmetic_axioms

(

TimeStampedState &

state

)

[private]

Definition at line 142 of file axioms.cpp.

void AxiomEvaluator::evaluate_comparison_axioms

(

TimeStampedState &

state

)

[private]

Definition at line 176 of file axioms.cpp.

void AxiomEvaluator::evaluate_logic_axioms

(

TimeStampedState &

state

)

[private]

Definition at line 221 of file axioms.cpp.

---

Member Data Documentation

std::vector<std::vector<LogicAxiomLiteral> > AxiomEvaluator::axiom_literals [private]

Definition at line 102 of file axioms.h.

std::vector<std::vector<Axiom*> > AxiomEvaluator::axioms_by_layer [private]

Definition at line 105 of file axioms.h.

std::vector<std::vector<NegationByFailureInfo> > AxiomEvaluator::nbf_info_by_layer [private]

Definition at line 104 of file axioms.h.

std::vector<LogicAxiomRule> AxiomEvaluator::rules [private]

Definition at line 103 of file axioms.h.

---

The documentation for this class was generated from the following files:

• axioms.h
• axioms.cpp