law count_cons

bend-prot@0.1.0.0 · LAWS.bend:90

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

90# Counting a cons cell is the head hit plus the count of the tail.
91law count_cons:
92  for h: P.Atom
93  for t: List<&2, P.Atom>
94  for qp: G.Vec3
95  for c2: F32
96  {T.count_below(h <> t, qp, c2) == Nat.add(T.count_below(t, qp, c2), T.head_hit_nat(h, qp, c2)) : Nat}