SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields | Friends
smtrat::ICEModule< Settings >::EdgeProperty Struct Reference
Collaboration diagram for smtrat::ICEModule< Settings >::EdgeProperty:
Collaboration graph
[legend]

Public Member Functions

 EdgeProperty (const Coefficient &c, const FormulaT &con)
 

Data Fields

Coefficient coeff
 
FormulaT constraint
 

Friends

std::ostream & operator<< (std::ostream &os, const EdgeProperty &ep)
 

Detailed Description

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

Definition at line 46 of file ICEModule.h.

Constructor & Destructor Documentation

◆ EdgeProperty()

template<typename Settings >
smtrat::ICEModule< Settings >::EdgeProperty::EdgeProperty ( const Coefficient &  c,
const FormulaT &  con 
)
inline

Definition at line 49 of file ICEModule.h.

Friends And Related Function Documentation

◆ operator<<

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

Definition at line 50 of file ICEModule.h.

Field Documentation

◆ coeff

template<typename Settings >
Coefficient smtrat::ICEModule< Settings >::EdgeProperty::coeff

Definition at line 47 of file ICEModule.h.

◆ constraint

template<typename Settings >
FormulaT smtrat::ICEModule< Settings >::EdgeProperty::constraint

Definition at line 48 of file ICEModule.h.

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