#include <cassert>
#include <string>
#include <vector>
#include "globals.h"
#include "state.h"
#include "operator.h"
Go to the source code of this file.
Classes | |
class | Axiom |
class | AxiomEvaluator |
class | LogicAxiom |
struct | AxiomEvaluator::LogicAxiomLiteral |
struct | AxiomEvaluator::LogicAxiomRule |
struct | AxiomEvaluator::NegationByFailureInfo |
class | NumericAxiom |