From 6912e6237f2791ca3ace76a78729d06ccd8ecfe8 Mon Sep 17 00:00:00 2001 From: Oszkar Semerath Date: Fri, 13 Nov 2020 23:47:23 +0100 Subject: NumericProblemSolver is initialized only if it is necessary --- .../dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner') diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend index b4303739..6393121b 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend @@ -12,11 +12,15 @@ import org.eclipse.xtext.xbase.XMemberFeatureCall import org.eclipse.xtext.xbase.XNumberLiteral import org.eclipse.xtext.xbase.XUnaryOperation -import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* - class ExpressionEvaluation2Logic { val extension LogicProblemBuilder builder = new LogicProblemBuilder - val NumericProblemSolver numericSolver = new NumericProblemSolver + var NumericProblemSolver _numericSolver = null //new NumericProblemSolver + def getNumericSolver() { + if(_numericSolver === null) { + _numericSolver = new NumericProblemSolver + } + return _numericSolver + } def Term transformCheck(XExpression expression, Map variable2Variable) { return expression.transform(variable2Variable) -- cgit v1.2.3-54-g00ecf