CVC3::SearchImplBase::Splitter Class Reference

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

#include <search_impl_base.h>

Collaboration diagram for CVC3::SearchImplBase::Splitter:

List of all members.

Public Member Functions

• Splitter (const Literal &lit)

  Constructor.
  

• Splitter (const Splitter &s)

  Copy constructor.
  

• Splitter & operator= (const Splitter &s)

  Assignment.
  

• ~Splitter ()

  Descructor.
  

• 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:

• search_impl_base.h
• search_impl_base.cpp