Public Member Functions | Private Attributes

CVC3::CoreTheoremProducer Class Reference

#include <core_theorem_producer.h>

Inheritance diagram for CVC3::CoreTheoremProducer:
CVC3::CoreProofRules CVC3::TheoremProducer

List of all members.

Public Member Functions

Private Attributes


Detailed Description

Definition at line 40 of file core_theorem_producer.h.


Constructor & Destructor Documentation

CVC3::CoreTheoremProducer::CoreTheoremProducer ( TheoremManager tm,
TheoryCore core 
) [inline]

Definition at line 46 of file core_theorem_producer.h.

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

Definition at line 48 of file core_theorem_producer.h.


Member Function Documentation

Theorem CoreTheoremProducer::dummyTheorem ( const Expr e  ) 

Member Data Documentation

pointer to theory core

Definition at line 43 of file core_theorem_producer.h.

Referenced by IffToIte(), ImpToIte(), NotToIte(), and typePred().


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