diff options
author | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2020-12-13 21:11:34 -0500 |
---|---|---|
committer | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-06 00:02:48 +0100 |
commit | a22bd211a42eebed6ee5ddf67e1836aad2bad0e3 (patch) | |
tree | c50953ee0d66ec87ae287de65015d37f081ae2ee /Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java | |
parent | prep for refactoring Numeric Probelm Solvers (diff) | |
download | VIATRA-Generator-a22bd211a42eebed6ee5ddf67e1836aad2bad0e3.tar.gz VIATRA-Generator-a22bd211a42eebed6ee5ddf67e1836aad2bad0e3.tar.zst VIATRA-Generator-a22bd211a42eebed6ee5ddf67e1836aad2bad0e3.zip |
add numericProblemSolver supertype
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java | 23 |
1 files changed, 23 insertions, 0 deletions
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 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.viatra2logic; | ||
2 | |||
3 | import java.util.List; | ||
4 | import java.util.Map; | ||
5 | |||
6 | import org.eclipse.xtext.common.types.JvmIdentifiableElement; | ||
7 | import org.eclipse.xtext.xbase.XExpression; | ||
8 | |||
9 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement; | ||
10 | |||
11 | public abstract class NumericProblemSolver { | ||
12 | |||
13 | long endformingProblem=0; | ||
14 | long endSolvingProblem=0; | ||
15 | long endFormingSolution=0; | ||
16 | |||
17 | public long getEndformingProblem() {return endformingProblem;} | ||
18 | public long getEndSolvingProblem() {return endSolvingProblem;} | ||
19 | public long getEndFormingSolution() {return endFormingSolution;} | ||
20 | |||
21 | public abstract boolean isSatisfiable(Map<XExpression, Iterable<Map<JvmIdentifiableElement,PrimitiveElement>>> matches) throws Exception; | ||
22 | public abstract Map<PrimitiveElement,Number> getOneSolution(List<PrimitiveElement> objs, Map<XExpression, Iterable<Map<JvmIdentifiableElement,PrimitiveElement>>> matches) throws Exception; | ||
23 | } | ||