law min_dist2_cons

bend-prot@0.1.0.0 · LAWS.bend:121

import Base
import bend-prot@0.1.0.0/geom.bend as G
import bend-prot@0.1.0.0/protein.bend as P
import bend-prot@0.1.0.0/topology.bend as T

121# Closest-approach folds one head into the running best.
122law min_dist2_cons:
123  for h: P.Atom
124  for t: List<&2, P.Atom>
125  for qp: G.Vec3
126  {T.min_dist2_to(h <> t, qp) == T.min_cons(h, T.min_dist2_to(t, qp), qp) : Maybe<&2, F32>}