| /dports/math/barvinok/barvinok-0.41.5/ |
| H A D | barvinok_enumerate_e.cc | 33 unsigned MaxRays) in Omega_simplify()
44 unsigned MaxRays) in Omega_simplify()
51 unsigned MaxRays) in barvinok_enumerate_parker()
186 unsigned MaxRays = options->verify->barvinok->MaxRays; in verify_results() local
|
| H A D | remove_equalities.c | 6 unsigned MaxRays) in transform()
62 int free, unsigned MaxRays) in remove_parameter_equalities()
122 unsigned nparam, unsigned MaxRays) in remove_all_equalities()
|
| H A D | scale.c | 112 Matrix *expansion, unsigned MaxRays) in apply_expansion()
145 Value *det, unsigned MaxRays) in Param_Polyhedron_Scale_Integer_Slow()
239 Value *det, unsigned MaxRays) in Param_Polyhedron_Scale_Integer_Fast()
329 unsigned MaxRays) in Polyhedron_Flate()
363 unsigned MaxRays) in flate_narrow2()
433 static Polyhedron *inflate_deflate_domain(Lattice *L, unsigned MaxRays) in inflate_deflate_domain()
459 unsigned nparam, int inflate, unsigned MaxRays) in flate_narrow()
700 unsigned MaxRays; in scale() local
|
| H A D | normalization.c | 196 unsigned MaxRays) in move_exists_in_front()
234 unsigned MaxRays) in compute_var_shifts()
283 unsigned MaxRays) in skew_to_positive_orthant()
|
| H A D | verify.c | 154 unsigned MaxRays = options->barvinok->MaxRays; in check_poly_context_scan() local
303 unsigned MaxRays) in check_EP_set_scan()
345 unsigned MaxRays = options->barvinok->MaxRays; in check_EP_on_poly() local
372 Polyhedron *DomainProject(Polyhedron *D, unsigned dim, unsigned MaxRays) in DomainProject()
389 unsigned MaxRays) in evalue_parameter_domain()
|
| H A D | topcom.c | 47 int d, unsigned nparam, unsigned MaxRays) in construct_vertex()
124 unsigned MaxRays) in add_vertex_to_domain()
164 Polyhedron *C, unsigned MaxRays) in compute_domain()
267 unsigned MaxRays = options->MaxRays; in points2triangs() local
|
| H A D | series.cc | 86 gen_fun * barvinok_series(Polyhedron *P, Polyhedron* C, unsigned MaxRays) in barvinok_series()
134 unsigned MaxRays) in barvinok_enumerate_union_series()
150 unsigned MaxRays) in put_direction_last()
|
| H A D | util.c | 55 Polyhedron *Polyhedron_Read(unsigned MaxRays) in Polyhedron_Read()
541 Polyhedron *remove_equalities(Polyhedron *P, unsigned MaxRays) in remove_equalities()
583 unsigned MaxRays) in remove_equalities_p()
856 Polyhedron *Factor_Context(Polyhedron *F, unsigned nparam, unsigned MaxRays) in Factor_Context()
1023 unsigned MaxRays; member
1088 static evalue *ParamLine_Length_mod(Polyhedron *P, Polyhedron *C, unsigned MaxRays) in ParamLine_Length_mod()
1266 unsigned MaxRays, int set) in DomainContains()
1307 Polyhedron *C, unsigned MaxRays) in barvinok_lexsmaller_ev()
1350 Polyhedron *C, unsigned MaxRays) in barvinok_lexsmaller()
1718 static Polyhedron *Recession_Cone(Polyhedron *P, unsigned nparam, unsigned MaxRays) in Recession_Cone()
[all …]
|
| H A D | hilbert.c | 115 Matrix *Cone_Hilbert_Basis(Polyhedron *C, unsigned MaxRays) in Cone_Hilbert_Basis()
208 unsigned MaxRays = options->MaxRays; in Cone_Hilbert_Integer_Hull() local
|
| H A D | evalue_read.c | 735 unsigned MaxRays) in evalue_read_domain()
797 unsigned nparam, unsigned MaxRays) in constraints2domain()
830 unsigned *nparam, unsigned MaxRays) in evalue_read_partition()
878 unsigned *nvar, unsigned *nparam, unsigned MaxRays) in evalue_read()
956 unsigned *nvar, unsigned *nparam, unsigned MaxRays) in evalue_read_from_file()
967 unsigned *nvar, unsigned *nparam, unsigned MaxRays) in evalue_read_from_str()
|
| H A D | barvinok_e.cc | 16 Polyhedron *unfringe (Polyhedron *P, unsigned MaxRays) in unfringe()
150 int nvar, int MaxRays, Vector *row, Value& f, in SplitOnConstraint()
187 unsigned MaxRays) in rotate_along()
232 int nvar, int exist, int MaxRays, in SplitOnVar()
482 evalue * EP, int r, int p, unsigned MaxRays) in enumerate_cyclic()
517 static void enumerate_vd_add_ray(evalue *EP, Matrix *Rays, unsigned MaxRays) in enumerate_vd_add_ray()
1146 unsigned MaxRays) in barvinok_enumerate_e()
|
| H A D | 4coins.cc | 13 static Polyhedron *uncone(Polyhedron *C, unsigned MaxRays) in uncone()
|
| H A D | reduce_domain.c | 7 Polyhedron *true_context(Polyhedron *P, Polyhedron *C, unsigned MaxRays) in true_context()
|
| H A D | polysign_polylib.c | 57 unsigned MaxRays) in PL_constraints_opt()
|
| H A D | options.c | 116 unsigned *MaxRays = (unsigned *)user; in maxrays_init() local
|
| H A D | edomain.cc | 435 void EDomain::substitute(evalue **subs, Matrix *T, Matrix *Eq, unsigned MaxRays) in substitute()
454 static Matrix *remove_equalities(Polyhedron **P, unsigned nparam, unsigned MaxRays) in remove_equalities()
|
| H A D | volume.c | 101 static Polyhedron *facet(Polyhedron *P, int c, unsigned MaxRays) in facet()
539 unsigned MaxRays; in Param_Polyhedron_Volume() local
|
| H A D | param_util.c | 78 unsigned MaxRays = options->MaxRays; in PL_P2PP() local
|
| H A D | evalue.c | 139 unsigned nparam, unsigned MaxRays) in addeliminatedparams_partition()
159 unsigned MaxRays, unsigned nparam) in addeliminatedparams_enum()
3432 int *signs, Matrix *C, unsigned MaxRays) in esum_over_domain()
3643 unsigned MaxRays) in Polyhedron_Split_Into_Orthants()
3740 evalue *box_summate(Polyhedron *P, evalue *E, unsigned nvar, unsigned MaxRays) in box_summate()
3994 void evalue_frac2polynomial(evalue *e, int sign, unsigned MaxRays) in evalue_frac2polynomial()
4029 void evalue_split_domains_into_orthants(evalue *e, unsigned MaxRays) in evalue_split_domains_into_orthants()
4197 void evalue_backsubstitute(evalue *e, Matrix *CP, unsigned MaxRays) in evalue_backsubstitute()
|
| H A D | hull.c | 339 Matrix *c, int n_c, unsigned MaxRays) in add_known_points()
|
| H A D | barvinok.cc | 1368 evalue* barvinok_enumerate_ev(Polyhedron *P, Polyhedron* C, unsigned MaxRays) in barvinok_enumerate_ev()
1467 Enumeration* barvinok_enumerate(Polyhedron *P, Polyhedron* C, unsigned MaxRays) in barvinok_enumerate()
1474 evalue* barvinok_enumerate_union(Polyhedron *D, Polyhedron* C, unsigned MaxRays) in barvinok_enumerate_union()
|
| /dports/math/barvinok/barvinok-0.41.5/omega_interface/ |
| H A D | count.cc | 27 unsigned MaxRays) in barvinok_enumerate_parker()
55 unsigned MaxRays) in barvinok_enumerate_parker()
|
| H A D | convert.cc | 24 unsigned MaxRays) in relation2Domain()
|
| /dports/math/barvinok/barvinok-0.41.5/barvinok/ |
| H A D | options.h | 54 unsigned MaxRays; member
|
| /dports/math/barvinok/barvinok-0.41.5/polylib/source/kernel/ |
| H A D | polyparam.c | 1014 static Polyhedron *Recession_Cone(Polyhedron *P, unsigned nvar, unsigned MaxRays) in Recession_Cone()
1897 Value *det, unsigned MaxRays) in Param_Polyhedron_Scale_Integer()
|