CVC3
2.4.1
|
Representation of a DP-suggested splitter. More...
#include <search_impl_base.h>
Representation of a DP-suggested splitter.
SearchImplBase::Splitter::Splitter | ( | const Literal & | lit | ) |
Constructor.
Definition at line 75 of file search_impl_base.cpp.
References d_lit, CVC3::Literal::count(), and TRACE.
SearchImplBase::Splitter::Splitter | ( | const Splitter & | s | ) |
Copy constructor.
Definition at line 81 of file search_impl_base.cpp.
References d_lit, CVC3::Literal::count(), and TRACE.
SearchImplBase::Splitter::~Splitter | ( | ) |
SearchImplBase::Splitter & SearchImplBase::Splitter::operator= | ( | const Splitter & | s | ) |
Assignment.
Definition at line 89 of file search_impl_base.cpp.
References d_lit, CVC3::Literal::count(), and TRACE.
CVC3::SearchImplBase::Splitter::operator Literal | ( | ) | [inline] |
Definition at line 66 of file search_impl_base.h.
References d_lit.
Literal CVC3::SearchImplBase::Splitter::d_lit [private] |
Definition at line 55 of file search_impl_base.h.
Referenced by Splitter(), operator=(), and operator Literal().