C++ (Cpp) BoolSemiring Exemples

Exemple #1

Fichier : test-tuple-semiring.cpp Projet : Loveice/FPsolve

void TupleSemiringTest::testStar()
{
  auto null_star = TupleSemiring<FloatSemiring,BoolSemiring>::null().star();
  auto one = TupleSemiring<FloatSemiring,BoolSemiring>::one();
  CPPUNIT_ASSERT( null_star == one );
  auto tmp = TupleSemiring<FloatSemiring,BoolSemiring>(FloatSemiring(2.0), BoolSemiring(true));
  CPPUNIT_ASSERT( second->star() == tmp );
}

Exemple #2

Fichier : test-tuple-semiring.cpp Projet : Loveice/FPsolve

void TupleSemiringTest::setUp()
{
  std::cout << "Tuple-SR-Test :" << std::endl;
  first = new TupleSemiring<FloatSemiring,BoolSemiring>(FloatSemiring(1.2), BoolSemiring(false));
  second = new TupleSemiring<FloatSemiring,BoolSemiring>(FloatSemiring(0.5), BoolSemiring(true));
}

Exemple #3

Fichier : test-tuple-semiring.cpp Projet : regularApproximation/newton

void TupleSemiringTest::setUp()
{
  first = new TupleSemiring<FloatSemiring,BoolSemiring>(FloatSemiring(0.2), BoolSemiring(false));
  second = new TupleSemiring<FloatSemiring,BoolSemiring>(FloatSemiring(0.5), BoolSemiring(true));
}