CVC3  2.4.1
theory_arith Directory Reference

Files

file  arith_exception.h [code]
 An exception thrown by the arithmetic decision procedure.
file  arith_proof_rules.h [code]
 Arithmetic proof rules.
file  arith_theorem_producer.cpp [code]
file  arith_theorem_producer.h [code]
 TRUSTED implementation of arithmetic proof rules.
file  arith_theorem_producer3.cpp [code]
file  arith_theorem_producer3.h [code]
 TRUSTED implementation of arithmetic proof rules.
file  arith_theorem_producer_old.cpp [code]
file  arith_theorem_producer_old.h [code]
 TRUSTED implementation of arithmetic proof rules.
file  theory_arith.cpp [code]
file  theory_arith3.cpp [code]
file  theory_arith_new.cpp [code]
file  theory_arith_old.cpp [code]