Public Attributes
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

Definition at line 19 of file axioms.h.

The documentation for this class was generated from the following file:
 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