Sharing

Different Classes for Sharing clauses between solvers and other type of entities. More...

Collaboration diagram for Sharing:

Topics
	Inter-Process Sharing Strategies
	Different Classes for Sharing clauses between different processes.
	Intra-Process Sharing Strategies
	Different Classes for Sharing clauses between different threads in the same process.

Classes
class	Sharer
	A sharer is a thread responsible for executing a list of SharingStrategies. More...
class	SharingEntity
	A base class representing entities that can exchange clauses between themselves. More...
struct	SharingStatistics
	Local Sharing statistics.Sharing statistics. More...
class	SharingStrategy
	SharingStrategy class, inheriting from SharingEntity. More...

Detailed Description

Different Classes for Sharing clauses between solvers and other type of entities.