SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields | Friends
smtrat::mcsat::fm::Bound Struct Reference

#include <ConflictGenerator.h>

Public Member Functions

 Bound (ConstraintT constr, Poly p, Poly q, Rational r, bool neg)
 

Data Fields

ConstraintT constr
 
Poly p
 
Poly q
 
Rational r
 
bool neg
 

Friends

std::ostream & operator<< (std::ostream &os, const Bound &dt)
 

Detailed Description

Definition at line 50 of file ConflictGenerator.h.

Constructor & Destructor Documentation

◆ Bound()

smtrat::mcsat::fm::Bound::Bound ( ConstraintT  constr,
Poly  p,
Poly  q,
Rational  r,
bool  neg 
)
inline

Definition at line 56 of file ConflictGenerator.h.

Friends And Related Function Documentation

◆ operator<<

std::ostream& operator<< ( std::ostream &  os,
const Bound &  dt 
)
friend

Definition at line 60 of file ConflictGenerator.h.

Field Documentation

◆ constr

ConstraintT smtrat::mcsat::fm::Bound::constr

Definition at line 51 of file ConflictGenerator.h.

◆ neg

bool smtrat::mcsat::fm::Bound::neg

Definition at line 55 of file ConflictGenerator.h.

◆ p

Poly smtrat::mcsat::fm::Bound::p

Definition at line 52 of file ConflictGenerator.h.

◆ q

Poly smtrat::mcsat::fm::Bound::q

Definition at line 53 of file ConflictGenerator.h.

◆ r

Rational smtrat::mcsat::fm::Bound::r

Definition at line 54 of file ConflictGenerator.h.

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