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 refined_arith_theorem_producer.cpp [code]
• file refined_arith_theorem_producer.h [code]

  TRUSTED implementation of arithmetic proof rules.
  

• file theory_arith.cpp [code]

---