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

Collaboration diagram for Clasp::Distributor:

Public Member Functions
	Distributor (const Policy &p)

virtual	~Distributor ()

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

Static Public Member Functions
static uint64	mask (uint32 i)

static uint32	initSet (uint32 sz)

static bool	inSet (uint64 s, uint32 id)

Detailed Description

Base class for distributing learnt knowledge between solvers.

Constructor & Destructor Documentation

Clasp::Distributor::Distributor ( const Policy & p )

explicit

Clasp::Distributor::~Distributor ( )

virtual

static uint32 Clasp::Distributor::initSet ( uint32 sz )

inlinestatic

static bool Clasp::Distributor::inSet	(	uint64	s,
		uint32	id
	)

inlinestatic

bool Clasp::Distributor::isCandidate	(	uint32	size,
		uint32	lbd,
		uint32	type
	)		const

inline

static uint64 Clasp::Distributor::mask ( uint32 i )

inlinestatic

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

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

/Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/clasp/shared_context.h
/Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/src/shared_context.cpp