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

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

#include <search_impl_base.h>

Public Member Functions

 Splitter (const Literal &lit)
 Constructor. More...
 
 Splitter (const Splitter &s)
 Copy constructor. More...
 
Splitteroperator= (const Splitter &s)
 Assignment. More...
 
 ~Splitter ()
 Descructor. More...
 
 operator Literal ()
 

Private Attributes

Literal d_lit
 

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 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 TRACE.

SearchImplBase::Splitter::~Splitter ( )

Descructor.

Definition at line 99 of file search_impl_base.cpp.

References 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 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=(), and Splitter().


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