Different Classes for Sharing clauses between different processes. More...
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... | |
Different Classes for Sharing clauses between different processes.