SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Data Structures | Functions
smtrat::cadcells::operators::properties Namespace Reference

Contains all properties that are stored in a derivation. More...

Data Structures

struct  poly_sgn_inv
 
struct  poly_irreducible_sgn_inv
 
struct  poly_semi_sgn_inv
 
struct  poly_irreducible_semi_sgn_inv
 
struct  poly_ord_inv
 
struct  poly_del
 
struct  poly_proj_del
 
struct  cell_connected
 
struct  poly_ord_inv_base
 
struct  root_ordering_holds
 

Functions

bool operator== (const poly_sgn_inv &lhs, const poly_sgn_inv &rhs)
 
bool operator< (const poly_sgn_inv &lhs, const poly_sgn_inv &rhs)
 
std::ostream & operator<< (std::ostream &os, const poly_sgn_inv &data)
 
bool operator== (const poly_irreducible_sgn_inv &lhs, const poly_irreducible_sgn_inv &rhs)
 
bool operator< (const poly_irreducible_sgn_inv &lhs, const poly_irreducible_sgn_inv &rhs)
 
std::ostream & operator<< (std::ostream &os, const poly_irreducible_sgn_inv &data)
 
bool operator== (const poly_semi_sgn_inv &lhs, const poly_semi_sgn_inv &rhs)
 
bool operator< (const poly_semi_sgn_inv &lhs, const poly_semi_sgn_inv &rhs)
 
std::ostream & operator<< (std::ostream &os, const poly_semi_sgn_inv &data)
 
bool operator== (const poly_irreducible_semi_sgn_inv &lhs, const poly_irreducible_semi_sgn_inv &rhs)
 
bool operator< (const poly_irreducible_semi_sgn_inv &lhs, const poly_irreducible_semi_sgn_inv &rhs)
 
std::ostream & operator<< (std::ostream &os, const poly_irreducible_semi_sgn_inv &data)
 
bool operator== (const poly_ord_inv &lhs, const poly_ord_inv &rhs)
 
bool operator< (const poly_ord_inv &lhs, const poly_ord_inv &rhs)
 
std::ostream & operator<< (std::ostream &os, const poly_ord_inv &data)
 
bool operator== (const poly_del &lhs, const poly_del &rhs)
 
bool operator< (const poly_del &lhs, const poly_del &rhs)
 
std::ostream & operator<< (std::ostream &os, const poly_del &data)
 
bool operator== (const poly_proj_del &lhs, const poly_proj_del &rhs)
 
bool operator< (const poly_proj_del &lhs, const poly_proj_del &rhs)
 
std::ostream & operator<< (std::ostream &os, const poly_proj_del &data)
 
bool operator== (const cell_connected &lhs, const cell_connected &rhs)
 
bool operator< (const cell_connected &lhs, const cell_connected &rhs)
 
std::ostream & operator<< (std::ostream &os, const cell_connected &data)
 
bool operator== (const poly_ord_inv_base &lhs, const poly_ord_inv_base &rhs)
 
bool operator< (const poly_ord_inv_base &lhs, const poly_ord_inv_base &rhs)
 
std::ostream & operator<< (std::ostream &os, const poly_ord_inv_base &data)
 
bool operator== (const root_ordering_holds &lhs, const root_ordering_holds &rhs)
 
bool operator< (const root_ordering_holds &lhs, const root_ordering_holds &rhs)
 
std::ostream & operator<< (std::ostream &os, const root_ordering_holds &data)
 
auto get_level (const datastructures::IndexedRootOrdering &ordering)
 
auto get_level (const datastructures::RootFunction &function)
 
template<typename P >
void insert_root_ordering_holds (P &deriv, const datastructures::IndexedRootOrdering &ordering)
 
template<typename P >
bool contains_root_ordering_holds (P &deriv, const datastructures::IndexedRootOrdering &ordering)
 

Detailed Description

Contains all properties that are stored in a derivation.

