law sd_fuel0

bend-prot@0.1.0.0 · LAWS.bend:77

import Base
import bend-prot@0.1.0.0/protein.bend as P
import bend-prot@0.1.0.0/force.bend as F

77# Zero minimization steps change nothing, on any input, not just nothing.
78law sd_fuel0:
79  for xs: List<&2, P.Atom>
80  for eps: F32
81  for sig2: F32
82  for c2: F32
83  for dt: F32
84  {F.minimize(0n, xs, eps, sig2, c2, dt) == xs : List<&2, P.Atom>}