#include <axioms.h>
Public Member Functions | |
void | dump () |
NumericAxiom (std::istream &in) | |
Public Attributes | |
binary_op | op |
int | var_lhs |
int | var_rhs |
NumericAxiom::NumericAxiom | ( | std::istream & | in | ) |
Definition at line 21 of file axioms.cpp.
void NumericAxiom::dump | ( | ) | [inline] |