Classes | Public Member Functions | Private Member Functions | Private Attributes
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< LogicAxiomRulerules

Detailed Description

Definition at line 70 of file axioms.h.


Constructor & Destructor Documentation

Definition at line 30 of file axioms.cpp.


Member Function Documentation

Definition at line 134 of file axioms.cpp.

Definition at line 142 of file axioms.cpp.

Definition at line 176 of file axioms.cpp.

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:


tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Mon Oct 6 2014 07:52:06