SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields | Friends
smtrat::ICEModule< Settings >::Coefficient Struct Reference

Public Member Functions

 Coefficient ()
 
 Coefficient (Coefficient &&c)
 
 Coefficient (const Coefficient &c)
 
Coefficient & operator= (const Coefficient &c)
 
Coefficient & operator+= (const Coefficient &c)
 

Data Fields

Rational r
 
bool strict
 

Friends

std::ostream & operator<< (std::ostream &os, const Coefficient &c)
 

Detailed Description

template<typename Settings>
struct smtrat::ICEModule< Settings >::Coefficient

Definition at line 24 of file ICEModule.h.

Constructor & Destructor Documentation

◆ Coefficient() [1/3]

template<typename Settings >
smtrat::ICEModule< Settings >::Coefficient::Coefficient ( )
inline

Definition at line 27 of file ICEModule.h.

◆ Coefficient() [2/3]

template<typename Settings >
smtrat::ICEModule< Settings >::Coefficient::Coefficient ( Coefficient &&  c)
inline

Definition at line 28 of file ICEModule.h.

◆ Coefficient() [3/3]

template<typename Settings >
smtrat::ICEModule< Settings >::Coefficient::Coefficient ( const Coefficient &  c)
inline

Definition at line 29 of file ICEModule.h.

Member Function Documentation

◆ operator+=()

template<typename Settings >
Coefficient& smtrat::ICEModule< Settings >::Coefficient::operator+= ( const Coefficient &  c)
inline

Definition at line 35 of file ICEModule.h.

◆ operator=()

template<typename Settings >
Coefficient& smtrat::ICEModule< Settings >::Coefficient::operator= ( const Coefficient &  c)
inline

Definition at line 30 of file ICEModule.h.

Friends And Related Function Documentation

◆ operator<<

template<typename Settings >
std::ostream& operator<< ( std::ostream &  os,
const Coefficient &  c 
)
friend

Definition at line 40 of file ICEModule.h.

Field Documentation

◆ r

template<typename Settings >
Rational smtrat::ICEModule< Settings >::Coefficient::r

Definition at line 25 of file ICEModule.h.

◆ strict

template<typename Settings >
bool smtrat::ICEModule< Settings >::Coefficient::strict

Definition at line 26 of file ICEModule.h.

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