Package net.splitcells.gel.constraint
Class ForAllTest
- java.lang.Object
-
- net.splitcells.dem.testing.TestSuiteI
-
- net.splitcells.gel.constraint.ForAllTest
-
- All Implemented Interfaces:
net.splitcells.dem.testing.TestSuite
public class ForAllTest extends net.splitcells.dem.testing.TestSuiteI
TODO Test if only incoming groups are used.
-
-
Constructor Summary
Constructors Constructor Description ForAllTest()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
test_consistency_of_compliance_and_defiance()
TODO Use this test for allConstraint
implementations.void
testNoGrouping()
void
testPropagation()
-
-
-
Method Detail
-
testPropagation
@Tag("testing_unit") @Test public void testPropagation()
-
testNoGrouping
@Tag("testing_unit") @Test public void testNoGrouping()
-
test_consistency_of_compliance_and_defiance
@Test public void test_consistency_of_compliance_and_defiance()
TODO Use this test for allConstraint
implementations.
-
-