smtrat::internal::CoveringNGSettings::formula_evaluation Struct Reference

#include <PPBooleanExploration.h>

Public Types
using	Type = covering_ng::formula::GraphEvaluation
using	Type = covering_ng::formula::GraphEvaluation
using	Type = covering_ng::formula::GraphEvaluation
using	Type = covering_ng::formula::GraphEvaluation
using	Type = covering_ng::formula::GraphEvaluation
using	Type = covering_ng::formula::GraphEvaluation
using	Type = covering_ng::formula::GraphEvaluation
using	Type = covering_ng::formula::GraphEvaluation
using	Type = covering_ng::formula::GraphEvaluation
using	Type = covering_ng::formula::GraphEvaluation
using	Type = covering_ng::formula::GraphEvaluation
using	Type = covering_ng::formula::GraphEvaluation
using	Type = covering_ng::formula::GraphEvaluation
using	Type = covering_ng::formula::GraphEvaluation
using	Type = covering_ng::formula::GraphEvaluation
using	Type = covering_ng::formula::GraphEvaluation
using	Type = covering_ng::formula::GraphEvaluation

Static Public Member Functions
static auto	create (cadcells::datastructures::Projections &proj)
static auto	create (cadcells::datastructures::Projections &proj)
static auto	create (cadcells::datastructures::Projections &proj)
static auto	create (cadcells::datastructures::Projections &proj)
static auto	create (cadcells::datastructures::Projections &proj)
static auto	create (cadcells::datastructures::Projections &proj)
static auto	create (cadcells::datastructures::Projections &proj)
static auto	create (cadcells::datastructures::Projections &proj)
static auto	create (cadcells::datastructures::Projections &proj)
static auto	create (cadcells::datastructures::Projections &proj)
static auto	create (cadcells::datastructures::Projections &proj)
static auto	create (cadcells::datastructures::Projections &proj)
static auto	create (cadcells::datastructures::Projections &proj)
static auto	create (cadcells::datastructures::Projections &proj)
static auto	create (cadcells::datastructures::Projections &proj)
static auto	create (cadcells::datastructures::Projections &proj)
static auto	create (cadcells::datastructures::Projections &proj)

Detailed Description

Definition at line 14 of file PPBooleanExploration.h.

Member Typedef Documentation

Type [1/17]

using smtrat::internal::CoveringNGSettings::formula_evaluation::Type = covering_ng::formula::GraphEvaluation

Definition at line 15 of file PPBooleanExploration.h.

Type [2/17]

using smtrat::internal::CoveringNGSettings::formula_evaluation::Type = covering_ng::formula::GraphEvaluation

Definition at line 16 of file PPBooleanExplorationOnlyBool.h.

Type [3/17]

using smtrat::internal::CoveringNGSettings::formula_evaluation::Type = covering_ng::formula::GraphEvaluation

Definition at line 16 of file PPBooleanExplorationWithBool.h.

Type [4/17]

using smtrat::internal::CoveringNGSettings::formula_evaluation::Type = covering_ng::formula::GraphEvaluation

Definition at line 15 of file PPBooleanOff.h.

Type [5/17]

using smtrat::internal::CoveringNGSettings::formula_evaluation::Type = covering_ng::formula::GraphEvaluation

Definition at line 15 of file PPBooleanPartialPropagationSotd.h.

Type [6/17]

using smtrat::internal::CoveringNGSettings::formula_evaluation::Type = covering_ng::formula::GraphEvaluation

Definition at line 15 of file PPBooleanPartialPropagationTdeg.h.

Type [7/17]

using smtrat::internal::CoveringNGSettings::formula_evaluation::Type = covering_ng::formula::GraphEvaluation

Definition at line 15 of file PPBooleanPropagation.h.

Type [8/17]

using smtrat::internal::CoveringNGSettings::formula_evaluation::Type = covering_ng::formula::GraphEvaluation

Definition at line 15 of file PPImplicantsLevelSize.h.

Type [9/17]

