CVC3
theory_uf Directory Reference
Directory dependency graph for theory_uf:
theory_uf

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.