#include "../datastructures/representation.h"
#include "util.h"
#include "heuristics_cell.h"
#include "heuristics_covering.h"
#include "heuristics_approximation.h"

Include dependency graph for heuristics.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	smtrat::cadcells::representation::cell< H >
	Note: If connected(i) holds, then the indexed root ordering must contain an ordering between the interval bounds. More...

struct	smtrat::cadcells::representation::covering< H >

Namespaces
	smtrat
	Class to create the formulas for axioms.

	smtrat::cadcells
	A framework for sample-based CAD algorithms.

	smtrat::cadcells::representation
	Heuristics for computing representations.

Enumerations
enum	smtrat::cadcells::representation::CellHeuristic { smtrat::cadcells::representation::BIGGEST_CELL , smtrat::cadcells::representation::CHAIN_EQ , smtrat::cadcells::representation::LOWEST_DEGREE_BARRIERS , smtrat::cadcells::representation::LOWEST_DEGREE_BARRIERS_EQ , smtrat::cadcells::representation::BIGGEST_CELL_FILTER , smtrat::cadcells::representation::BIGGEST_CELL_FILTER_ONLY_INDEPENDENT , smtrat::cadcells::representation::LOWEST_DEGREE_BARRIERS_FILTER , smtrat::cadcells::representation::LOWEST_DEGREE_BARRIERS_FILTER_ONLY_INDEPENDENT , smtrat::cadcells::representation::BIGGEST_CELL_APPROXIMATION , smtrat::cadcells::representation::BIGGEST_CELL_PDEL , smtrat::cadcells::representation::LOWEST_DEGREE_BARRIERS_PDEL , smtrat::cadcells::representation::LOWEST_DEGREE_BARRIERS_CACHE_GLOBAL }

enum	smtrat::cadcells::representation::CoveringHeuristic { smtrat::cadcells::representation::BIGGEST_CELL_COVERING , smtrat::cadcells::representation::CHAIN_COVERING , smtrat::cadcells::representation::BIGGEST_CELL_COVERING_FILTER , smtrat::cadcells::representation::BIGGEST_CELL_COVERING_FILTER_ONLY_INDEPENDENT , smtrat::cadcells::representation::BIGGEST_CELL_COVERING_MIN_TDEG , smtrat::cadcells::representation::BIGGEST_CELL_COVERING_PDEL , smtrat::cadcells::representation::LDB_COVERING , smtrat::cadcells::representation::LDB_COVERING_CACHE , smtrat::cadcells::representation::LDB_COVERING_CACHE_GLOBAL }

Functions
std::ostream &	smtrat::cadcells::representation::operator<< (std::ostream &os, CellHeuristic heuristic)

std::ostream &	smtrat::cadcells::representation::operator<< (std::ostream &os, CoveringHeuristic heuristic)

Variables
static const char *	smtrat::cadcells::representation::CellHeuristicStrings [] = { "BIGGEST_CELL", "CHAIN_EQ", "LOWEST_DEGREE_BARRIERS", "LOWEST_DEGREE_BARRIERS_EQ", "BIGGEST_CELL_FILTER", "BIGGEST_CELL_FILTER_ONLY_INDEPENDENT", "LOWEST_DEGREE_BARRIERS_FILTER", "LOWEST_DEGREE_BARRIERS_FILTER_ONLY_INDEPENDENT", "BIGGEST_CELL_PDEL", "LOWEST_DEGREE_BARRIERS_PDEL", "LOWEST_DEGREE_BARRIERS_CACHE_GLOBAL" }

static const char *	smtrat::cadcells::representation::CoveringHeuristicStrings [] = { "BIGGEST_CELL_COVERING", "CHAIN_COVERING", "BIGGEST_CELL_COVERING_FILTER", "BIGGEST_CELL_COVERING_FILTER_ONLY_INDEPENDENT", "BIGGEST_CELL_COVERING_MIN_TDEG", "BIGGEST_CELL_COVERING_PDEL", "LDB_COVERING", "LDB_COVERING_CACHE", "LDB_COVERING_CACHE_GLOBAL" }

Data Structures

Namespaces

Enumerations

Functions

Variables