CVC3  2.4.1
theory_simulate Directory Reference

Files

file  simulate_proof_rules.h [code]
 Abstract interface to the symbolic simulator proof rules.
 
file  simulate_theorem_producer.cpp [code]
 Trusted implementation of the proof rules for symbolic simulator.
 
file  simulate_theorem_producer.h [code]
 Implementation of the symbolic simulator proof rules.
 
file  theory_simulate.cpp [code]
 Implementation of class TheorySimulate.