law lj_total_excl_nil

bend-prot@0.1.0.0 · LAWS.bend:601

import Base
import bend-prot@0.1.0.0/protein.bend as P
import bend-prot@0.1.0.0/bonded.bend as B

601law lj_total_excl_nil:
602  for ys: List<&2, P.Atom>
603  for eps: F32
604  for sig2: F32
605  for c2: F32
606  for bonds: List<&2, U32>
607  {B.lj_total_excl(empty_atoms(), ys, eps, sig2, c2, bonds) == 0.0 : F32}