smtrat::cadcells::operators Namespace Reference

Projection operators. More...

Namespaces
	properties
	Contains all properties that are stored in a derivation.
	rules
	Implementation of derivation rules.

Data Structures
struct	MccallumSettings
struct	MccallumSettingsComplete
struct	Mccallum
struct	MccallumFilteredSettings
struct	MccallumFiltered
struct	MccallumPdel

Detailed Description

Projection operators.

Currently, only the McCallum based operator is implemented.

Relevant projection functions

We refer to algorithms for usage examples.

Cells

• project_basic_properties
• delineate_properties
• project_cell_properties

Coverings

• project_basic_properties (on each cell individually)
• delineate_properties (on each cell individually)
• project_covering_properties

Delineation

• project_basic_properties
• delineate_properties
• project_delineation_properties