miniscript::Node::IsSatisfiable

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

Synopsis

Declared in <script/miniscript.h>

template<typename F>
bool
IsSatisfiable(F fn) const;

Return Value

True if the whole expression is satisfiable.

Parameters

NameDescription
fnPredicate invoked on each key, time, and hashing node to report its satisfiability.