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

#include <CoveringNGSettings.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 29 of file CoveringNGSettings.h.

Member Typedef Documentation

◆ Type

using smtrat::CoveringNGSettingsDefault::formula_evaluation::Type = covering_ng::formula::GraphEvaluation

Definition at line 30 of file CoveringNGSettings.h.

Member Function Documentation

◆ create()

static auto smtrat::CoveringNGSettingsDefault::formula_evaluation::create ( cadcells::datastructures::Projections &  proj)
inlinestatic

Definition at line 31 of file CoveringNGSettings.h.

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