MAiNGO
intervalLibrary.h File Reference
#include "mcfilib.hpp"
#include "ffunc.hpp"
#include "mccormick.hpp"
#include "vmccormick.hpp"

Go to the source code of this file.

Typedefs

typedef filib::interval< double, filib::rounding_strategy::native_switched, filib::interval_mode::i_mode_extended > I
 A type definition for an Interval variable using FILIB++ library which handles infinity properly and does not abort the program. More...
 
typedef mc::McCormick< IMC
 A type definition for a McCormick variable. More...
 
typedef mc::vMcCormick< IvMC
 A type definition for a vector McCormick variable. More...
 

Typedef Documentation

◆ I

filib::interval< double, filib::rounding_strategy::native_switched, filib::interval_mode::i_mode_extended > I

A type definition for an Interval variable using FILIB++ library which handles infinity properly and does not abort the program.

◆ MC

mc::McCormick< I > MC

A type definition for a McCormick variable.

◆ vMC

mc::vMcCormick< I > vMC

A type definition for a vector McCormick variable.