From a42de79292d9541db7865b54e93be2d0b6e6a094 Mon Sep 17 00:00:00 2001
From: "serena.spinoso" <serena.spinoso@polito.it>
Date: Thu, 7 Sep 2017 10:22:39 +0200
Subject: update verigraph

JIRA: PARSER-154

code optimizations about graph manipulation and formula generation.

Change-Id: Idebef19b128281aa2bc40d1aeab6e208c7ddd93d
Signed-off-by: serena.spinoso <serena.spinoso@polito.it>
---
 .../java/it/polito/escape/verify/model/Test.java   | 62 ----------------------
 1 file changed, 62 deletions(-)
 delete mode 100644 verigraph/src/main/java/it/polito/escape/verify/model/Test.java

(limited to 'verigraph/src/main/java/it/polito/escape/verify/model/Test.java')

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;
-	}
-
-}
-- 
cgit 1.2.3-korg