mln::trait::multiply_defined Struct Reference

Flag type for a trait that is multiply undefined. More...

#include <solve.hh>

---

Detailed Description

Flag type for a trait that is multiply undefined.