Class Dependency

problem.py:676–1056

Dependency is a predicate that other predicates depend on.

class Dependency(Construction):
  """Dependency is a predicate that other predicates depend on."""

  def __init__(
      self, name: str, args: list[gm.Point], rule_name: str, level: int
  ):
    super().__init__(name, args)
    self.rule_name = rule_name or ''
    self.level = level
    self.why = []

    self._stat = None
    self.trace = None

  def _find(self, dep_hashed: tuple[str, ...]) -> Dependency:
    for w in self.why:
      f = w._find(dep_hashed)
      if f:
        return f
      if w.hashed() == dep_hashed:
        return w

  def remove_loop(self) -> Dependency:
    f = self._find(self.hashed())
    if f:
      return f
    return self

  def copy(self) -> Dependency:
    dep = Dependency(self.name, self.args, self.rule_name, self.level)
    dep.trace = self.trace
    dep.why = list(self.why)
    return dep

  def why_me_or_cache(self, g: Any, level: int) -> Dependency:
    if self.hashed() in g.cache:
      return g.cache[self.hashed()]
    self.why_me(g, level)
    return self

  def populate(self, name: str, args: list[gm.Point]) -> Dependency:
    assert self.rule_name == CONSTRUCTION_RULE, self.rule_name
    dep = Dependency(self.name, self.args, self.rule_name, self.level)
    dep.why = list(self.why)
    return dep

  def why_me(self, g: Any, level: int) -> None:
    """Figure out the dependencies predicates of self."""
    name, args = self.name, self.args

    hashed_me = hashed(name, args)
    if hashed_me in g.cache:
      dep = g.cache[hashed_me]
      self.why = dep.why
      self.rule_name = dep.rule_name
      return

    if self.name == 'para':