#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 |
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.
std::vector<std::vector<LogicAxiomLiteral> > AxiomEvaluator::axiom_literals [private] |
std::vector<std::vector<Axiom*> > AxiomEvaluator::axioms_by_layer [private] |
std::vector<std::vector<NegationByFailureInfo> > AxiomEvaluator::nbf_info_by_layer [private] |
std::vector<LogicAxiomRule> AxiomEvaluator::rules [private] |