Public Member Functions

CVC3::SimulateTheoremProducer Class Reference

#include <simulate_theorem_producer.h>

Inherits CVC3::SimulateProofRules, and CVC3::TheoremProducer.

Collaboration diagram for CVC3::SimulateTheoremProducer:
Collaboration graph

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]


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

Theorem SimulateTheoremProducer::expandSimulate ( const Expr e) [virtual]

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