SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Data Fields
smtrat::cadcells::datastructures::detail::AssignmentProperties Struct Reference

#include <projections.h>

Collaboration diagram for smtrat::cadcells::datastructures::detail::AssignmentProperties:
Collaboration graph
[legend]

Data Fields

std::map< PolyRef, carl::RealRootsResult< RAN > > real_roots
 
std::map< PolyRef, bool > is_zero
 

Detailed Description

Definition at line 35 of file projections.h.

Field Documentation

◆ is_zero

std::map<PolyRef, bool> smtrat::cadcells::datastructures::detail::AssignmentProperties::is_zero

Definition at line 37 of file projections.h.

◆ real_roots

std::map<PolyRef, carl::RealRootsResult<RAN> > smtrat::cadcells::datastructures::detail::AssignmentProperties::real_roots

Definition at line 36 of file projections.h.

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