![]() |
MAiNGO
|
#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< I > | MC |
A type definition for a McCormick variable. More... | |
typedef mc::vMcCormick< I > | vMC |
A type definition for a vector McCormick variable. More... | |
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.