Skip to content

Commit

Permalink
Merge pull request #1483 from NASA-AMMOS/bugfix/clamped-integrate
Browse files Browse the repository at this point in the history
Bug fix for clampedIntegrate
  • Loading branch information
mattdailis authored Jun 20, 2024
2 parents 8ac4188 + 19e30d7 commit 8ca9a84
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -374,7 +374,7 @@ public static ClampedIntegrateResult clampedIntegrate(
// Set up slack variables for under-/overflow
rateSolver.declare(lx(overflowRate), GreaterThanOrEquals, lx(0));
rateSolver.declare(lx(underflowRate), GreaterThanOrEquals, lx(0));
rateSolver.declare(lx(rate).add(lx(underflowRate)).subtract(lx(overflowRate)), Equals, lx(integrand));
rateSolver.declare(lx(rate).subtract(lx(underflowRate)).add(lx(overflowRate)), Equals, lx(integrand));

// Set up rate clamping conditions
var integrandUB = choose(
Expand Down

0 comments on commit 8ca9a84

Please sign in to comment.