diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-07-25 20:08:26 +0200 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-07-25 20:08:26 +0200 |
commit | 80077d1e7dc34767929b0709919793e740dbd45f (patch) | |
tree | 84d11c6b4653fa793d8a170bb90551de2b8fffcf /Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/cardinality/CbcPolyhedronSolverTest.xtend | |
parent | Make polyhedron solvers more robust (diff) | |
download | VIATRA-Generator-80077d1e7dc34767929b0709919793e740dbd45f.tar.gz VIATRA-Generator-80077d1e7dc34767929b0709919793e740dbd45f.tar.zst VIATRA-Generator-80077d1e7dc34767929b0709919793e740dbd45f.zip |
Parse rational numbers in Z3PolyhedronSolver
Diffstat (limited to 'Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/cardinality/CbcPolyhedronSolverTest.xtend')
-rw-r--r-- | Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/cardinality/CbcPolyhedronSolverTest.xtend | 17 |
1 files changed, 10 insertions, 7 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 index 3d911bfb..a51aa082 100644 --- 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 | |||
@@ -8,24 +8,27 @@ import org.junit.Test | |||
8 | 8 | ||
9 | import static org.junit.Assert.* | 9 | import static org.junit.Assert.* |
10 | 10 | ||
11 | class CbcPolyhedronSolverTest extends PolyhedronSolverTest { | 11 | class CbcPolyhedronSolverTest extends IntegerPolyhedronSolverTest { |
12 | 12 | ||
13 | override protected createSolver() { | 13 | override protected createSolver() { |
14 | new CbcPolyhedronSolver(10, false) | 14 | new CbcPolyhedronSolver(10, true) |
15 | } | 15 | } |
16 | 16 | } | |
17 | |||
18 | class CbcPolyhedronSolverTimeoutTest { | ||
19 | |||
17 | @Test | 20 | @Test |
18 | def void timeoutTest() { | 21 | def void timeoutTest() { |
19 | val solver = new CbcPolyhedronSolver(0, false) | 22 | val solver = new CbcPolyhedronSolver(0, true) |
20 | val x = new Dimension("x", 0, 1) | 23 | val x = new Dimension("x", 0, 1) |
21 | val polyhedron = new Polyhedron(#[x], #[], #[x]) | 24 | val polyhedron = new Polyhedron(#[x], #[], #[x]) |
22 | val operator = solver.createSaturationOperator(polyhedron) | 25 | val operator = solver.createSaturationOperator(polyhedron) |
23 | try { | 26 | try { |
24 | val result = operator.saturate | 27 | val result = operator.saturate |
25 | 28 | ||
26 | assertEquals(PolyhedronSaturationResult.UNKNOWN, result) | 29 | assertEquals(PolyhedronSaturationResult.UNKNOWN, result) |
27 | } finally { | 30 | } finally { |
28 | operator.close() | 31 | operator.close() |
29 | } | 32 | } |
30 | } | 33 | } |
31 | } | 34 | } |