Fig. 7
From: Infrared: a declarative tree decomposition-powered framework for bioinformatics
Modeling sequence structure alignment. Example of a valid assignment and corresponding alignment with a pseudoknotted structure. The model contains one network function \({\text {\textsf{BPMatch}}}\) per input base pair (arcs on top). These functions contribute \(\tau\) for matches to canonical bases (dashed arcs)