#ifndef _ASSUMPTION_TEST_H
#define _ASSUMPTION_TEST_H
#include <cppunit/TestCase.h>
#include <cppunit/TestCaller.h>
#include <cppunit/TestSuite.h>
#include <cppunit/TestResult.h>
#include <cppunit/TextTestRunner.h>
#include "Assumption.h"

using namespace CppUnit;

class AssumptionTest : public TestCase {
 private:
  Assumption *a1;
 public:
  void setUp(){
    a1=new Assumption();
    a1->add(AndAssumption().add(SimpleAssumption((PtypeMask)(YokoMask|TenMask),JointStart,0,0,90)));
  }
  void tearDown(){
    delete a1;
  }
  void testShow(){
    cout << *a1;
  }
  static Test *suite(){
    TestSuite *suiteOfTests = new TestSuite;
    suiteOfTests->addTest (new TestCaller<AssumptionTest>("testShow", &AssumptionTest::testShow));
    return suiteOfTests;
  }
};


#endif /* _ASSUMPTION_TEST_H */