Note that not all properties have a representation here as not all of them are stored but resolved directly in the derivation rules.

Function Documentation

◆ contains_root_ordering_holds()

template<typename P >
bool smtrat::cadcells::operators::properties::contains_root_ordering_holds ( P &  deriv,
const datastructures::IndexedRootOrdering &  ordering 
)

Definition at line 49 of file properties_util.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ get_level() [1/2]

auto smtrat::cadcells::operators::properties::get_level ( const datastructures::IndexedRootOrdering &  ordering)
inline

Definition at line 5 of file properties_util.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ get_level() [2/2]

auto smtrat::cadcells::operators::properties::get_level ( const datastructures::RootFunction &  function)
inline

Definition at line 13 of file properties_util.h.

◆ insert_root_ordering_holds()

template<typename P >
void smtrat::cadcells::operators::properties::insert_root_ordering_holds ( P &  deriv,
const datastructures::IndexedRootOrdering &  ordering 
)

Definition at line 22 of file properties_util.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ operator<() [1/10]

bool smtrat::cadcells::operators::properties::operator< ( const cell_connected &  lhs,
const cell_connected &  rhs 
)
inline

Definition at line 173 of file properties.h.

◆ operator<() [2/10]

bool smtrat::cadcells::operators::properties::operator< ( const poly_del &  lhs,
const poly_del &  rhs 
)
inline

Definition at line 131 of file properties.h.

◆ operator<() [3/10]

bool smtrat::cadcells::operators::properties::operator< ( const poly_irreducible_semi_sgn_inv &  lhs,
const poly_irreducible_semi_sgn_inv &  rhs 
)
inline

Definition at line 89 of file properties.h.

◆ operator<() [4/10]

bool smtrat::cadcells::operators::properties::operator< ( const poly_irreducible_sgn_inv &  lhs,
const poly_irreducible_sgn_inv &  rhs 
)
inline

Definition at line 47 of file properties.h.

◆ operator<() [5/10]

bool smtrat::cadcells::operators::properties::operator< ( const poly_ord_inv &  lhs,
const poly_ord_inv &  rhs 
)
inline

Definition at line 110 of file properties.h.

◆ operator<() [6/10]

bool smtrat::cadcells::operators::properties::operator< ( const poly_ord_inv_base &  lhs,
const poly_ord_inv_base &  rhs 
)
inline

Definition at line 194 of file properties.h.

◆ operator<() [7/10]

bool smtrat::cadcells::operators::properties::operator< ( const poly_proj_del &  lhs,
const poly_proj_del &  rhs 
)
inline

Definition at line 152 of file properties.h.

◆ operator<() [8/10]

bool smtrat::cadcells::operators::properties::operator< ( const poly_semi_sgn_inv &  lhs,
const poly_semi_sgn_inv &  rhs 
)
inline

Definition at line 68 of file properties.h.

◆ operator<() [9/10]

bool smtrat::cadcells::operators::properties::operator< ( const poly_sgn_inv &  lhs,
const poly_sgn_inv &  rhs 
)
inline

Definition at line 26 of file properties.h.

◆ operator<() [10/10]

bool smtrat::cadcells::operators::properties::operator< ( const root_ordering_holds &  lhs,
const root_ordering_holds &  rhs 
)
inline

Definition at line 227 of file properties.h.

Here is the call graph for this function:

◆ operator<<() [1/10]

std::ostream& smtrat::cadcells::operators::properties::operator<< ( std::ostream &  os,
const cell_connected &  data 
)
inline

Definition at line 176 of file properties.h.

◆ operator<<() [2/10]

std::ostream& smtrat::cadcells::operators::properties::operator<< ( std::ostream &  os,
const poly_del &  data 
)
inline

Definition at line 134 of file properties.h.

◆ operator<<() [3/10]

std::ostream& smtrat::cadcells::operators::properties::operator<< ( std::ostream &  os,
const poly_irreducible_semi_sgn_inv &  data 
)
inline

