law count_single

bend-prot@0.1.0.0 · LAWS.bend:205

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

205# Counting one atom is that atom's hit.
206law count_single:
207  for h: P.Atom
208  for qp: G.Vec3
209  for c2: F32
210  {T.count_below([h], qp, c2) == T.head_hit_nat(h, qp, c2) : Nat}