From a22bd211a42eebed6ee5ddf67e1836aad2bad0e3 Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Sun, 13 Dec 2020 21:11:34 -0500
Subject: add numericProblemSolver supertype

---
 .../viatra2logic/NumericProblemSolver.java         | 23 ++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java

(limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java')

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java
new file mode 100644
index 00000000..d818ec91
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java
@@ -0,0 +1,23 @@
+package hu.bme.mit.inf.dslreasoner.viatra2logic;
+
+import java.util.List;
+import java.util.Map;
+
+import org.eclipse.xtext.common.types.JvmIdentifiableElement;
+import org.eclipse.xtext.xbase.XExpression;
+
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement;
+
+public abstract class NumericProblemSolver {
+	
+	long endformingProblem=0;
+	long endSolvingProblem=0;
+	long endFormingSolution=0;	
+
+	public long getEndformingProblem() {return endformingProblem;}
+	public long getEndSolvingProblem() {return endSolvingProblem;}
+	public long getEndFormingSolution() {return endFormingSolution;}
+	
+	public abstract  boolean isSatisfiable(Map<XExpression, Iterable<Map<JvmIdentifiableElement,PrimitiveElement>>> matches) throws Exception;
+	public abstract Map<PrimitiveElement,Number> getOneSolution(List<PrimitiveElement> objs, Map<XExpression, Iterable<Map<JvmIdentifiableElement,PrimitiveElement>>> matches) throws Exception;
+}
-- 
cgit v1.2.3-70-g09d2