Limbo
|
test API of solvers in limbo::solvers::LinearModel More...
Go to the source code of this file.
Functions | |
void | test1 () |
test function API | |
void | test2 (std::string const &filename) |
test file API More... | |
int | main (int argc, char **argv) |
main function More... | |
test API of solvers in limbo::solvers::LinearModel
Definition in file test_solvers.cpp.
int main | ( | int | argc, |
char ** | argv | ||
) |
main function
argc | number of arguments |
argv | values of arguments |
Definition at line 56 of file test_solvers.cpp.
void test2 | ( | std::string const & | filename | ) |