using smtrat::internal::CoveringNGSettings::formula_evaluation::Type = covering_ng::formula::GraphEvaluation

Definition at line 15 of file PPImplicantsLevelSotd.h.

Type [10/17]

using smtrat::internal::CoveringNGSettings::formula_evaluation::Type = covering_ng::formula::GraphEvaluation

Definition at line 15 of file PPImplicantsPickeringTotal.h.

Type [11/17]

using smtrat::internal::CoveringNGSettings::formula_evaluation::Type = covering_ng::formula::GraphEvaluation

Definition at line 15 of file PPImplicantsSizeOnly.h.

Type [12/17]

using smtrat::internal::CoveringNGSettings::formula_evaluation::Type = covering_ng::formula::GraphEvaluation

Definition at line 15 of file PPImplicantsSotd.h.

Type [13/17]

using smtrat::internal::CoveringNGSettings::formula_evaluation::Type = covering_ng::formula::GraphEvaluation

Definition at line 15 of file PPImplicantsSotdReverse.h.

Type [14/17]

using smtrat::internal::CoveringNGSettings::formula_evaluation::Type = covering_ng::formula::GraphEvaluation

Definition at line 15 of file PPImplicantsTdeg.h.

Type [15/17]

using smtrat::internal::CoveringNGSettings::formula_evaluation::Type = covering_ng::formula::GraphEvaluation

Definition at line 15 of file PPImplicantsVars.h.

Type [16/17]

using smtrat::internal::CoveringNGSettings::formula_evaluation::Type = covering_ng::formula::GraphEvaluation

Definition at line 16 of file PPImplicantsVarsVarorderSplitting.h.

Type [17/17]

using smtrat::internal::CoveringNGSettings::formula_evaluation::Type = covering_ng::formula::GraphEvaluation

Definition at line 15 of file PPInprocessingOn.h.

Member Function Documentation

create() [1/17]

static auto smtrat::internal::CoveringNGSettings::formula_evaluation::create ( cadcells::datastructures::Projections &  proj )

inlinestatic

Definition at line 16 of file PPBooleanExploration.h.

Here is the call graph for this function:

create() [2/17]

static auto smtrat::internal::CoveringNGSettings::formula_evaluation::create ( cadcells::datastructures::Projections &  proj )

inlinestatic

Definition at line 17 of file PPBooleanExplorationOnlyBool.h.

Here is the call graph for this function:

create() [3/17]

static auto smtrat::internal::CoveringNGSettings::formula_evaluation::create ( cadcells::datastructures::Projections &  proj )

inlinestatic

Definition at line 17 of file PPBooleanExplorationWithBool.h.

Here is the call graph for this function:

create() [4/17]

static auto smtrat::internal::CoveringNGSettings::formula_evaluation::create ( cadcells::datastructures::Projections &  proj )

inlinestatic

Definition at line 16 of file PPBooleanOff.h.

Here is the call graph for this function:

create() [5/17]

static auto smtrat::internal::CoveringNGSettings::formula_evaluation::create ( cadcells::datastructures::Projections &  proj )

inlinestatic

Definition at line 16 of file PPBooleanPartialPropagationSotd.h.

Here is the call graph for this function:

create() [6/17]

static auto smtrat::internal::CoveringNGSettings::formula_evaluation::create ( cadcells::datastructures::Projections &  proj )

inlinestatic

Definition at line 16 of file PPBooleanPartialPropagationTdeg.h.

Here is the call graph for this function:

create() [7/17]

static auto smtrat::internal::CoveringNGSettings::formula_evaluation::create ( cadcells::datastructures::Projections &  proj )

inlinestatic

Definition at line 16 of file PPBooleanPropagation.h.

Here is the call graph for this function:

create() [8/17]

static auto smtrat::internal::CoveringNGSettings::formula_evaluation::create ( cadcells::datastructures::Projections &  proj )

inlinestatic

Definition at line 16 of file PPImplicantsLevelSize.h.

Here is the call graph for this function:

