mln::trait::undefined Struct Reference

Flag type for an undefined trait. More...

#include <solve.hh>


Detailed Description

Flag type for an undefined trait.