diff options
| author | Tim King <taking@cs.nyu.edu> | 2013-05-03 15:52:11 -0400 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2013-05-03 15:52:11 -0400 |
| commit | 4c20ab57d70c4812d75af037e95c371c65418333 (patch) | |
| tree | 88ae9d4ca928a5bb8536819ccbdbd9031b63684a /src/theory/arith/fc_simplex.cpp | |
| parent | 753e84e5b3068efe973be1871b6456abf9b9470b (diff) | |
More misc. arithmetic cleanup. Removing unused files and functions. Also removing an ugly forward declaration that was needed to get error set bound information on basic variables.
Diffstat (limited to 'src/theory/arith/fc_simplex.cpp')
| -rw-r--r-- | src/theory/arith/fc_simplex.cpp | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/theory/arith/fc_simplex.cpp b/src/theory/arith/fc_simplex.cpp index d264be978..e99e62505 100644 --- a/src/theory/arith/fc_simplex.cpp +++ b/src/theory/arith/fc_simplex.cpp @@ -358,18 +358,9 @@ UpdateInfo FCSimplexDecisionProcedure::selectPrimalUpdate(ArithVar basic, Linear ArithVar curr = cand.d_nb; const Rational& coeff = *cand.d_coeff; -#warning "Who is using computeSafeUpdate?" LinearEqualityModule::UpdatePreferenceFunction leavingPrefFunc = selectLeavingFunction(curr); UpdateInfo currProposal = d_linEq.speculativeUpdate(curr, coeff, leavingPrefFunc); - //int curr_movement = cand.d_sgn; - // if(isFocus){ - // currProposal = d_linEq.speculativeUpdate(curr, coeff, upf); - // }else{ - // currProposal = UpdateInfo(curr, curr_movement); - // d_linEq.computeSafeUpdate(currProposal, bpf); - // } - Debug("arith::selectPrimalUpdate") << "selected " << selected << endl << "currProp " << currProposal << endl |