diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-08-01 14:54:13 +0200 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-08-01 14:54:13 +0200 |
commit | 9f133ae7abf273324033789c6582327bc61e5cb3 (patch) | |
tree | ccc7c05052f02dafed6a9c98af4e8c5d37855c3a /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu | |
parent | [Stochastic] Remove fault tree support for now (diff) | |
parent | https://github.com/kris7t graph width calculation -> (diff) | |
download | VIATRA-Generator-9f133ae7abf273324033789c6582327bc61e5cb3.tar.gz VIATRA-Generator-9f133ae7abf273324033789c6582327bc61e5cb3.tar.zst VIATRA-Generator-9f133ae7abf273324033789c6582327bc61e5cb3.zip |
Merge remote-tracking branch 'origin/master' into kris
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu')
1 files changed, 0 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 54b0f54a..a0382e8e 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 | |||
@@ -131,12 +131,10 @@ abstract class PartialInterpretation2NeighbourhoodRepresentation<ModelRepresenta | |||
131 | } | 131 | } |
132 | newAdded = newAdded || (newElementNeigbours.size > elementNeigbours.size) | 132 | newAdded = newAdded || (newElementNeigbours.size > elementNeigbours.size) |
133 | } | 133 | } |
134 | |||
135 | width += 1 | 134 | width += 1 |
136 | } while (newAdded) | 135 | } while (newAdded) |
137 | return width | 136 | return width |
138 | } | 137 | } |
139 | |||
140 | /** | 138 | /** |
141 | * Creates a neighbourhood representation with traces | 139 | * Creates a neighbourhood representation with traces |
142 | * @param model The model to be represented. | 140 | * @param model The model to be represented. |