quant_theorem_producer.cpp File Reference
#include "quant_theorem_producer.h"#include "theory_quant.h"#include "theory_core.h"
Include dependency graph for quant_theorem_producer.cpp:
Go to the source code of this file.
Defines
- #define _CVC3_TRUSTED_
- #define CLASS_NAME "CVC3::QuantTheoremProducer"
Detailed Description
Author: Daniel Wichs, Yeting GeCreated: Jul 07 22:22:38 GMT 2003
License to use, copy, modify, sell and/or distribute this software and its documentation for any purpose is hereby granted without royalty, subject to the terms and conditions defined in the LICENSE file provided with this distribution.
CLASS: QuantProofRules
Description: TRUSTED implementation of arithmetic proof rules.
Definition in file quant_theorem_producer.cpp.
Define Documentation
| #define _CVC3_TRUSTED_ |
Definition at line 27 of file quant_theorem_producer.cpp.
| #define CLASS_NAME "CVC3::QuantTheoremProducer" |
Definition at line 44 of file quant_theorem_producer.cpp.
