Home
last modified time | relevance | path

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

/dports/math/latte-integrale/latte-version_1_7_6/code/latte/barvinok/
H A Ddec.cpp101 const char *File_Name, int max_determinant, in decomposeCones() argument
109 parameters.max_determinant = max_determinant; in decomposeCones()
287 unsigned int flags, char *File_Name, int max_determinant, in decomposeCones_Single() argument
296 Barvinok_Parameters->max_determinant = max_determinant; in decomposeCones_Single()
H A Dbarvinok.cpp85 max_determinant(0), in BarvinokParameters()
126 if (max_determinant != 0) { in print_statistics()
128 << (max_determinant == 1 ? "unimodular" : "low-index") in print_statistics()
407 << (Parameters->max_determinant == 0 in deliver_cone()
409 : (Parameters->max_determinant == 1 in deliver_cone()
464 if (Parameters->max_determinant == 0 in barvinok_DFS()
465 || absDet <= Parameters->max_determinant) in barvinok_DFS()
H A Ddec.h45 const char *File_Name, int max_determinant,
119 int max_determinant,
H A Dbarvinok.h93 int max_determinant; variable
/dports/math/latte-integrale/latte-version_1_7_6/code/latte/
H A Dcount.cpp95 params->max_determinant = 1; in mainCountDriver()
102 params->max_determinant = 0; in mainCountDriver()
132 params->max_determinant = atoi(argv[i] + 9); in mainCountDriver()
H A DExponentialApprox.cpp201 if (abs(cone->determinant) <= max_determinant) { in EvaluateCone()
/dports/math/latte-integrale/latte-version_1_7_6/code/latte/valuation/
H A Dvaluation.cpp435 params->max_determinant = 1; in mainValuationDriver()
443 params->max_determinant = 0; in mainValuationDriver()
473 params->max_determinant = atoi(argv[i] + 9); in mainValuationDriver()
788 params->max_determinant = 1; in mainValuationDriver()
/dports/math/latte-integrale/latte-version_1_7_6/code/latte/top-knapsack/
H A DTopKnapsack.cpp692 params.max_determinant = 1; in findUnimodularCones()
/dports/math/latte-integrale/latte-version_1_7_6/
H A DChangeLog7403 Special-case max_determinant == 0 to mean "no decomposition". In
7815 Parameters->max_determinant.
7941 "max_determinant"; allows stopping decomposition before