NetBSD Cross-Reference & Source Code Search Engine

Home	Sort by: relevance \| last modified time \| path

Full Search

in project(s):

Definition

Symbol

File Path

History

| | Help

Searched defs:farkas (Results 1 - 2 of 2) sorted by relevancy

/src/external/mit/isl/dist/
isl_farkas.c	`44 * This is essentially Farkas' lemma. 224 /* Compute the dual of "bset" by applying Farkas' lemma. 234 * of the standard farkas algorithm. We therefore handle this case 237 static __isl_give isl_basic_set farkas(__isl_take isl_basic_set bset, function 324 return farkas(bset, 1); 881 bset = farkas(bset, -1);`
isl_farkas.c	`44 * This is essentially Farkas' lemma. 224 /* Compute the dual of "bset" by applying Farkas' lemma. 234 * of the standard farkas algorithm. We therefore handle this case 237 static __isl_give isl_basic_set farkas(__isl_take isl_basic_set bset, function 324 return farkas(bset, 1); 881 bset = farkas(bset, -1);`

Completed in 34 milliseconds