Public Types

mln::trait::next::set_unary_< Name, Unknown, T > Struct Template Reference

#include <solve.hh>

List of all members.

Public Types

typedef not_found ret

template<typename Name, typename T>
struct mln::trait::next::set_unary_< Name, Unknown, T >


Member Typedef Documentation

template<typename Name , typename T >
typedef not_found mln::trait::next::set_unary_< Name, Unknown, T >::ret