1 files changed, 43 insertions, 0 deletions
diff --git a/verigraph/src/it/polito/verigraph/mcnet/components/Core.java b/verigraph/src/it/polito/verigraph/mcnet/components/Core.java
new file mode 100644
index 0000000..3789817
--- /dev/null
+++ b/verigraph/src/it/polito/verigraph/mcnet/components/Core.java
@@ -0,0 +1,43 @@
+/*******************************************************************************
+ * 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.verigraph.mcnet.components;
+
+import com.microsoft.z3.Context;
+import com.microsoft.z3.Solver;
+
+/**Core component for everything that matters
+ *
+ *
+ */
+public abstract class Core{
+
+    final int MAX_PORT = 512;
+
+    /**
+     * Base class for all objects in the modeling framework
+     * @param ctx
+     * @param args
+     */
+    public Core(Context ctx, Object[]... args){ // Object[]... -> The nearest way to implement variable length argument lists
+        //in Java, in the most generic way.
+        init(ctx,args);
+    }
+    /**
+     * Override _init for any constructor initialization. Avoids having to explicitly call super.__init__ every Time.class
+     * @param ctx
+     * @param args
+     */
+    abstract protected void init(Context ctx,Object[]... args);
+
+    /**
+     * Add constraints to solver
+     * @param solver
+     */
+    abstract protected void addConstraints(Solver solver);
+}
+\ No newline at end of file