Different Classes for Sharing clauses between different processes. More...

Collaboration diagram for Inter-Process Sharing Strategies:

Classes
class	GlobalSharingStrategy
	Base class for global clause sharing strategies across MPI processes. More...

class	AllGatherSharing
	Implements a global sharing strategy using MPI_Allgather for clause exchange. More...

class	GenericGlobalSharing
	Implements a generic global sharing strategy for clause exchange. More...

class	MallobSharing
	Implements a global sharing strategy based on the Mallob algorithm. More...

Detailed Description

Different Classes for Sharing clauses between different processes.