evalue.c: reorder_terms: fix typo

[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);