CVC3

theory_simulate → include Relation

File in src/theory_simulateIncludes file in src/include
simulate_theorem_producer.cpptheory_core.h
simulate_theorem_producer.cpptheory_simulate.h
simulate_theorem_producer.htheorem_producer.h
theory_simulate.cppparser_exception.h
theory_simulate.cppsmtlib_exception.h
theory_simulate.cpptheory_arith.h
theory_simulate.cpptheory_simulate.h
theory_simulate.cpptypecheck_exception.h