MCPcopy Create free account
hub / github.com/Singular/Singular / weight_refinement

Method weight_refinement

IntegerProgramming/term_ordering.cc:332–335  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

330
331
332short term_ordering::weight_refinement() const
333{
334 return weighted_ordering;
335}
336
337
338

Callers 1

ideal.ccFile · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected