diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend | 42 |
1 files changed, 42 insertions, 0 deletions
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 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner | ||
2 | |||
3 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration | ||
4 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration | ||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration | ||
6 | import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.ModelGenerationMethod | ||
7 | import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.TypeInferenceMethod | ||
8 | import java.util.LinkedList | ||
9 | import java.util.List | ||
10 | import java.util.Set | ||
11 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PQuery | ||
12 | import org.eclipse.xtext.xbase.lib.Functions.Function1 | ||
13 | |||
14 | public enum StateCoderStrategy { | ||
15 | Neighbourhood, NeighbourhoodWithEquivalence, IDBased, DefinedByDiversity | ||
16 | } | ||
17 | |||
18 | class ViatraReasonerConfiguration extends LogicSolverConfiguration{ | ||
19 | public var Iterable<PQuery> existingQueries | ||
20 | public var LogicSolverConfiguration inconsistencDetectorConfiguration = null | ||
21 | public var List<Function1<ModelGenerationMethod,ModelGenerationMethodBasedGlobalConstraint>> additionalGlobalConstraints = new LinkedList | ||
22 | int maxDepth = -1 | ||
23 | |||
24 | public var TypeInferenceMethod typeInferenceMethod = TypeInferenceMethod.Generic | ||
25 | |||
26 | public var nameNewElements = false | ||
27 | public var StateCoderStrategy stateCoderStrategy = StateCoderStrategy.Neighbourhood | ||
28 | |||
29 | /** | ||
30 | * Describes the required diversity between the solutions. | ||
31 | * Null means that the solutions have to have different state codes only. | ||
32 | */ | ||
33 | public var DiversityDescriptor diversityRequirement = null | ||
34 | } | ||
35 | |||
36 | public class DiversityDescriptor { | ||
37 | public var int range = -1 | ||
38 | public var int parallels = Integer.MAX_VALUE | ||
39 | public var int maxNumber = Integer.MAX_VALUE | ||
40 | public var Set<TypeDeclaration> relevantTypes | ||
41 | public var Set<RelationDeclaration> relevantRelations | ||
42 | } \ No newline at end of file | ||