ConstraintSet.h File Reference

#include <CGRA/ILPMapper.h>
#include <CGRA/TupleHash.h>
#include <algorithm>
#include <stdexcept>
#include <functional>

Go to the source code of this file.

Functions
std::string	makeNameSolverSafe (std::string s)

Variables
const int	GUROBI_MAX_STRING_LENGTH = 255

Function Documentation

makeNameSolverSafe()

std::string makeNameSolverSafe

(

std::string

s

)

Take s and make sure its length is at most GUROBI_MAX_STRING_LENGTH. Result can be assumed to be unique, and will be mostly a character sub-sequence of s Colons are not allowed in the .lp file spec, so they are replaced too.

Definition at line 126 of file ConstraintSet.cpp.

Variable Documentation

GUROBI_MAX_STRING_LENGTH

const int GUROBI_MAX_STRING_LENGTH = 255

Definition at line 418 of file ConstraintSet.h.