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

Name

Description

fn

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

Created with MrDocs