FastParallelExplanation.h File Reference

#include <boost/interprocess/managed_shared_memory.hpp>
#include <boost/interprocess/containers/vector.hpp>
#include <boost/interprocess/allocators/allocator.hpp>
#include <unistd.h>
#include "../utils/Bookkeeping.h"
#include <smtrat-common/smtrat-common.h>

Include dependency graph for FastParallelExplanation.h:

Go to the source code of this file.

Data Structures
struct	smtrat::mcsat::FastParallelExplanation< Backends >
	This explanation executes all given explanation in parallel processes and waits for the fastest explanation, returning the fastest delivered explanation, terminating all other parallel processes. More...

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::mcsat

Typedefs
typedef allocator< std::optional< Explanation >, managed_shared_memory::segment_manager >	smtrat::mcsat::ShmemAllocator
typedef vector< std::optional< Explanation >, ShmemAllocator >	smtrat::mcsat::SharedVector