1 files changed, 42 insertions, 0 deletions

diff --git a/Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/cardinality/CbcPolyhedronSolverTest.xtend b/Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/cardinality/CbcPolyhedronSolverTest.xtend
new file mode 100644
index 00000000..b22e2a20
--- /dev/null
+++ b/Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/cardinality/CbcPolyhedronSolverTest.xtend
@@ -0,0 +1,42 @@
+package hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests.cardinality
+
+import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.cardinality.CbcPolyhedronSolver
+import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.cardinality.Dimension
+import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.cardinality.Polyhedron
+import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.cardinality.PolyhedronSaturationResult
+import org.junit.Test
+
+import static org.junit.Assert.*
+import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.cardinality.LinearConstraint
+
+class CbcPolyhedronSolverTest extends IntegerPolyhedronSolverTest {
+
+        override protected createSolver() {
+                new CbcPolyhedronSolver(false, 10, true)
+        }
+}
+
+class RelaxedCbcPolyhedronSolverTest extends RelaxedPolyhedronSolverTest {
+
+        override protected createSolver() {
+                new CbcPolyhedronSolver(true, 10, true)
+        }
+}
+
+class CbcPolyhedronSolverTimeoutTest {
+
+        @Test
+        def void timeoutTest() {
+                val solver = new CbcPolyhedronSolver(false, 0, true)
+                val x = new Dimension("x", 0, 1)
+                val polyhedron = new Polyhedron(#[x], #[new LinearConstraint(#{x -> 1}, null, 0)], #[x])
+                val operator = solver.createSaturationOperator(polyhedron)
+                try {
+                        val result = operator.saturate
+
+                        assertEquals(PolyhedronSaturationResult.UNKNOWN, result)
+                } finally {
+                        operator.close()
+                }
+        }
+}