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.

1 files changed, 22 insertions, 0 deletions

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