Function PropagateFunction

lean_py/z3/core.py:4737–4741

Create a propagation function.

(name: str, *sorts: SortRef)

def PropagateFunction(name: str, *sorts: SortRef) -> FuncDeclRef:
    """Create a propagation function."""
    if len(sorts) < 2:
        raise TypeError("PropagateFunction needs at least domain and range sorts")
    return Function(name, *sorts)


# ---------------------------------------------------------------------------