SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields
smtrat::covering_ng::ParameterTree Struct Reference

#include <types.h>

Collaboration diagram for smtrat::covering_ng::ParameterTree:
Collaboration graph
[legend]

Public Member Functions

 ParameterTree ()
 
 ParameterTree (bool s)
 
 ParameterTree (const carl::Variable &v, const cadcells::datastructures::SymbolicInterval &i, const cadcells::Assignment &s, std::vector< ParameterTree > &&c)
 
 ParameterTree (std::vector< ParameterTree > &&c)
 
 ParameterTree (boost::tribool st, const carl::Variable &v, const cadcells::datastructures::SymbolicInterval &i, const cadcells::Assignment &s)
 

Data Fields

boost::tribool status
 
std::optional< carl::Variable > variable
 
std::optional< cadcells::datastructures::SymbolicInterval > interval
 
std::optional< cadcells::Assignment > sample
 
std::vector< ParameterTree > children
 

Detailed Description

Definition at line 99 of file types.h.

Constructor & Destructor Documentation

◆ ParameterTree() [1/5]

smtrat::covering_ng::ParameterTree::ParameterTree ( )
inline

Definition at line 106 of file types.h.

◆ ParameterTree() [2/5]

smtrat::covering_ng::ParameterTree::ParameterTree ( bool  s)
inline

Definition at line 107 of file types.h.

◆ ParameterTree() [3/5]

smtrat::covering_ng::ParameterTree::ParameterTree ( const carl::Variable &  v,
const cadcells::datastructures::SymbolicInterval &  i,
const cadcells::Assignment &  s,
std::vector< ParameterTree > &&  c 
)
inline

Definition at line 108 of file types.h.

◆ ParameterTree() [4/5]

smtrat::covering_ng::ParameterTree::ParameterTree ( std::vector< ParameterTree > &&  c)
inline

Definition at line 121 of file types.h.

◆ ParameterTree() [5/5]

smtrat::covering_ng::ParameterTree::ParameterTree ( boost::tribool  st,
const carl::Variable &  v,
const cadcells::datastructures::SymbolicInterval &  i,
const cadcells::Assignment &  s 
)
inline

Definition at line 134 of file types.h.

Field Documentation

◆ children

std::vector<ParameterTree> smtrat::covering_ng::ParameterTree::children

Definition at line 104 of file types.h.

◆ interval

std::optional<cadcells::datastructures::SymbolicInterval> smtrat::covering_ng::ParameterTree::interval

Definition at line 102 of file types.h.

◆ sample

std::optional<cadcells::Assignment> smtrat::covering_ng::ParameterTree::sample

Definition at line 103 of file types.h.

◆ status

boost::tribool smtrat::covering_ng::ParameterTree::status

Definition at line 100 of file types.h.

◆ variable

std::optional<carl::Variable> smtrat::covering_ng::ParameterTree::variable

Definition at line 101 of file types.h.

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