theorem Directory Reference

Files

• file assumptions.cpp [code]

  Implementation of class Assumptions.
  

• file assumptions_value.cpp [code]
• file common_theorem_producer.cpp [code]

  Implementation of common proof rules.
  

• file common_theorem_producer.h [code]
• file theorem.cpp [code]
• file theorem_manager.cpp [code]
• file theorem_producer.cpp [code]

  See theorem_producer.h file for more information.
  

• file theorem_value.h [code]

---