diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend index b7219173..f1d410d8 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend | |||
@@ -203,5 +203,5 @@ public abstract class SolverProgressMonitor { | |||
203 | } | 203 | } |
204 | } | 204 | } |
205 | public class NullSolverProgressMonitor extends SolverProgressMonitor { | 205 | public class NullSolverProgressMonitor extends SolverProgressMonitor { |
206 | override protected processWorked(double amount) { throw new UnsupportedOperationException("TODO: auto-generated method stub") } | 206 | override protected processWorked(double amount) { } |
207 | } | 207 | } |