Home
last modified time | relevance | path

Searched refs:addeliminatedparams_partition (Results 1 – 1 of 1) sorted by relevance

/dports/math/barvinok/barvinok-0.41.5/
H A Devalue.c138 static void addeliminatedparams_partition(enode *p, Matrix *CT, Polyhedron *CEq, in addeliminatedparams_partition() function
186 addeliminatedparams_partition(p, CT, CEq, nparam, MaxRays); in addeliminatedparams_enum()
4222 addeliminatedparams_partition(p, inv, CEq, inv->NbColumns-1, MaxRays); in evalue_backsubstitute()