arith_theorem_producer_old.cpp File Reference

#include "arith_theorem_producer_old.h"
#include "theory_core.h"
#include "theory_arith_old.h"
#include <algorithm>

Go to the source code of this file.

Classes

Defines

Typedefs


Define Documentation

#define _CVC3_TRUSTED_

Definition at line 30 of file arith_theorem_producer_old.cpp.

#define CLASS_NAME   "ArithTheoremProducerOld"

Definition at line 53 of file arith_theorem_producer_old.cpp.


Typedef Documentation

Definition at line 427 of file arith_theorem_producer_old.cpp.


Generated on 19 Apr 2010 for CVC3 by  doxygen 1.6.1