#include <strstream>
#include "AssumptionTest.h"

void AssumptionTest::setUp(){
  a1=new Assumption();
  a1->add(AndAssumption().add(SimpleAssumption((PtypeMask)(YokoMask|TenMask),JointStart,0,0,90,0)));
}
void AssumptionTest::tearDown(){
  delete a1;
}
static const char* showImage=
"SimpleAssumption(pmask=3,jtype=1,x=0,y=0,angle=90,hint=0)";

void AssumptionTest::testShow(){
  std::ostrstream os;
  os << *a1;
  os.freeze();
  CPPUNIT_ASSERT( os.pcount() == strlen(showImage));
  CPPUNIT_ASSERT( !strncmp(os.str(),showImage,sizeof(showImage)));
}