FullParallelExplanation.h File Reference

#include <thread>
#include <unistd.h>
#include "../utils/Bookkeeping.h"
#include <smtrat-common/smtrat-common.h>

Include dependency graph for FullParallelExplanation.h:

Go to the source code of this file.

Data Structures
struct	smtrat::mcsat::FullParallelExplanation< Backends >
	This explanation executes all given explanation parallel in multiple threads and waits until every single one has finished, returning the result of the first listed explanation. More...

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