evalue.c: add function for checking nesting of an evalue

[barvinok.git] / omega / count.h

#include <barvinok/barvinok.h>
#include <omega.h>

evalue *count_relation(Relation& r);
evalue *rank_relation(Relation& r);
evalue *count_lexsmaller(Relation& r, Relation& domain);