#include <axioms.h>

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.

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.

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.

Definition at line 104 of file axioms.h.

Definition at line 103 of file axioms.h.

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