Template Struct IrrepNodeTraits

• Defined in File propagation.hpp

Struct Documentation

template<typename Node>
struct IrrepNodeTraits

Adapter that makes a given type of (expression) node accessible to the generic IRREP propagation. Specializations provide

• kind(node) -> IrrepNodeKind

• for_each_child(node, f) calling f(const Node&) for every child

• leaf_irreps(node, ctx) -> the IRREPs of a leaf node