SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Types | Static Public Attributes
smtrat::internal::OpSettings Struct Reference

#include <PPFilterBoundsOnly.h>

Inheritance diagram for smtrat::internal::OpSettings:
Inheritance graph
[legend]
Collaboration diagram for smtrat::internal::OpSettings:
Collaboration graph
[legend]

Public Types

enum  DelineationFunction {
  NOOP , ALL , BOUNDS_ONLY , COMPOUND ,
  COMPOUND_PWL , BC
}
 

Static Public Attributes

static constexpr DelineationFunction delineation_function = BOUNDS_ONLY
 
static constexpr bool enable_weak = true
 
static constexpr bool complete = true
 
static constexpr std::size_t only_if_total_degree_below = 11
 
static constexpr bool only_if_no_intersections = true
 
static constexpr bool only_irreducible_resultants = true
 
static constexpr bool only_rational_samples = true
 

Detailed Description

Definition at line 13 of file PPFilterBoundsOnly.h.

Member Enumeration Documentation

◆ DelineationFunction

enum smtrat::cadcells::operators::MccallumFilteredSettings::DelineationFunction
inherited
Enumerator
NOOP 
ALL 
BOUNDS_ONLY 
COMPOUND 
COMPOUND_PWL 
BC 

Definition at line 15 of file operator_mccallum_filtered.h.

Field Documentation

◆ complete

static constexpr bool smtrat::internal::OpSettings::complete = true
staticconstexpr

Definition at line 16 of file PPFilterBoundsOnlyComplete.h.

◆ delineation_function

static constexpr DelineationFunction smtrat::internal::OpSettings::delineation_function = BOUNDS_ONLY
staticconstexpr

Definition at line 14 of file PPFilterBoundsOnly.h.

◆ enable_weak

static constexpr bool smtrat::internal::OpSettings::enable_weak = true
staticconstexpr

Definition at line 15 of file PPFilterBoundsOnly.h.

◆ only_if_no_intersections

constexpr bool smtrat::internal::OpSettings::only_if_no_intersections = true
staticconstexpr

Definition at line 15 of file BCIntersect.h.

◆ only_if_total_degree_below

static constexpr std::size_t smtrat::internal::OpSettings::only_if_total_degree_below = 11
staticconstexpr

Definition at line 15 of file BCDeg10.h.

◆ only_irreducible_resultants

static constexpr bool smtrat::internal::OpSettings::only_irreducible_resultants = true
staticconstexpr

Definition at line 15 of file BCIrred.h.

◆ only_rational_samples

constexpr bool smtrat::internal::OpSettings::only_rational_samples = true
staticconstexpr

Definition at line 15 of file BCRational.h.

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