law contacts_cons

bend-prot@0.1.0.0 · LAWS.bend:98

import Base
import bend-prot@0.1.0.0/protein.bend as P
import bend-prot@0.1.0.0/topology.bend as T

98# Interface counting peels one head the same way.
99law contacts_cons:
100  for x: P.Atom
101  for xt: List<&2, P.Atom>
102  for ys: List<&2, P.Atom>
103  for c2: F32
104  {T.contacts_between(x <> xt, ys, c2) == Nat.add(T.contacts_between(xt, ys, c2), T.contacts_of_head(x, ys, c2)) : Nat}