theory_uf Directory Reference

Files

• file theory_uf.cpp [code]
• file uf_proof_rules.h [code]

  Abstract interface for uninterpreted function/predicate proof rules.
  

• file uf_theorem_producer.cpp [code]

  TRUSTED implementation of uninterpreted function/predicate rules.
  

• file uf_theorem_producer.h [code]

  TRUSTED implementation of uninterpreted function/predicate proof rules.
  

---