Public Member Functions | Public Attributes
NumericAxiom Class Reference

#include <axioms.h>

Inheritance diagram for NumericAxiom:
Inheritance graph

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:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines

Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Tue Jan 22 2013 12:25:03