law count_par4_step

bend-prot@0.1.0.0 · LAWS.bend:438

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
import bend-prot@0.1.0.0/par.bend as Par

438# A full unrolled step splits four parallel hits plus the tail.
439law count_par4_step:
440  for h1: P.Atom
441  for h2: P.Atom
442  for h3: P.Atom
443  for h4: P.Atom
444  for t: List<&2, P.Atom>
445  for qp: G.Vec3
446  for c2: F32
447  {Par.count_par4(h1 <> h2 <> h3 <> h4 <> t, qp, c2) == Nat.add(Nat.add(T.head_hit_nat(h1, qp, c2), T.head_hit_nat(h2, qp, c2)), Nat.add(T.head_hit_nat(h3, qp, c2), Nat.add(T.head_hit_nat(h4, qp, c2), Par.count_par4(t, qp, c2)))) : Nat}