Axiom Class Reference

#include <axioms.h>

List of all members.

Public Attributes
int	affected_variable

---

Detailed Description

Definition at line 16 of file axioms.h.

---

Member Data Documentation

int Axiom::affected_variable

Definition at line 19 of file axioms.h.

---

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

• axioms.h