smtrat::cadcells::operators::MccallumPdel Struct Reference

#include <operator_mccallum_pdel.h>

Public Types
using	PropertiesSet = datastructures::PropertiesT< properties::poly_sgn_inv, properties::poly_irreducible_sgn_inv, properties::poly_semi_sgn_inv, properties::poly_ord_inv, properties::poly_del, properties::poly_proj_del, properties::cell_connected >

Static Public Member Functions
static bool	project_basic_properties (datastructures::SampledDerivation< PropertiesSet > &deriv)
static void	delineate_properties (datastructures::SampledDerivation< PropertiesSet > &deriv)
static bool	project_cell_properties (datastructures::CellRepresentation< PropertiesSet > &repr)
static bool	project_covering_properties (datastructures::CoveringRepresentation< PropertiesSet > &repr)

Static Public Attributes
static constexpr bool	filter = false

Detailed Description

Definition at line 14 of file operator_mccallum_pdel.h.

Member Typedef Documentation

PropertiesSet

using smtrat::cadcells::operators::MccallumPdel::PropertiesSet = datastructures::PropertiesT<properties::poly_sgn_inv,properties::poly_irreducible_sgn_inv,properties::poly_semi_sgn_inv,properties::poly_ord_inv,properties::poly_del,properties::poly_proj_del,properties::cell_connected>

Definition at line 18 of file operator_mccallum_pdel.h.

Member Function Documentation

delineate_properties()

static void smtrat::cadcells::operators::MccallumPdel::delineate_properties ( datastructures::SampledDerivation< PropertiesSet > &  deriv )

inlinestatic

Definition at line 40 of file operator_mccallum_pdel.h.

Here is the call graph for this function:

project_basic_properties()

static bool smtrat::cadcells::operators::MccallumPdel::project_basic_properties ( datastructures::SampledDerivation< PropertiesSet > &  deriv )

inlinestatic

Definition at line 20 of file operator_mccallum_pdel.h.

Here is the call graph for this function:

project_cell_properties()

static bool smtrat::cadcells::operators::MccallumPdel::project_cell_properties ( datastructures::CellRepresentation< PropertiesSet > &  repr )

inlinestatic

Definition at line 47 of file operator_mccallum_pdel.h.

Here is the call graph for this function:

Here is the caller graph for this function:

project_covering_properties()

static bool smtrat::cadcells::operators::MccallumPdel::project_covering_properties ( datastructures::CoveringRepresentation< PropertiesSet > &  repr )

inlinestatic

Definition at line 86 of file operator_mccallum_pdel.h.

Here is the call graph for this function:

Field Documentation

filter

constexpr bool smtrat::cadcells::operators::MccallumPdel::filter = false

staticconstexpr

Definition at line 16 of file operator_mccallum_pdel.h.

---

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

• smtrat-cadcells/operators/operator_mccallum_pdel.h