void NonCommutativePolynomialTest::testSemiring()
{
  generic_test_semiring(*first, *second);
}
Exemplo n.º 2
0
void SemilinSetNddTest::testSemiring()
{
  generic_test_semiring(*a, *b);
}
Exemplo n.º 3
0
void TupleSemiringTest::testSemiring()
{
  generic_test_semiring(*first, *second);
}
Exemplo n.º 4
0
void CommutativeRExpTest::testSemiring()
{
  generic_test_semiring(*a,*b);
}
void TropicalSemiringTest::testSemiring()
{
  generic_test_semiring(*first, *second);
}
Exemplo n.º 6
0
void FreeSemiringTest::testSemiring()
{
  generic_test_semiring(*a,*b);
  CPPUNIT_ASSERT(!( (*a) * (*b) == (*b) * (*a)));
}
Exemplo n.º 7
0
void ViterbiSemiringTest::testSemiring()
{
  generic_test_semiring(*a, *b);
  generic_test_semiring(*a+*c, *b+*d);
}
Exemplo n.º 8
0
void BoolSemiringTest::testSemiring()
{
  generic_test_semiring(BoolSemiring::null(), BoolSemiring::one());
}
Exemplo n.º 9
0
void PrefixSemiringTest::testSemiring()
{
  generic_test_semiring(*first, *second);
}