|
| | ExecEntry (const std::string &program0, const std::vector< std::string > &args0, const BlackBoxHandle &handle0) |
Definition at line 70 of file blackbox-propagator.cpp.
◆ ExecEntry()
| Gecode::FlatZinc::BlackBoxContext::ExecEntry::ExecEntry |
( |
const std::string & | program0, |
|
|
const std::vector< std::string > & | args0, |
|
|
const BlackBoxHandle & | handle0 ) |
|
inline |
◆ program
| std::string Gecode::FlatZinc::BlackBoxContext::ExecEntry::program |
◆ args
| std::vector<std::string> Gecode::FlatZinc::BlackBoxContext::ExecEntry::args |
◆ handle
| BlackBoxHandle Gecode::FlatZinc::BlackBoxContext::ExecEntry::handle |
The documentation for this class was generated from the following file: