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 | |
| 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')
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. |