[#miniscript-Node-IsSatisfiable]
= xref:miniscript.adoc[miniscript]::xref:miniscript/Node.adoc[Node]::IsSatisfiable
:relfileprefix: ../../
:mrdocs:

Determine whether a Miniscript node is satisfiable&period; fn(node) will be invoked for all key, time, and hashing nodes, and should return their satisfiability&period;

== Synopsis

Declared in `&lt;script&sol;miniscript&period;h&gt;`

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
template&lt;typename F&gt;
bool
IsSatisfiable(F fn) const;
----

== Return Value

True if the whole expression is satisfiable&period;

== Parameters

[cols="1,4"]
|===
| Name| Description
| *fn*
| Predicate invoked on each key, time, and hashing node to report its satisfiability&period;
|===


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