theory_uf Directory Reference

Directory dependency graph for 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.