Krawczyk.h File Reference

#include <string>
#include <sstream>
#include "capd/newton/NewtonResult.h"
#include "capd/newton/Krawczyk.hpp"

Classes
class	capd::newton::Krawczyk< MapType >

Namespaces
	capd
	capd::newton

Functions
template<typename FloatVector , typename MapType >
KrawczykResult	capd::newton::KrawczykProof (const FloatVector &x, double size, MapType &F)
template<typename MapType >
KrawczykResult	capd::newton::KrawczykProof (const typename MapType::VectorType &x0, const typename MapType::VectorType &X, MapType &F)
template<typename MapType >
MapType::VectorType	capd::newton::KrawczykOperator (const typename MapType::VectorType &x0, const typename MapType::VectorType &X, MapType &F)

Detailed Description

Author

Tomasz Kapela