law lj_row_excl_nil

bend-prot@0.1.0.0 · LAWS.bend:591

import Base
import bend-prot@0.1.0.0/geom.bend as G
import bend-prot@0.1.0.0/bonded.bend as B

591# Excluded rows sum nothing over nothing.
592law lj_row_excl_nil:
593  for si: U32
594  for pi: G.Vec3
595  for eps: F32
596  for sig2: F32
597  for c2: F32
598  for bonds: List<&2, U32>
599  {B.lj_row_excl(si, pi, eps, sig2, c2, empty_atoms(), bonds) == 0.0 : F32}