From 8ac747b1b84513c70f8445a7c84c6a3644a1f6fa Mon Sep 17 00:00:00 2001 From: Aren Babikian Date: Fri, 22 Jan 2021 00:50:08 +0100 Subject: implement ignored attribute values as a config option --- .../dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend | 2 ++ 1 file changed, 2 insertions(+) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner') diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend index 759f434b..fbcd6e1d 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend @@ -16,6 +16,7 @@ import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.optimization.ObjectiveKi import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.optimization.ObjectiveThreshold import java.util.LinkedList import java.util.List +import java.util.Map import java.util.Set import org.eclipse.xtext.xbase.lib.Functions.Function1 @@ -78,6 +79,7 @@ class ViatraReasonerConfiguration extends LogicSolverConfiguration { public var calculateObjectCreationCosts = false public NumericSolverSelection numericSolverSelection = NumericSolverSelection.DREAL_DOCKER //currently defaulted to DREAL public var drealLocalPath = ""; + public var Map> ignoredAttributesMap = null; public var ScopePropagatorStrategy scopePropagatorStrategy = new ScopePropagatorStrategy.Polyhedral( PolyhedralScopePropagatorConstraints.Relational, PolyhedralScopePropagatorSolver.Clp) -- cgit v1.2.3-54-g00ecf