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>

1 files changed, 0 insertions, 57 deletions

diff --git a/verigraph/service/src/mcnet/components/NetworkObject.java b/verigraph/service/src/mcnet/components/NetworkObject.java
deleted file mode 100644
index 0de3937..0000000
--- a/verigraph/service/src/mcnet/components/NetworkObject.java
+++ /dev/null
@@ -1,57 +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 mcnet.components;
-
-import com.microsoft.z3.Context;
-import com.microsoft.z3.DatatypeExpr;
-
-/** Represents a generic network object.
- *
- */
-public abstract class NetworkObject extends Core{
-
-	public NetworkObject(Context ctx,Object[]... args) {
-		super(ctx,args);
-	}
-
-	protected DatatypeExpr z3Node;
-	protected boolean isEndHost;
-	/**
-	 * Get a reference to the z3 node this class wraps around
-	 * @return
-	 */
-	abstract public DatatypeExpr getZ3Node();
-
-	public String toString(){
-	        return z3Node.toString();
-	}
-
-	//There is probably an error: z3Node.hashCode = 0 because AST.hashCode() has always hash=0
-	/*public int hashCode(){
-		return z3Node.hashCode();
-	}*/
-
-	/**
-	 * A simple way to determine the set of endhosts
-	 * @return
-	 */
-	public boolean isEndHost(){
-	    return isEndHost;
-	}
-
-	/**
-	 * Wrap methods to set policy
-	 * @param policy
-	 * @throws UnsupportedOperationException
-	 */
-	void setPolicy (Object policy) throws UnsupportedOperationException{
-	     throw new UnsupportedOperationException();
-	}
-}