Skip to content

Commit

Permalink
revert to passing internal states to CostTerm while lifting
Browse files Browse the repository at this point in the history
and add a justification for doing so.
  • Loading branch information
v4hn committed Apr 13, 2021
1 parent 2ab87a2 commit 367f48b
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions core/src/container.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -212,8 +212,9 @@ void ContainerBasePrivate::liftSolution(const SolutionBasePtr& solution, const I
const InterfaceState* external_to{ create_to ? new_external : internalToExternalMap().at(internal_to) };

// computeCost
computeCost(external_from ? *external_from : InterfaceState(*internal_from),
external_to ? *external_to : InterfaceState(*internal_to), *solution);
// we can pass intern_{from/to} here because in this case the lifted states that might be created later
// are equivalent up to the connected Solutions (which are not relevant for CostTerms)
computeCost(external_from ? *external_from : *internal_from, external_to ? *external_to : *internal_to, *solution);

// storeSolution
if (!storeSolution(solution, external_from, external_to)) {
Expand Down

0 comments on commit 367f48b

Please sign in to comment.