Gecode::Optimize::ConflictOptions Struct Reference

#include < -- improving gecode/implementation/gecode/gecode/optimize/diagnostics.hpp>

Public Attributes
SolveOptions	solve
bool	retain_deletion_witnesses = false

Member Data Documentation

solve

SolveOptions Gecode::Optimize::ConflictOptions::solve

retain_deletion_witnesses

bool Gecode::Optimize::ConflictOptions::retain_deletion_witnesses = false

---

The documentation for this struct was generated from the following file:

• diagnostics.hpp