bb::HasLazyShortEdges Concept Reference

#include <flavor_concepts.hpp>

Concept definition

template<typename T>
concept bb::HasLazyShortEdges =  T::USE_SHORT_MONOMIALS && requires {
    typename T::Generated;
    typename T::template ProverUnivariates<2>::EntityId;
}

Detailed Description

Definition at line 86 of file flavor_concepts.hpp.