Representation of a DP-suggested splitter. More...
#include <search_impl_base.h>
Collaboration diagram for CVC3::SearchImplBase::Splitter:
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 | ( | ) |
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.
|
inline |
Definition at line 66 of file search_impl_base.h.
References d_lit.
Member Data Documentation
|
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:
