Go to the source code of this file.
Classes | |
struct | Clasp::compose_1< OP1, OP2 > |
An unary operator function that returns Op1(Op2(x)) More... | |
struct | Clasp::compose_2_1< OP1, OP2, OP3 > |
An unary operator function that returns OP1(OP2(x), OP3(x)) More... | |
struct | Clasp::compose_2_2< OP1, OP2, OP3 > |
A binary operator function that returns OP1(OP2(x), OP3(y)) More... | |
struct | Clasp::DeleteObject |
An unary operator function that calls delete p. More... | |
struct | Clasp::DestroyObject |
An unary operator function that calls p->destroy() More... | |
struct | Clasp::Event |
Base class for library events. More... | |
struct | Clasp::Event_t< T > |
class | Clasp::EventHandler |
struct | Clasp::identity< T > |
An unary operator function that simply returns its argument. More... | |
struct | Clasp::IsNull |
struct | Clasp::LogEvent |
A log message. More... | |
struct | Clasp::ModelEvent |
Event type for reporting models via generic event handler. More... | |
struct | Clasp::PairContains< T > |
A predicate that checks whether a std::pair contains a certain value. More... | |
struct | Clasp::Range< T > |
struct | Clasp::ReleaseObject |
An unary operator function that calls p->release() More... | |
class | Clasp::RNG |
A very simple but fast Pseudo-random number generator. More... | |
struct | Clasp::select1st< P > |
An unary operator function that returns the first value of a std::pair. More... | |
struct | Clasp::select2nd< P > |
An unary operator function that returns the second value of a std::pair. More... | |
class | Clasp::SingleOwnerPtr< T, D > |
struct | Clasp::SolveEvent< T > |
Base class for solving related events. More... | |
Namespaces | |
namespace | Clasp |
Functions | |
uint64 | Clasp::choose (unsigned n, unsigned k) |
template<class OP1 , class OP2 > | |
compose_1< OP1, OP2 > | Clasp::compose1 (const OP1 &op1, const OP2 &op2) |
template<class OP1 , class OP2 , class OP3 > | |
compose_2_1< OP1, OP2, OP3 > | Clasp::compose2 (const OP1 &op1, const OP2 &op2, const OP3 &op3) |
template<class OP1 , class OP2 , class OP3 > | |
compose_2_2< OP1, OP2, OP3 > | Clasp::compose22 (const OP1 &op1, const OP2 &op2, const OP3 &op3) |
template<class ToType , class EvType > | |
const ToType * | Clasp::event_cast (const EvType &ev) |
unsigned | Clasp::hashId (unsigned key) |
LogEvent | Clasp::message (Event::Subsystem sys, const char *what, const Solver *s=0) |
Creates a low priority message event. | |
template<class C , class P > | |
void | Clasp::remove_first_if (C &cont, const P &p) |
Removes from the container c the first occurrence of a value v for which p(v) returns true. | |
LogEvent | Clasp::warning (Event::Subsystem sys, const char *what, const Solver *s=0) |
Creates a high priority warning event. |
Some utility types and functions.
Definition in file misc_types.h.