smtrat::qe::coverings Namespace Reference

Namespaces
	util

Data Structures
struct	DefaultSettings

Typedefs
using	Settings = DefaultSettings

Functions
std::optional< FormulaT >	qe (const FormulaT &input)

Typedef Documentation

Settings

using smtrat::qe::coverings::Settings = typedef DefaultSettings

Definition at line 20 of file qe.h.

Function Documentation

qe()

std::optional< FormulaT > smtrat::qe::coverings::qe

(

const FormulaT &

input

)

Definition at line 14 of file qe.cpp.

Here is the call graph for this function:

Here is the caller graph for this function: