law lj_row_par4_nil

bend-prot@0.1.0.0 · LAWS.bend:456

import bend-prot@0.1.0.0/LAWS.bend as LAWS
import Base
import bend-prot@0.1.0.0/geom.bend as G
import bend-prot@0.1.0.0/par.bend as Par

456# Empty rows sum nothing, through the fallback arm.
457law lj_row_par4_nil:
458  for pi: G.Vec3
459  for eps: F32
460  for sig2: F32
461  for c2: F32
462  {Par.lj_row_par4(pi, eps, sig2, c2, empty_atoms()) == 0.0 : F32}

Uses (4)

Used by (0)

No other definition uses this definition.