From c1d468f71e0199ee7b2e421bd45258b4bdb5deb0 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sat, 1 Jun 2019 21:57:35 -0400 Subject: Default state coder range set to Width, as it should be --- .../statecoder/NeighbourhoodBasedStateCoderFactory.xtend | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/statecoder/NeighbourhoodBasedStateCoderFactory.xtend') 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 relevantRelations public new() { - this.range = PartialInterpretation2NeighbourhoodRepresentation::FixPointRage + this.range = PartialInterpretation2NeighbourhoodRepresentation::GraphWidthRange this.parallels = PartialInterpretation2NeighbourhoodRepresentation::FullParallels this.maxNumber = PartialInterpretation2NeighbourhoodRepresentation::MaxNumbers this.relevantTypes = null -- cgit v1.2.3-70-g09d2