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

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

#include <search_impl_base.h>

Collaboration diagram for CVCL::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 69 of file search_impl_base.h.


Constructor & Destructor Documentation

SearchImplBase::Splitter::Splitter const Literal lit  ) 
 

Constructor.

Definition at line 70 of file search_impl_base.cpp.

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

SearchImplBase::Splitter::Splitter const Splitter s  ) 
 

Copy constructor.

Definition at line 76 of file search_impl_base.cpp.

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

SearchImplBase::Splitter::~Splitter  ) 
 

Descructor.

Definition at line 94 of file search_impl_base.cpp.

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


Member Function Documentation

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

Assignment.

Definition at line 84 of file search_impl_base.cpp.

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

CVCL::SearchImplBase::Splitter::operator Literal  )  [inline]
 

Definition at line 81 of file search_impl_base.h.

References d_lit.


Member Data Documentation

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

Definition at line 70 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 Thu Apr 13 16:57:43 2006 for CVC Lite by  doxygen 1.4.4