theory_core Directory Reference

Files

• file core_proof_rules.h [code]

  Proof rules used by theory_core.
  

• file core_theorem_producer.cpp [code]
• file core_theorem_producer.h [code]
• file dictionary.h [code]
• file expr_transform.cpp [code]
• file hash.h [code]
• file preprocess.cpp [code]
• file theory.cpp [code]
• file theory_core.cpp [code]

---