create() [9/17]

static auto smtrat::internal::CoveringNGSettings::formula_evaluation::create ( cadcells::datastructures::Projections &  proj )

inlinestatic

Definition at line 16 of file PPImplicantsLevelSotd.h.

Here is the call graph for this function:

create() [10/17]

static auto smtrat::internal::CoveringNGSettings::formula_evaluation::create ( cadcells::datastructures::Projections &  proj )

inlinestatic

Definition at line 16 of file PPImplicantsPickeringTotal.h.

Here is the call graph for this function:

create() [11/17]

static auto smtrat::internal::CoveringNGSettings::formula_evaluation::create ( cadcells::datastructures::Projections &  proj )

inlinestatic

Definition at line 16 of file PPImplicantsSizeOnly.h.

Here is the call graph for this function:

create() [12/17]

static auto smtrat::internal::CoveringNGSettings::formula_evaluation::create ( cadcells::datastructures::Projections &  proj )

inlinestatic

Definition at line 16 of file PPImplicantsSotd.h.

Here is the call graph for this function:

create() [13/17]

static auto smtrat::internal::CoveringNGSettings::formula_evaluation::create ( cadcells::datastructures::Projections &  proj )

inlinestatic

Definition at line 16 of file PPImplicantsSotdReverse.h.

Here is the call graph for this function:

create() [14/17]

static auto smtrat::internal::CoveringNGSettings::formula_evaluation::create ( cadcells::datastructures::Projections &  proj )

inlinestatic

Definition at line 16 of file PPImplicantsTdeg.h.

Here is the call graph for this function:

create() [15/17]

static auto smtrat::internal::CoveringNGSettings::formula_evaluation::create ( cadcells::datastructures::Projections &  proj )

inlinestatic

Definition at line 16 of file PPImplicantsVars.h.

Here is the call graph for this function:

create() [16/17]

static auto smtrat::internal::CoveringNGSettings::formula_evaluation::create ( cadcells::datastructures::Projections &  proj )

inlinestatic

Definition at line 17 of file PPImplicantsVarsVarorderSplitting.h.

Here is the call graph for this function:

create() [17/17]

static auto smtrat::internal::CoveringNGSettings::formula_evaluation::create ( cadcells::datastructures::Projections &  proj )

inlinestatic

Definition at line 16 of file PPInprocessingOn.h.

Here is the call graph for this function:

---

The documentation for this struct was generated from the following files:

• smtrat-strategies/strategies/CoveringNG/PPBooleanExploration.h
• smtrat-strategies/strategies/CoveringNG/PPBooleanExplorationOnlyBool.h
• smtrat-strategies/strategies/CoveringNG/PPBooleanExplorationWithBool.h
• smtrat-strategies/strategies/CoveringNG/PPBooleanOff.h
• smtrat-strategies/strategies/CoveringNG/PPBooleanPartialPropagationSotd.h
• smtrat-strategies/strategies/CoveringNG/PPBooleanPartialPropagationTdeg.h
• smtrat-strategies/strategies/CoveringNG/PPBooleanPropagation.h
• smtrat-strategies/strategies/CoveringNG/PPImplicantsLevelSize.h
• smtrat-strategies/strategies/CoveringNG/PPImplicantsLevelSotd.h
• smtrat-strategies/strategies/CoveringNG/PPImplicantsPickeringTotal.h
• smtrat-strategies/strategies/CoveringNG/PPImplicantsSizeOnly.h
• smtrat-strategies/strategies/CoveringNG/PPImplicantsSotd.h
• smtrat-strategies/strategies/CoveringNG/PPImplicantsSotdReverse.h
• smtrat-strategies/strategies/CoveringNG/PPImplicantsTdeg.h
• smtrat-strategies/strategies/CoveringNG/PPImplicantsVars.h
• smtrat-strategies/strategies/CoveringNG/PPImplicantsVarsVarorderSplitting.h
• smtrat-strategies/strategies/CoveringNG/PPInprocessingOn.h