CVC3
theory_datatype Directory Reference
Directory dependency graph for theory_datatype:
theory_datatype

Files

file  datatype_proof_rules.h [code]
 Abstract interface for recursive datatype proof rules.
 
file  datatype_theorem_producer.cpp [code]
 TRUSTED implementation of recursive datatype rules.
 
file  datatype_theorem_producer.h [code]
 TRUSTED implementation of recursive datatype proof rules.
 
file  theory_datatype.cpp [code]
 
file  theory_datatype_lazy.cpp [code]