summaryrefslogtreecommitdiff
path: root/isl_tab.c
AgeCommit message (Expand)AuthorFilesLines
2009-09-09isl_tab.c: cut_to_hyperplane: do nothing if selected constraint is an equalitySven Verdoolaege1-0/+4
2009-09-08isl_tab_dup: avoid out-of-bounds array accessSven Verdoolaege1-3/+5
2009-09-06isl_tab.c: sign_of_min: only pivot back if we performed any pivotSven Verdoolaege1-2/+2
2009-09-06isl_tab.c: isl_tab_mark_redundant: fix up error returnSven Verdoolaege1-1/+1
2009-09-06isl_tab.c: remove unused variablesSven Verdoolaege1-4/+0
2009-09-06isl_tab.c: fix up to_colSven Verdoolaege1-3/+3
2009-08-28isl_seq_normalize: use pre-allocated temporary variable in isl_ctxSven Verdoolaege1-3/+4
2009-08-28add isl_vec_normalizeSven Verdoolaege1-1/+1
2009-08-28isl_solve_lp: optionally return solution pointSven Verdoolaege1-1/+1
2009-08-09isl_tab_min: read off all information from tableau before rollbackSven Verdoolaege1-2/+2
2009-08-09isl_tab_add_valid_eq: keep track of whether equality is negatedSven Verdoolaege1-5/+16
2009-08-07isl_tab: add support for keeping track of samplesSven Verdoolaege1-0/+13
2009-08-07isl_tab: optionally keep track of row signsSven Verdoolaege1-2/+88
2009-08-07isl_tab: add isl_basic_set field for optionally keeping track of inequalitiesSven Verdoolaege1-0/+12
2009-08-07isl_tab: introduce support for "big parameters"Sven Verdoolaege1-61/+133
2009-08-07isl_tab: allow introduction of extra variablesSven Verdoolaege1-1/+83
2009-08-07isl_tab: introduce parameters and divsSven Verdoolaege1-1/+7
2009-08-07isl_tab: allow saving and restoring the complete basisSven Verdoolaege1-0/+80
2009-08-07isl_tab: privately export some functionalitySven Verdoolaege1-85/+85
2009-08-07isl_tab: store undo argument in a union for future extensionsSven Verdoolaege1-24/+56
2009-08-07isl_tab_pivot: fix typo that prevented normalization of rowsSven Verdoolaege1-1/+1
2009-08-07isl_tab: store index of variable in undo record instead of pointer to variableSven Verdoolaege1-12/+18
2009-08-04add isl_tab_dupSven Verdoolaege1-0/+56
2009-08-04isl_tab.c: mark_redundant: only mark variable nonneg if they weren't alreadySven Verdoolaege1-1/+1
2009-08-04isl_tab.c: to_row: allow pivoting in arbitrary directionSven Verdoolaege1-4/+16
2009-08-04isl_tab.c: simplify code by letting mark_empty return tabSven Verdoolaege1-15/+11
2009-08-04isl_tab.c: simplify add_eqSven Verdoolaege1-7/+6
2009-08-04isl_tab.c: extract allocate_conSven Verdoolaege1-14/+30
2009-07-20isl_tab_cone_is_bounded: start over after computing sign_of_maxSven Verdoolaege1-9/+12
2009-07-16isl_tab: drop isl_ctx argument where not absolutely requiredSven Verdoolaege1-271/+238
2009-07-16isl_mat: keep track of isl_ctxSven Verdoolaege1-5/+5
2009-07-15isl_tab.c: fix typo in commentSven Verdoolaege1-1/+1
2009-07-15export isl_tab_sample_is_integerSven Verdoolaege1-2/+5
2009-07-13isl_tab: don't create new undo records during rollbackSven Verdoolaege1-0/+5
2009-07-13isl_tab_min: use general rollback mechanismSven Verdoolaege1-1/+3
2009-07-13isl_tab: optionally save dual solutionSven Verdoolaege1-1/+21
2009-07-13isl_tab: add isl_tab_add_valid_eqSven Verdoolaege1-9/+75
2009-05-06isl_tab.c: add isl_tab_get_sample_valueSven Verdoolaege1-0/+36
2009-05-05isl_tab.c: fix typo in commentSven Verdoolaege1-1/+1
2009-03-23isl_tab.c: store number of equalities among the constraints in tableauSven Verdoolaege1-1/+3
2009-03-20isl_tab.c: don't detect equalities while setting up tableauSven Verdoolaege1-25/+7
2009-03-20add internal representation of LP tableausSven Verdoolaege1-0/+1760
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-19 18:27:11 +0000