gen_fun::Hadamard_product: don't assume equalities are independent

[barvinok.git] / omega / vertices.h

#include <omega.h>

void vertices(Relation& r);