1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/statecoder/NeighbourhoodBasedStateCoderFactory.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/statecoder/NeighbourhoodBasedStateCoderFactory.xtend
index b6d2043d..a86bcd1f 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/statecoder/NeighbourhoodBasedStateCoderFactory.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/statecoder/NeighbourhoodBasedStateCoderFactory.xtend
@@ -43,7 +43,7 @@ class NeighbourhoodBasedStateCoderFactory implements IStateCoderFactory {
        val Set<RelationDeclaration> relevantRelations
        
        public new() {
-                this.range = PartialInterpretation2NeighbourhoodRepresentation::FixPointRage
+                this.range = PartialInterpretation2NeighbourhoodRepresentation::GraphWidthRange
                this.parallels = PartialInterpretation2NeighbourhoodRepresentation::FullParallels
                this.maxNumber = PartialInterpretation2NeighbourhoodRepresentation::MaxNumbers
                this.relevantTypes = null

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/statecoder/NeighbourhoodBasedStateCoderFactory.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/statecoder/NeighbourhoodBasedStateCoderFactory.xtend index b6d2043d..a86bcd1f 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/statecoder/NeighbourhoodBasedStateCoderFactory.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/statecoder/NeighbourhoodBasedStateCoderFactory.xtend
@@ -43,7 +43,7 @@ class NeighbourhoodBasedStateCoderFactory implements IStateCoderFactory {
43	val Set<RelationDeclaration> relevantRelations	43	val Set<RelationDeclaration> relevantRelations
44		44
45	public new() {	45	public new() {
46	this.range = PartialInterpretation2NeighbourhoodRepresentation::FixPointRage	46	this.range = PartialInterpretation2NeighbourhoodRepresentation::GraphWidthRange
47	this.parallels = PartialInterpretation2NeighbourhoodRepresentation::FullParallels	47	this.parallels = PartialInterpretation2NeighbourhoodRepresentation::FullParallels
48	this.maxNumber = PartialInterpretation2NeighbourhoodRepresentation::MaxNumbers	48	this.maxNumber = PartialInterpretation2NeighbourhoodRepresentation::MaxNumbers
49	this.relevantTypes = null	49	this.relevantTypes = null