1 files changed, 2 insertions, 2 deletions

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 a0382e8e..3048167e 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
@@ -25,7 +25,7 @@ abstract class PartialInterpretation2NeighbourhoodRepresentation<ModelRepresenta
                 this.mergeSimilarNeighbourhood = mergeSimilarNeighbourhood

         }

 

-        public static val FixPointRage = NeighbourhoodOptions.FixPointRage

+        public static val FixPointRange = NeighbourhoodOptions.FixPointRange

         public static val GraphWidthRange = NeighbourhoodOptions.GraphWidthRange

         public static val FullParallels = NeighbourhoodOptions.FullParallels

         public static val MaxNumbers = NeighbourhoodOptions.MaxNumbers

@@ -174,7 +174,7 @@ abstract class PartialInterpretation2NeighbourhoodRepresentation<ModelRepresenta
                                 throw new IllegalArgumentException('''Need previous representations''')

                         } else

                                 return res

-                } else if (range == FixPointRage) {

+                } else if (range == FixPointRange) {

                         return refineUntilFixpoint(model, types, IncomingRelations, OutgoingRelations, parallels, maxNumber,

                                 focusedElement)

                 } else if (range == GraphWidthRange) {