Constraints Utility Library
[Utility Library]

---

Detailed Description

This library defines classes, functions and macros that act as constraints.

The following constraints are defined by the STLSoft libraries:

• stlsoft::must_have_base - ensures that a given class is derived from, or is the same as, another.
• stlsoft::must_be_derived - ensures that a given class is derived from, and not the same as, another.
• stlsoft::must_be_same_size - ensures that two types are the same size.
• stlsoft::must_be_subscriptable - ensures that a type is subscriptable.
• stlsoft::must_subscript_as_decayable_pointer - ensures that a type is subscriptable as a decayable pointer, i.e. it is a pointer or an array.
• stlsoft::must_be_pod - ensures that a type is POD (plain old data).
• stlsoft::must_be_pod_or_void - ensures that a type is POD (plain old data), or is void.

Classes
struct	must_have_base
	Constraint to ensure that the one type is convertible to another via inheritance. More...
struct	must_be_derived
	Constraint to ensure that the one type is convertible to another via inheritance, but is not the same type. More...
struct	must_be_same_size
	Constrains two types to be of the same size. More...
struct	must_be_subscriptable
	Constraint to enforce that a given type is an array, or pointer, or user defined type which is amenable to subsripting (i.e. More...
struct	must_subscript_as_decayable_pointer
	Constraint to enforce that a given type is an actual array or pointer, rather than a user-defined type with a subscript operator. More...
union	must_be_pod
	Constraint to ensure that a type is a built-in or trivial type. More...
union	must_be_pod_or_void
	Constraint to ensure that a type is a built-in or trivial type, or is void. More...