codac::SepTransform Class Reference

Image of a separator by a function \(f\) where an analytic expression of \(\mathbf{f}^{-1}\) is avaiable. the computation is less pessimism than using a classical a forward / backward propagation (. More...

#include <codac_SepTransform.h>

Inherits Sep.

Public Member Functions
	SepTransform (Sep &s, Function &ffwd, Function &fbwd)
	Construct a new Sep Transform object. More...

Public Attributes
Sep &	s
Function &	fbwd
Function &	ffwd

Detailed Description

Image of a separator by a function \(f\) where an analytic expression of \(\mathbf{f}^{-1}\) is avaiable. the computation is less pessimism than using a classical a forward / backward propagation (.

See also

: Ibex::SepInverse) Transformation of a separator with an inversible function \( \mathbf{f}(\mathcal{S}) = \{ \mathbf{f}^{-1}\circ \mathcal{S}_{in} \circ \mathbf{f}, \mathbf{f}^{-1}\circ \mathcal{S}_{out} \circ \mathbf{f} \} \) Using a function and its inverse is less pessimism than using a forward / backward propagation (see: sepInverse)

Constructor & Destructor Documentation

SepTransform()

codac::SepTransform::SepTransform	(	Sep &	s,
		Function &	ffwd,
		Function &	fbwd
	)

Construct a new Sep Transform object.

Parameters

s	Separator to transform
ffwd	Function \(\mathbf{f}\) used for the forward transformation
fbwd	Function used for the backward transformation based on an explicite evaluation of \(\mathbf{f}^{-1}\)

Member Data Documentation

s

Sep& codac::SepTransform::s

Separator

fbwd

Function& codac::SepTransform::fbwd

Inverse transformation

ffwd

Function& codac::SepTransform::ffwd

transformation

---

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

• /home/simon/codac/src/core/separators/codac_SepTransform.h