capd::newton::Krawczyk< MapType > Class Template Reference

#include <capd/newton/Krawczyk.h>

Public Types
typedef MapType::VectorType	VectorType
typedef MapType::MatrixType	MatrixType

Public Member Functions
	Krawczyk (MapType &A_F)
template<typename FloatVector >
KrawczykResult	proof (FloatVector &x, double size, int maxNumberOfIterations=8)
KrawczykResult	proof (const VectorType &A_x0, const VectorType &X, int maxNumberOfIterations=8)
VectorType	KrawczykOperator (const VectorType &A_x0, const VectorType &A_X)
template<typename MapType >
KrawczykResult	proof (const typename MapType::VectorType &A_x0, const typename MapType::VectorType &A_X, int maxNumberOfIterations)

Public Attributes
int	dim
int	numberOfIterations
VectorType	x0
VectorType	X
VectorType	F_x0
VectorType	K
MatrixType	C
MatrixType	dF_X
MapType &	F

Member Typedef Documentation

MatrixType

template<typename MapType >

typedef MapType::MatrixType capd::newton::Krawczyk< MapType >::MatrixType

VectorType

template<typename MapType >

typedef MapType::VectorType capd::newton::Krawczyk< MapType >::VectorType

Constructor & Destructor Documentation

Krawczyk()

template<typename MapType >

capd::newton::Krawczyk< MapType >::Krawczyk

(

MapType &

A_F

)

Member Function Documentation

KrawczykOperator()

template<typename MapType >

MapType::VectorType capd::newton::Krawczyk< MapType >::KrawczykOperator	(	const VectorType &	A_x0,
		const VectorType &	A_X
	)

proof() [1/3]

template<typename MapType >

template<typename MapType >

KrawczykResult capd::newton::Krawczyk< MapType >::proof	(	const typename MapType::VectorType &	A_x0,
		const typename MapType::VectorType &	A_X,
		int	maxNumberOfIterations
	)

proof() [2/3]

template<typename MapType >

KrawczykResult capd::newton::Krawczyk< MapType >::proof	(	const VectorType &	A_x0,
		const VectorType &	X,
		int	maxNumberOfIterations = 8
	)

proof() [3/3]

template<typename MapType >

template<typename FloatVector >

KrawczykResult capd::newton::Krawczyk< MapType >::proof	(	FloatVector &	x,
		double	size,
		int	maxNumberOfIterations = 8
	)

Member Data Documentation

C

template<typename MapType >

MatrixType capd::newton::Krawczyk< MapType >::C

dF_X

template<typename MapType >

MatrixType capd::newton::Krawczyk< MapType >::dF_X

dim

template<typename MapType >

int capd::newton::Krawczyk< MapType >::dim

F

template<typename MapType >

MapType& capd::newton::Krawczyk< MapType >::F

F_x0

template<typename MapType >

VectorType capd::newton::Krawczyk< MapType >::F_x0

K

template<typename MapType >

VectorType capd::newton::Krawczyk< MapType >::K

numberOfIterations

template<typename MapType >

int capd::newton::Krawczyk< MapType >::numberOfIterations

X

template<typename MapType >

VectorType capd::newton::Krawczyk< MapType >::X

x0

template<typename MapType >

VectorType capd::newton::Krawczyk< MapType >::x0