CVC3
theory_simulate Directory Reference
Directory dependency graph for theory_simulate:
theory_simulate

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.