CVC3
|
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. | |