From ae596d22260beead480e9936a2ec391fe3cb7727 Mon Sep 17 00:00:00 2001
From: OszkarSemerath <oszka@SEMERATH-LAPTOP>
Date: Wed, 12 Jul 2017 15:35:45 +0200
Subject: Rearranged the solver configuration into different subsections

DiversityDescriptor
	 * Describes the required diversity between the solutions.
	 * Null means that the solutions have to have different state codes
only.
InternalConsistencyCheckerConfiguration
	 * A logic solver that able to check the consistency of an intermediate
solution.
	 * Null means that no solver is called.
DebugConfiguration
	 * Configuration for debugging support.
SearchSpaceConstraint
	 * Configuration for cutting search space.
---
 .../reasoner/dse/TrajectoryWithFitness.java        | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/TrajectoryWithFitness.java

(limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/TrajectoryWithFitness.java')

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/TrajectoryWithFitness.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/TrajectoryWithFitness.java
new file mode 100644
index 00000000..a7a6ab36
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/TrajectoryWithFitness.java
@@ -0,0 +1,22 @@
+package hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.dse;
+
+import java.util.Arrays;
+
+import org.eclipse.viatra.dse.objectives.Fitness;
+
+class TrajectoryWithFitness {
+
+	public Object[] trajectory;
+	public Fitness fitness;
+
+	public TrajectoryWithFitness(Object[] trajectory, Fitness fitness) {
+		super();
+		this.trajectory = trajectory;
+		this.fitness = fitness;
+	}
+
+	@Override
+	public String toString() {
+		return Arrays.toString(trajectory) + fitness.toString();
+	}
+}
\ No newline at end of file
-- 
cgit v1.2.3-70-g09d2