diff options
| author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-05-25 15:33:59 +0200 |
|---|---|---|
| committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-05-25 15:33:59 +0200 |
| commit | 6eb48ea4e36e588c5af75040d5640e92bf02172c (patch) | |
| tree | b278199c15eb01a8dc0f38d80ae8e33733acbc96 /LICENSE | |
| parent | b9e6a2d6314852797dca4c156963dbb446824d8a (diff) | |
Code review: rename check_edge_domination as edge_is_dominated
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions