main.cpp File Reference

Detailed Description

PolySCIP main file.

Author

Sebastian Schenker

Definition in file main.cpp.

#include <iostream>
#include "polyscip.h"
#include "scip/def.h"
#include "tclap/ArgException.h"

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

using Status = polyscip::Polyscip::PolyscipStatus

abbreviation

Definition at line 29 of file main.cpp.

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().