|
Classes |
class | KLContext |
Typedefs |
typedef unsigned | KLCoeff |
typedef polynomials::Polynomial<
KLCoeff > | KLPol |
typedef std::set< KLPol
>::iterator | KLPtr |
typedef std::vector< KLPtr > | KLRow |
typedef unsigned | MuCoeff |
typedef std::pair< size_t,
MuCoeff > | MuData |
typedef std::vector< MuData > | MuRow |
Functions |
void | wGraph (wgraph::WGraph &wg, const KLContext &klc) |
const KLPol | One (0) |
Variables |
const KLPol | Zero |
const KLCoeff | UndefKLCoeff = std::numeric_limits<KLCoeff>::max() |
const KLCoeff | UndefMuCoeff = std::numeric_limits<MuCoeff>::max() |