https://github.com/ibex-team/ibex-lib
Tip revision: 0a247b273259e47c178f371d2174c1ab0fca2329 authored by gchabert on 08 September 2020, 17:36:11 UTC
Doc update and removal of a useless previous fix in Newton
Doc update and removal of a useless previous fix in Newton
Tip revision: 0a247b2
TestSeparator.h
//============================================================================
// I B E X
// File : TestSeparator.h
// Author : Benoit Desrochers
// Copyright : Ecole des Mines de Nantes (France)
// License : See the LICENSE file
// Created : Jan 02, 2015
// Last Update : Jan 02, 2015
//============================================================================
#ifndef __TEST_SEPARATOR_H__
#define __TEST_SEPARATOR_H__
#include <cppunit/TestFixture.h>
#include <cppunit/extensions/HelperMacros.h>
#include "ibex_SepFwdBwd.h"
#include "ibex_SepCtcPair.h"
#include "ibex_SepInter.h"
#include "ibex_SepUnion.h"
#include "ibex_SepNot.h"
#include "ibex_CtcEmpty.h"
#include "ibex_CtcIdentity.h"
#include "ibex_SepQInter.h"
#include "ibex_SepInverse.h"
#include "utils.h"
namespace ibex {
class TestSeparator : public CppUnit::TestFixture {
public:
CPPUNIT_TEST_SUITE(TestSeparator);
CPPUNIT_TEST(SepFwdBwd_LT_LEQ);
CPPUNIT_TEST(SepFwdBwd_GT_GEQ);
CPPUNIT_TEST(test_SepCtcPair);
CPPUNIT_TEST(test_SepUnionInter);
CPPUNIT_TEST(test_SepNot);
CPPUNIT_TEST(test_SepQInter);
CPPUNIT_TEST(test_SepInverse);
CPPUNIT_TEST_SUITE_END();
void SepFwdBwd_LT_LEQ();
void SepFwdBwd_GT_GEQ();
void test_SepCtcPair();
void test_SepUnionInter();
void test_SepNot();
void test_SepQInter();
void test_SepInverse();
};
CPPUNIT_TEST_SUITE_REGISTRATION(TestSeparator);
} // end namespace ibex
#endif // __TEST_SEPARATOR_H__