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