From 60f01f46ba232ed6416054f0a6115cb2a9b70b4e Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sat, 10 Jun 2017 19:05:05 +0200 Subject: Migrating Additional projects --- .../reasoner/ViatraReasonerConfiguration.xtend | 42 ++++++++++++++++++++++ 1 file changed, 42 insertions(+) create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend') 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 new file mode 100644 index 00000000..d638dd71 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend @@ -0,0 +1,42 @@ +package hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner + +import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration +import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration +import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration +import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.ModelGenerationMethod +import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.TypeInferenceMethod +import java.util.LinkedList +import java.util.List +import java.util.Set +import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PQuery +import org.eclipse.xtext.xbase.lib.Functions.Function1 + +public enum StateCoderStrategy { + Neighbourhood, NeighbourhoodWithEquivalence, IDBased, DefinedByDiversity +} + +class ViatraReasonerConfiguration extends LogicSolverConfiguration{ + public var Iterable existingQueries + public var LogicSolverConfiguration inconsistencDetectorConfiguration = null + public var List> additionalGlobalConstraints = new LinkedList + int maxDepth = -1 + + public var TypeInferenceMethod typeInferenceMethod = TypeInferenceMethod.Generic + + public var nameNewElements = false + public var StateCoderStrategy stateCoderStrategy = StateCoderStrategy.Neighbourhood + + /** + * Describes the required diversity between the solutions. + * Null means that the solutions have to have different state codes only. + */ + public var DiversityDescriptor diversityRequirement = null +} + +public class DiversityDescriptor { + public var int range = -1 + public var int parallels = Integer.MAX_VALUE + public var int maxNumber = Integer.MAX_VALUE + public var Set relevantTypes + public var Set relevantRelations +} \ No newline at end of file -- cgit v1.2.3-54-g00ecf