Definition at line 92 of file properties.h.

◆ operator<<() [4/10]

std::ostream& smtrat::cadcells::operators::properties::operator<< ( std::ostream &  os,
const poly_irreducible_sgn_inv &  data 
)
inline

Definition at line 50 of file properties.h.

◆ operator<<() [5/10]

std::ostream& smtrat::cadcells::operators::properties::operator<< ( std::ostream &  os,
const poly_ord_inv &  data 
)
inline

Definition at line 113 of file properties.h.

◆ operator<<() [6/10]

std::ostream& smtrat::cadcells::operators::properties::operator<< ( std::ostream &  os,
const poly_ord_inv_base &  data 
)
inline

Definition at line 197 of file properties.h.

◆ operator<<() [7/10]

std::ostream& smtrat::cadcells::operators::properties::operator<< ( std::ostream &  os,
const poly_proj_del &  data 
)
inline

Definition at line 155 of file properties.h.

◆ operator<<() [8/10]

std::ostream& smtrat::cadcells::operators::properties::operator<< ( std::ostream &  os,
const poly_semi_sgn_inv &  data 
)
inline

Definition at line 71 of file properties.h.

◆ operator<<() [9/10]

std::ostream& smtrat::cadcells::operators::properties::operator<< ( std::ostream &  os,
const poly_sgn_inv &  data 
)
inline

Definition at line 29 of file properties.h.

◆ operator<<() [10/10]

std::ostream& smtrat::cadcells::operators::properties::operator<< ( std::ostream &  os,
const root_ordering_holds &  data 
)
inline

Definition at line 230 of file properties.h.

◆ operator==() [1/10]

bool smtrat::cadcells::operators::properties::operator== ( const cell_connected &  lhs,
const cell_connected &  rhs 
)
inline

Definition at line 170 of file properties.h.

◆ operator==() [2/10]

bool smtrat::cadcells::operators::properties::operator== ( const poly_del &  lhs,
const poly_del &  rhs 
)
inline

Definition at line 128 of file properties.h.

◆ operator==() [3/10]

bool smtrat::cadcells::operators::properties::operator== ( const poly_irreducible_semi_sgn_inv &  lhs,
const poly_irreducible_semi_sgn_inv &  rhs 
)
inline

Definition at line 86 of file properties.h.

◆ operator==() [4/10]

bool smtrat::cadcells::operators::properties::operator== ( const poly_irreducible_sgn_inv &  lhs,
const poly_irreducible_sgn_inv &  rhs 
)
inline

Definition at line 44 of file properties.h.

◆ operator==() [5/10]

bool smtrat::cadcells::operators::properties::operator== ( const poly_ord_inv &  lhs,
const poly_ord_inv &  rhs 
)
inline

Definition at line 107 of file properties.h.

◆ operator==() [6/10]

bool smtrat::cadcells::operators::properties::operator== ( const poly_ord_inv_base &  lhs,
const poly_ord_inv_base &  rhs 
)
inline

Definition at line 191 of file properties.h.

◆ operator==() [7/10]

bool smtrat::cadcells::operators::properties::operator== ( const poly_proj_del &  lhs,
const poly_proj_del &  rhs 
)
inline

Definition at line 149 of file properties.h.

◆ operator==() [8/10]

bool smtrat::cadcells::operators::properties::operator== ( const poly_semi_sgn_inv &  lhs,
const poly_semi_sgn_inv &  rhs 
)
inline

Definition at line 65 of file properties.h.

◆ operator==() [9/10]

bool smtrat::cadcells::operators::properties::operator== ( const poly_sgn_inv &  lhs,
const poly_sgn_inv &  rhs 
)
inline

Definition at line 23 of file properties.h.

◆ operator==() [10/10]

bool smtrat::cadcells::operators::properties::operator== ( const root_ordering_holds &  lhs,
const root_ordering_holds &  rhs 
)
inline

Definition at line 224 of file properties.h.

Here is the call graph for this function: