kdrag.solvers.prolog.interp

kdrag.solvers.prolog.interp(t: Tree) → tuple[list[BoolRef | QuantifierRef], list[tuple[list[ExprRef], list[BoolRef]]]]

Parameters:

t (Tree)

Return type:

tuple[list[BoolRef | QuantifierRef], list[tuple[list[ExprRef], list[BoolRef]]]]