diff options
| author | Matthieu Sozeau | 2016-10-22 11:03:13 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2016-10-22 11:32:12 +0200 |
| commit | be11ab322fa73804118738e7a08e9910fdf4600d (patch) | |
| tree | 33373d0bb32d4e46a10556a5b53436fb884f337c /dev/base_include | |
| parent | c9f8f7fe182decedda2e6403d502fda3aff24a6e (diff) | |
Renamings to avoid confusion deprecating old names
reconsider_conv_pbs -> reconsider_unif_constraints
consider_remaining_unif_problems -> solve_unif_constraints_with_heuristics
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions