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 @@
 package hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner

 

+import ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator.app.Domain

 import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicReasoner

 import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration

 import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration

@@ -45,6 +46,14 @@ class ViatraReasonerConfiguration extends LogicSolverConfiguration{
          * Configuration for cutting search space.

          */

          public var SearchSpaceConstraint searchSpaceConstraints = new SearchSpaceConstraint

+         

+         public var RealisticGuidance realisticGuidance = RealisticGuidance.Composite;

+         

+         public var isWFOptional = false;

+         

+         public var allowMustViolations = false;

+         

+         public var String domain = '';

 }

 

 public class DiversityDescriptor {

@@ -57,6 +66,16 @@ public class DiversityDescriptor {
         public var Set<RelationDeclaration> relevantRelations = null

 }

 

+public enum RealisticGuidance{

+        MPC,

+        NodeActivity,

+        OutDegree,

+        NodeType,

+        Composite,

+        Composite_Without_Violations,

+        Violations

+}

+

 public class DebugConfiguration {

         public var logging = false

         public var PartialInterpretationVisualiser partialInterpretatioVisualiser = null;