7 #ifndef __SENSAMPLTNLP_HPP__
8 #define __SENSAMPLTNLP_HPP__
28 bool allow_discrete =
false,
30 const char* ampl_option_string = NULL ,
31 const char* ampl_invokation_string = NULL,
32 const char* ampl_banner_string = NULL,
33 std::string* nl_file_content = NULL);