law coord_cons

bend-prot@0.1.0.0 · LAWS.bend:113

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

113# Coordination counts peel one head.
114law coord_cons:
115  for x: P.Atom
116  for xt: List<&2, P.Atom>
117  for ys: List<&2, P.Atom>
118  for c2: F32
119  {T.coord_counts(x <> xt, ys, c2) == T.contacts_of_head(x, ys, c2) <> T.coord_counts(xt, ys, c2) : List<&2, Nat>}