[#BloombergLP-balcl-TypeInfoUtil-satisfiesConstraint-04]
= xref:BloombergLP.adoc[BloombergLP]::xref:BloombergLP/balcl.adoc[balcl]::xref:BloombergLP/balcl/TypeInfoUtil.adoc[TypeInfoUtil]::satisfiesConstraint
:relfileprefix: ../../../
:mrdocs:

`satisfiesConstraint` overloads

== Synopses

Declared in `<balcl_typeinfo.h>`

Return `true` if the specified `element` satisfies the constraint of `typeInfo`.


[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
static
bool
xref:BloombergLP/balcl/TypeInfoUtil/satisfiesConstraint-00.adoc[satisfiesConstraint](
    xref:BloombergLP/balcl/OptionValue.adoc[OptionValue] const& element,
    xref:BloombergLP/balcl/TypeInfo.adoc[TypeInfo] const& typeInfo);
----

[.small]#xref:BloombergLP/balcl/TypeInfoUtil/satisfiesConstraint-00.adoc[_» more..._]#

Return `true` if the value at `variable` satisfies the constraint of `typeInfo`.


[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
static
bool
xref:BloombergLP/balcl/TypeInfoUtil/satisfiesConstraint-03.adoc[satisfiesConstraint](
    void const* variable,
    xref:BloombergLP/balcl/TypeInfo.adoc[TypeInfo] const& typeInfo);
----

[.small]#xref:BloombergLP/balcl/TypeInfoUtil/satisfiesConstraint-03.adoc[_» more..._]#

Return `true` if `element` satisfies the constraint of `typeInfo`.


[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
static
bool
xref:BloombergLP/balcl/TypeInfoUtil/satisfiesConstraint-0c.adoc[satisfiesConstraint](
    xref:BloombergLP/balcl/OptionValue.adoc[OptionValue] const& element,
    xref:BloombergLP/balcl/TypeInfo.adoc[TypeInfo] const& typeInfo,
    std::ostream& stream);
----

[.small]#xref:BloombergLP/balcl/TypeInfoUtil/satisfiesConstraint-0c.adoc[_» more..._]#

Return `true` if the value at `variable` satisfies the constraint of `typeInfo`.


[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
static
bool
xref:BloombergLP/balcl/TypeInfoUtil/satisfiesConstraint-0a.adoc[satisfiesConstraint](
    void const* variable,
    xref:BloombergLP/balcl/TypeInfo.adoc[TypeInfo] const& typeInfo,
    std::ostream& stream);
----

[.small]#xref:BloombergLP/balcl/TypeInfoUtil/satisfiesConstraint-0a.adoc[_» more..._]#

== Return Value

* `true` if `element` satisfies the constraint (or there is none), and `false` otherwise
* `true` if the value satisfies the constraint (or there is none), and `false` otherwise

== Parameters

[cols="1,4"]
|===
| Name| Description
| *element*
| option value to validate
| *typeInfo*
| type and constraint information
| *variable*
| address of the value to validate
| *stream*
| diagnostic output stream
|===


[.small]#Created with https://www.mrdocs.com[MrDocs]#