CVC3  2.4.1
Public Member Functions | Private Attributes | List of all members
CVC3::Circuit Class Reference

#include <circuit.h>

Public Member Functions

 Circuit (SearchEngineFast *se, const Theorem &thm)
bool propagate (SearchEngineFast *se)

Private Attributes

Theorem d_thm
Literal d_lits [4]

Detailed Description

Definition at line 31 of file circuit.h.

Constructor & Destructor Documentation

CVC3::Circuit::Circuit ( SearchEngineFast se,
const Theorem thm 
)

Member Function Documentation

bool CVC3::Circuit::propagate ( SearchEngineFast se)

Member Data Documentation

Theorem CVC3::Circuit::d_thm
private

Definition at line 34 of file circuit.h.

Referenced by Circuit(), and propagate().

Literal CVC3::Circuit::d_lits[4]
private

Definition at line 35 of file circuit.h.

Referenced by Circuit(), and propagate().


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