public static interface ProofUnifier.PostUnifyHook
Modifier and Type | Method and Description |
---|---|
void |
process(DerivationStep d,
Assrt assrt,
ParseNode[] assrtSubst) |
void process(DerivationStep d, Assrt assrt, ParseNode[] assrtSubst)