Base class for distributing learnt knowledge between solvers. More...

Classes
struct	Policy
Public Member Functions
	Distributor (const Policy &p)
bool	isCandidate (uint32 size, uint32 lbd, uint32 type) const
virtual void	publish (const Solver &source, SharedLiterals *lits)=0
virtual uint32	receive (const Solver &in, SharedLiterals **out, uint32 maxOut)=0
virtual	~Distributor ()
Static Public Member Functions
static uint32	initSet (uint32 sz)
static bool	inSet (uint64 s, uint32 id)
static uint64	mask (uint32 i)
Private Member Functions
	Distributor (const Distributor &)
Distributor &	operator= (const Distributor &)
Private Attributes
Policy	policy_

Detailed Description

Base class for distributing learnt knowledge between solvers.

Definition at line 352 of file shared_context.h.

Constructor & Destructor Documentation

Clasp::Distributor::Distributor ( const Policy & p ) [explicit]

Definition at line 827 of file shared_context.cpp.

Clasp::Distributor::~Distributor ( ) [virtual]

Definition at line 828 of file shared_context.cpp.

Clasp::Distributor::Distributor ( const Distributor & ) [private]

static uint32 Clasp::Distributor::initSet ( uint32 sz ) [inline, static]

Definition at line 368 of file shared_context.h.

static bool Clasp::Distributor::inSet	(	uint64	s,
		uint32	id
	)		`[inline, static]`

Definition at line 369 of file shared_context.h.

bool Clasp::Distributor::isCandidate	(	uint32	size,
		uint32	lbd,
		uint32	type
	)		const `[inline]`

Definition at line 372 of file shared_context.h.

static uint64 Clasp::Distributor::mask ( uint32 i ) [inline, static]

Definition at line 367 of file shared_context.h.

Distributor& Clasp::Distributor::operator= ( const Distributor & ) [private]

virtual void Clasp::Distributor::publish	(	const Solver &	source,
		SharedLiterals *	lits
	)		`[pure virtual]`

virtual uint32 Clasp::Distributor::receive	(	const Solver &	in,
		SharedLiterals **	out,
		uint32	maxOut
	)		`[pure virtual]`

Definition at line 380 of file shared_context.h.

The documentation for this class was generated from the following files: