codac::CtcFromSep Class Reference

Build a contractor with a separator Wrt the. More...

#include <codac_SepCtcPairProj.h>

Inherits Ctc.

Public Member Functions
	CtcFromSep (Sep &sep, bool return_ctc_in)
	Construct a new Ctc From Sep object wrt to the value of return_ctc_in it use the result from the separate method to return x_in or x_out. More...
void	contract (IntervalVector &x)
	contract method call separate on the input box [x] and return x_in or x_out More...

Detailed Description

Build a contractor with a separator Wrt the.

Constructor & Destructor Documentation

CtcFromSep()

codac::CtcFromSep::CtcFromSep ( Sep &  sep, bool  return_ctc_in  )

inline

Construct a new Ctc From Sep object wrt to the value of return_ctc_in it use the result from the separate method to return x_in or x_out.

Parameters

sep	separator to use
return_ctc_in	if true, if true return inner contracted box else the outer one

: Ctc(sep.nb_var), sep(sep), return_ctc_in(return_ctc_in) {}

Member Function Documentation

contract()

void codac::CtcFromSep::contract ( IntervalVector &  x )

inline

contract method call separate on the input box [x] and return x_in or x_out

Parameters

x

input box

                                  {
    IntervalVector x_in(x), x_out(x);
    sep.separate(x_in, x_out);
    x &=  ( (return_ctc_in == true) ? x_in : x_out );
  }

---

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

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