diff options
Diffstat (limited to 'verigraph/src/main/java/it/polito/escape/verify/model/Test.java')
-rw-r--r-- | verigraph/src/main/java/it/polito/escape/verify/model/Test.java | 62 |
1 files changed, 0 insertions, 62 deletions
diff --git a/verigraph/src/main/java/it/polito/escape/verify/model/Test.java b/verigraph/src/main/java/it/polito/escape/verify/model/Test.java deleted file mode 100644 index 1127abc..0000000 --- a/verigraph/src/main/java/it/polito/escape/verify/model/Test.java +++ /dev/null @@ -1,62 +0,0 @@ -/******************************************************************************* - * Copyright (c) 2017 Politecnico di Torino and others. - * - * All rights reserved. This program and the accompanying materials - * are made available under the terms of the Apache License, Version 2.0 - * which accompanies this distribution, and is available at - * http://www.apache.org/licenses/LICENSE-2.0 - *******************************************************************************/ - -package it.polito.escape.verify.model; - -import java.util.ArrayList; -import java.util.List; - -public class Test { - private List<Node> nodes = new ArrayList<Node>(); - private String result; - - public Test() { - - } - - public Test(List<Node> paths, int result) { - switch (result) { - case 0: - this.result = "SAT"; - break; - case -1: - this.result = "UNSAT"; - break; - case -2: - this.result = "UNKNOWN"; - break; - default: - this.result = "UNKNWON"; - break; - } - this.nodes = paths; - } - - public Test(List<Node> paths, String result) { - this.nodes = paths; - this.result = result; - } - - public List<Node> getPath() { - return nodes; - } - - public void setPath(List<Node> paths) { - this.nodes = paths; - } - - public String getResult() { - return result; - } - - public void setResult(String result) { - this.result = result; - } - -} |