Package | Description |
---|---|
de.uka.ilkd.key.gui.proofdiff |
Modifier and Type | Method and Description |
---|---|
static ProofDifference |
ProofDifference.create(Node left,
Node right,
java.util.function.Function<Term,java.lang.String> printer) |
static ProofDifference |
ProofDifference.create(Services services,
Node left,
Node right) |
Copyright © 2003-2019 The KeY-Project.