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.
  

---