# Tools for contours used by the HotPath heuristic.
# Last edited on 2021-05-21 05:14:02 by jstolfi

# In addition to the fields defined in the {contact} module,
# each {Contact} object has some fields used by the HotPath
# heuristic.

import contour_hp_IMP

def set_used(cr, us):
  # Sets a mutable {.used} bool flag of the {Contour} object {cr} to the value {us}.
  contour_hp_IMP.set_used(cr, us)

def used(cr):
  # Returns the current value of the {.used} flag of the {Contour} object {cr}.
  return contour_hp_IMP.used(cr)