Public Member Functions

CVC3::SimulateTheoremProducer Class Reference

#include <simulate_theorem_producer.h>

Inheritance diagram for CVC3::SimulateTheoremProducer:
CVC3::SimulateProofRules CVC3::TheoremProducer

List of all members.

Public Member Functions


Detailed Description

Definition at line 30 of file simulate_theorem_producer.h.


Constructor & Destructor Documentation

CVC3::SimulateTheoremProducer::SimulateTheoremProducer ( TheoremManager tm  )  [inline]

Constructor.

Definition at line 34 of file simulate_theorem_producer.h.

virtual CVC3::SimulateTheoremProducer::~SimulateTheoremProducer (  )  [inline, virtual]

Definition at line 35 of file simulate_theorem_producer.h.


Member Function Documentation


The documentation for this class was generated from the following files: