Detailed Description
PolySCIP main file.
Definition in file main.cpp.
Go to the source code of this file.
Typedefs | |
using | Status = polyscip::Polyscip::PolyscipStatus |
abbreviation More... | |
Functions | |
int | main (int argc, char **argv) |
Typedef Documentation
◆ Status
Function Documentation
◆ main()
int main | ( | int | argc, |
char ** | argv | ||
) |
Main function
- Parameters
-
argc Argument count argv Argument vector
- Returns
- 0
Definition at line 38 of file main.cpp.
References polyscip::Polyscip::computeNondomPoints(), polyscip::Polyscip::dominatedPointsFound(), polyscip::Polyscip::Finished, polyscip::Polyscip::getStatus(), polyscip::Polyscip::numberOfBoundedResults(), polyscip::Polyscip::numberofUnboundedResults(), polyscip::Polyscip::printResults(), polyscip::Polyscip::printStatus(), polyscip::Polyscip::readProblem(), SCIP_CALL, polyscip::Polyscip::TimeLimitReached, polyscip::Polyscip::writeResults(), and polyscip::Polyscip::writeResultsToFile().