CVC3::SearchImplBase::Splitter Class Reference
[Search Engine]

Representation of a DP-suggested splitter. More...

#include <search_impl_base.h>

Collaboration diagram for CVC3::SearchImplBase::Splitter:

Collaboration graph
[legend]
List of all members.

Public Member Functions

Private Attributes


Detailed Description

Representation of a DP-suggested splitter.

Definition at line 54 of file search_impl_base.h.


Constructor & Destructor Documentation

SearchImplBase::Splitter::Splitter ( const Literal lit  ) 

Constructor.

Definition at line 75 of file search_impl_base.cpp.

References CVC3::Literal::count(), d_lit, and CVC3::TRACE.

SearchImplBase::Splitter::Splitter ( const Splitter s  ) 

Copy constructor.

Definition at line 81 of file search_impl_base.cpp.

References CVC3::Literal::count(), d_lit, and CVC3::TRACE.

SearchImplBase::Splitter::~Splitter (  ) 

Descructor.

Definition at line 99 of file search_impl_base.cpp.

References CVC3::Literal::count(), d_lit, and CVC3::TRACE.


Member Function Documentation

SearchImplBase::Splitter & SearchImplBase::Splitter::operator= ( const Splitter s  ) 

Assignment.

Definition at line 89 of file search_impl_base.cpp.

References CVC3::Literal::count(), d_lit, and CVC3::TRACE.

CVC3::SearchImplBase::Splitter::operator Literal (  )  [inline]

Definition at line 66 of file search_impl_base.h.

References d_lit.


Member Data Documentation

Literal CVC3::SearchImplBase::Splitter::d_lit [private]

Definition at line 55 of file search_impl_base.h.

Referenced by operator Literal(), operator=(), Splitter(), and ~Splitter().


The documentation for this class was generated from the following files:
Generated on Wed Nov 18 16:15:47 2009 for CVC3 by  doxygen 1.5.2