SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Types | Static Public Member Functions
smtrat::qe::coverings::DefaultSettings::formula_evaluation Struct Reference

#include <Settings.h>

Public Types

using Type = covering_ng::formula::GraphEvaluation
 

Static Public Member Functions

static auto create (cadcells::datastructures::Projections &proj)
 

Detailed Description

Definition at line 20 of file Settings.h.

Member Typedef Documentation

◆ Type

using smtrat::qe::coverings::DefaultSettings::formula_evaluation::Type = covering_ng::formula::GraphEvaluation

Definition at line 21 of file Settings.h.

Member Function Documentation

◆ create()

static auto smtrat::qe::coverings::DefaultSettings::formula_evaluation::create ( cadcells::datastructures::Projections &  proj)
inlinestatic

Definition at line 22 of file Settings.h.

Here is the call graph for this function:
Here is the caller graph for this function:
The documentation for this struct was generated from the following file: