api/html/codac___sep_function_8h_source.html

#ifndef __CODAC_SEPFUNCTION_H__

#define __CODAC_SEPFUNCTION_H__


#include "ibex_SepFwdBwd.h"

#include "codac_Function.h"

#include "codac_IntervalVector.h"


namespace codac

{


  class SepFunction : public ibex::SepFwdBwd

  {

    public:


      SepFunction(Function& f);


      SepFunction(Function& f, const Interval& y);


      SepFunction(Function& f, const IntervalVector& y);


      void separate(IntervalVector& x_in, IntervalVector& x_out);

  };


}


#endif

codac::SepFunction
Generic static  that separates two boxes according to the constraint  or . It stands on the SepFwdBwd...
Definition codac_SepFunction.h:28

codac::SepFunction::SepFunction
SepFunction(Function &f)
Creates a separator for the constraint .

codac::SepFunction::SepFunction
SepFunction(Function &f, const Interval &y)
Creates a separator for the constraint  for the scalar case.

codac::SepFunction::separate
void separate(IntervalVector &x_in, IntervalVector &x_out)

codac::SepFunction::SepFunction
SepFunction(Function &f, const IntervalVector &y)
Creates a separator for the constraint  for the vectorial case.

codac_Function.h

codac_IntervalVector.h

codac
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition codac_capd_helpers.h:9