smtrat::cadcells::operators::Mccallum< Settings > Struct Template Reference

#include <operator_mccallum.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::cell_connected >

Static Public Member Functions
static bool	project_basic_properties (datastructures::SampledDerivation< PropertiesSet > &deriv)
	Project basic cell properties. More...
static void	delineate_properties (datastructures::SampledDerivation< PropertiesSet > &deriv)
	Delineate properties. More...
static bool	project_cell_properties (datastructures::CellRepresentation< PropertiesSet > &repr)
	Project cell properties that depend on a delineation. More...
static bool	project_covering_properties (datastructures::CoveringRepresentation< PropertiesSet > &repr)
	Project covering properties. More...

Static Public Attributes
static constexpr bool	filter = false

Detailed Description

template<typename Settings>
struct smtrat::cadcells::operators::Mccallum< Settings >

Definition at line 22 of file operator_mccallum.h.

Member Typedef Documentation

PropertiesSet

template<typename Settings >

using smtrat::cadcells::operators::Mccallum< Settings >::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::cell_connected>

Definition at line 26 of file operator_mccallum.h.

Member Function Documentation

delineate_properties()

template<typename Settings >

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

inlinestatic

Delineate properties.

Definition at line 57 of file operator_mccallum.h.

Here is the call graph for this function:

project_basic_properties()

template<typename Settings >

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

inlinestatic

Project basic cell properties.

Returns false iff the given operator is incomplete and cannot cover the given case (i.e. on nullification with McCallum).

Definition at line 33 of file operator_mccallum.h.

Here is the call graph for this function:

project_cell_properties()

template<typename Settings >

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

inlinestatic

Project cell properties that depend on a delineation.

Definition at line 67 of file operator_mccallum.h.

Here is the call graph for this function:

Here is the caller graph for this function:

project_covering_properties()

template<typename Settings >

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

inlinestatic

Project covering properties.

Definition at line 109 of file operator_mccallum.h.

Here is the call graph for this function:

Field Documentation

filter

template<typename Settings >

constexpr bool smtrat::cadcells::operators::Mccallum< Settings >::filter = false

staticconstexpr

Definition at line 24 of file operator_mccallum.h.

---

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

• smtrat-cadcells/operators/operator_mccallum.h