Public Member Functions | Public Attributes
NumericAxiom Class Reference

#include <axioms.h>

Inheritance diagram for NumericAxiom:
Inheritance graph
[legend]

List of all members.

Public Member Functions

void dump ()
 NumericAxiom (std::istream &in)

Public Attributes

binary_op op
int var_lhs
int var_rhs

Detailed Description

Definition at line 52 of file axioms.h.


Constructor & Destructor Documentation

NumericAxiom::NumericAxiom ( std::istream &  in)

Definition at line 21 of file axioms.cpp.


Member Function Documentation

void NumericAxiom::dump ( ) [inline]

Definition at line 61 of file axioms.h.


Member Data Documentation

Definition at line 57 of file axioms.h.

Definition at line 55 of file axioms.h.

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