codac2::SepTest Class Reference

A separator which tests the result of another separator. It can be used to get the result of the separator without the contraction. More...

#include <codac2_SepTest.h>

Public Member Functions
template<typename S>
	SepTest (const S &s)
	Constructor for the separator.
BoxPair	separate (const IntervalVector &x) const
	Separates the box. Both the inner and outer are either empty or the box itself.

Detailed Description

A separator which tests the result of another separator. It can be used to get the result of the separator without the contraction.

Constructor & Destructor Documentation

SepTest()

template<typename S>

codac2::SepTest::SepTest ( const S & s )

inline

Constructor for the separator.

Parameters

s	The separator to test.

        : Sep<SepTest>(size_of(s)), _sep(s)
      { }

Member Function Documentation

separate()

BoxPair codac2::SepTest::separate

(

const IntervalVector &

x

)

const

Separates the box. Both the inner and outer are either empty or the box itself.

Parameters

x	The box to separate.

Returns

A box pair according to separator arithmetics.

---

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

• /home/simon/codac-simon/src/core/separators/codac2_SepTest.h