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 | 19 |
1 files changed, 19 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 index c4d7e231..10734859 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 | |||
@@ -1,5 +1,6 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner | 1 | package hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner |
2 | 2 | ||
3 | import ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator.app.Domain | ||
3 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicReasoner | 4 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicReasoner |
4 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration | 5 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration |
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration | 6 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration |
@@ -45,6 +46,14 @@ class ViatraReasonerConfiguration extends LogicSolverConfiguration{ | |||
45 | * Configuration for cutting search space. | 46 | * Configuration for cutting search space. |
46 | */ | 47 | */ |
47 | public var SearchSpaceConstraint searchSpaceConstraints = new SearchSpaceConstraint | 48 | public var SearchSpaceConstraint searchSpaceConstraints = new SearchSpaceConstraint |
49 | |||
50 | public var RealisticGuidance realisticGuidance = RealisticGuidance.Composite; | ||
51 | |||
52 | public var isWFOptional = false; | ||
53 | |||
54 | public var allowMustViolations = false; | ||
55 | |||
56 | public var String domain = ''; | ||
48 | } | 57 | } |
49 | 58 | ||
50 | public class DiversityDescriptor { | 59 | public class DiversityDescriptor { |
@@ -57,6 +66,16 @@ public class DiversityDescriptor { | |||
57 | public var Set<RelationDeclaration> relevantRelations = null | 66 | public var Set<RelationDeclaration> relevantRelations = null |
58 | } | 67 | } |
59 | 68 | ||
69 | public enum RealisticGuidance{ | ||
70 | MPC, | ||
71 | NodeActivity, | ||
72 | OutDegree, | ||
73 | NodeType, | ||
74 | Composite, | ||
75 | Composite_Without_Violations, | ||
76 | Violations | ||
77 | } | ||
78 | |||
60 | public class DebugConfiguration { | 79 | public class DebugConfiguration { |
61 | public var logging = false | 80 | public var logging = false |
62 | public var PartialInterpretationVisualiser partialInterpretatioVisualiser = null; | 81 | public var PartialInterpretationVisualiser partialInterpretatioVisualiser = null; |