diff options
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, 20 insertions, 3 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 index d818ec91..5e823d9d 100644 --- 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 | |||
@@ -6,13 +6,30 @@ import java.util.Map; | |||
6 | import org.eclipse.xtext.common.types.JvmIdentifiableElement; | 6 | import org.eclipse.xtext.common.types.JvmIdentifiableElement; |
7 | import org.eclipse.xtext.xbase.XExpression; | 7 | import org.eclipse.xtext.xbase.XExpression; |
8 | 8 | ||
9 | import com.microsoft.z3.Expr; | ||
10 | |||
9 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement; | 11 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement; |
10 | 12 | ||
11 | public abstract class NumericProblemSolver { | 13 | public abstract class NumericProblemSolver { |
14 | protected static final String N_Base = "org.eclipse.xtext.xbase.lib."; | ||
15 | protected static final String N_PLUS = "operator_plus"; | ||
16 | protected static final String N_MINUS = "operator_minus"; | ||
17 | protected static final String N_POWER = "operator_power"; | ||
18 | protected static final String N_MULTIPLY = "operator_multiply"; | ||
19 | protected static final String N_DIVIDE = "operator_divide"; | ||
20 | protected static final String N_MODULO = "operator_modulo"; | ||
21 | protected static final String N_LESSTHAN = "operator_lessThan"; | ||
22 | protected static final String N_LESSEQUALSTHAN = "operator_lessEqualsThan"; | ||
23 | protected static final String N_GREATERTHAN = "operator_greaterThan"; | ||
24 | protected static final String N_GREATEREQUALTHAN = "operator_greaterEqualsThan"; | ||
25 | protected static final String N_EQUALS = "operator_equals"; | ||
26 | protected static final String N_NOTEQUALS = "operator_notEquals"; | ||
27 | protected static final String N_EQUALS3 = "operator_tripleEquals"; | ||
28 | protected static final String N_NOTEQUALS3 = "operator_tripleNotEquals"; | ||
12 | 29 | ||
13 | long endformingProblem=0; | 30 | protected long endformingProblem=0; |
14 | long endSolvingProblem=0; | 31 | protected long endSolvingProblem=0; |
15 | long endFormingSolution=0; | 32 | protected long endFormingSolution=0; |
16 | 33 | ||
17 | public long getEndformingProblem() {return endformingProblem;} | 34 | public long getEndformingProblem() {return endformingProblem;} |
18 | public long getEndSolvingProblem() {return endSolvingProblem;} | 35 | public long getEndSolvingProblem() {return endSolvingProblem;} |