From c1d468f71e0199ee7b2e421bd45258b4bdb5deb0 Mon Sep 17 00:00:00 2001
From: OszkarSemerath <semerath@mit.bme.hu>
Date: Sat, 1 Jun 2019 21:57:35 -0400
Subject: Default state coder range set to Width, as it should be

---
 .../PartialInterpretation2NeighbourhoodRepresentation.xtend        | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood')

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/PartialInterpretation2NeighbourhoodRepresentation.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/PartialInterpretation2NeighbourhoodRepresentation.xtend
index bf593add..6dc40705 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/PartialInterpretation2NeighbourhoodRepresentation.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/PartialInterpretation2NeighbourhoodRepresentation.xtend
@@ -41,6 +41,13 @@ abstract class PartialInterpretation2NeighbourhoodRepresentation<ModelRepresenta
 		return createRepresentation(model,range,parallels,maxNumber,null,null)
 	}
 	
+	/**
+	 * Creates a neighbourhood representation with traces
+	 * @param model The model to be represented.
+	 * @param range The range of the neighbourhood.
+	 * @param parallels The maximal number of parallel references to be differentiated.
+	 * @param maxNumber The maximal number of elements in a equivalence class that chan be differentiated.
+	 */
 	def public createRepresentation(
 		PartialInterpretation model,
 		int range, int parallels, int maxNumber,
-- 
cgit v1.2.3-54-g00ecf