file
algHF.hdeclares the HF algebra from OzSzPingPong
The universal cobordism category is implemented as a category in terms of objects (CobObj) and morphisms between them (CobMor, Deco).
Classes

template<typename Coeff>class algHF
 morphism in the cobordism category
Typedefs
 using KS = std::vector<bool>
 container type for Kauffman states: the entry is true iff the component is a solid dot •.