Public Member Functions | Public Attributes
LogicAxiom Class Reference

#include <axioms.h>

Inheritance diagram for LogicAxiom:
Inheritance graph
[legend]

List of all members.

Public Member Functions

void dump ()
bool is_applicable (const TimeStampedState &state) const
 LogicAxiom (std::istream &in)

Public Attributes

double new_value
double old_value
std::vector< Prevailprevail

Detailed Description

Definition at line 22 of file axioms.h.


Constructor & Destructor Documentation

LogicAxiom::LogicAxiom ( std::istream &  in)

Definition at line 10 of file axioms.cpp.


Member Function Documentation

void LogicAxiom::dump ( ) [inline]

Definition at line 30 of file axioms.h.

bool LogicAxiom::is_applicable ( const TimeStampedState state) const [inline]

Definition at line 43 of file axioms.h.


Member Data Documentation

Definition at line 26 of file axioms.h.

Definition at line 26 of file axioms.h.

Definition at line 25 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