Searched defs:_hadAddToOutput (Results 1 – 1 of 1) sorted by relevance
601 bool _hadAddToOutput; in create_dzn_output_item() member in MiniZinc::create_dzn_output_item::DZNOVisitor778 bool _hadAddToOutput; in create_json_output() member in MiniZinc::create_json_output::JSONOVisitor