#include <SolCheck.h>

Inheritance diagram for Minotaur::SolCheck:

Collaboration diagram for Minotaur::SolCheck:

[legend]

Public Member Functions
	SolCheck (EnvPtr env)
	Default constructor.

	~SolCheck ()
	Destroy.

void	doSetup ()

void	showHelp () const
	show help messages

int	showInfo ()
	Display information.

int	solve (ProblemPtr p)
	Solve the problem. More...

std::string	getAbout ()
	get status of the last solve.

SolveStatus	getStatus ()
	get status of the last solve. More...

double	getUb ()
	get solution of the last solve. More...

double	getLb ()
	Return the lower bound for the optimal value.

Public Member Functions inherited from Minotaur::Solver
	Solver ()
	Default constructor.

virtual	~Solver ()
	Destroy.

virtual FileType	getFileType (std::string fname)
	Helper function to determin file type (mps, nl etc)

virtual ProblemPtr	readProblem (std::string fname, std::string dname, std::string sname, int &err)

virtual bool	timeCheck ()

virtual int	solve (ProblemPtr p)=0
	Solve the problem. More...

virtual SolveStatus	getStatus ()=0
	get status of the last solve More...

void	setIface (MINOTAUR_AMPL::AMPLInterface *iface)

Additional Inherited Members
Protected Member Functions inherited from Minotaur::Solver
virtual int	writeSol_ (EnvPtr env, VarVector orig_v, PresolverPtr pres, SolutionPtr sol, SolveStatus status, MINOTAUR_AMPL::AMPLInterface iface)

Protected Attributes inherited from Minotaur::Solver
EnvPtr	env_

MINOTAUR_AMPL::AMPLInterface *	iface_

bool	ownIface_

Detailed Description

For a given MINLO model and a solution, report constraint violations and objective value of the solution. Used for debugging.

Member Function Documentation

SolveStatus SolCheck::getStatus ( )

virtual

get status of the last solve.

double Minotaur::SolCheck::getUb ( )

get solution of the last solve.

Return the upper bound for the optimal value

int SolCheck::solve ( ProblemPtr p )

virtual

Solve the problem.

The documentation for this class was generated from the following files: