clingo
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups
Classes | Functions
Miscellaneous and Internal Stuff not specific to clasp.

Classes

class  Clasp::RNG
 A very simple but fast Pseudo-random number generator. More...
 
struct  Clasp::DestroyObject
 An unary operator function that calls p->destroy() More...
 
struct  Clasp::DeleteObject
 An unary operator function that calls delete p. More...
 
struct  Clasp::ReleaseObject
 An unary operator function that calls p->release() More...
 
struct  Clasp::IsNull
 
struct  Clasp::PairContains< T >
 A predicate that checks whether a std::pair contains a certain value. More...
 
struct  Clasp::identity< T >
 An unary operator function that simply returns its argument. 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...
 
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...
 
class  Clasp::SingleOwnerPtr< T, D >
 
struct  Clasp::Range< T >
 

Functions

unsigned Clasp::hashId (unsigned key)
 
uint64 Clasp::choose (unsigned n, unsigned k)
 
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. More...
 
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)
 

Detailed Description

Function Documentation

uint64 Clasp::choose ( unsigned  n,
unsigned  k 
)
inline
template<class OP1 , class OP2 >
compose_1<OP1, OP2> Clasp::compose1 ( const OP1 &  op1,
const OP2 &  op2 
)
inline

A template helper function used to construct objects of type compose_1, where the component types are based on the data types passed as parameters.

template<class OP1 , class OP2 , class OP3 >
compose_2_1<OP1, OP2,OP3> Clasp::compose2 ( const OP1 &  op1,
const OP2 &  op2,
const OP3 &  op3 
)
inline

A template helper function used to construct objects of type compose_2_1, where the component types are based on the data types passed as parameters.

template<class OP1 , class OP2 , class OP3 >
compose_2_2<OP1, OP2,OP3> Clasp::compose22 ( const OP1 &  op1,
const OP2 &  op2,
const OP3 &  op3 
)
inline

A template helper function used to construct objects of type compose_2_2, where the component types are based on the data types passed as parameters.

unsigned Clasp::hashId ( unsigned  key)
inline
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.

Precondition
C is a container that provides back() and pop_back()
Note
Removal is implemented by replacing the element to be removed with the back()-element followed by a call to pop_back().