NumericAxiom Class Reference

#include <axioms.h>

Inheritance diagram for NumericAxiom:

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

binary_op NumericAxiom::op

Definition at line 57 of file axioms.h.

int NumericAxiom::var_lhs

Definition at line 55 of file axioms.h.

int NumericAxiom::var_rhs

Definition at line 56 of file axioms.h.

---

The documentation for this class was generated from the following files:

• axioms.h
• axioms.cpp