public class ProofDifference
extends java.lang.Object
Constructor and Description |
---|
ProofDifference() |
Modifier and Type | Method and Description |
---|---|
void |
computeDiff() |
static ProofDifference |
create(Node left,
Node right,
java.util.function.Function<Term,java.lang.String> printer) |
static ProofDifference |
create(Services services,
Node left,
Node right) |
java.util.List<de.uka.ilkd.key.gui.proofdiff.ProofDifference.Matching> |
getAntecPairs() |
java.util.Set<java.lang.String> |
getCommonAntec() |
java.util.Set<java.lang.String> |
getCommonSucc() |
java.util.Set<java.lang.String> |
getExclusiveAntec() |
java.util.Set<java.lang.String> |
getExclusiveSucc() |
java.util.List<java.lang.String> |
getLeftAntec() |
java.util.List<java.lang.String> |
getLeftSucc() |
java.util.List<java.lang.String> |
getRightAntec() |
java.util.List<java.lang.String> |
getRightSucc() |
java.util.List<de.uka.ilkd.key.gui.proofdiff.ProofDifference.Matching> |
getSuccPairs() |
public static ProofDifference create(Services services, Node left, Node right)
public static ProofDifference create(Node left, Node right, java.util.function.Function<Term,java.lang.String> printer)
public void computeDiff()
public java.util.List<java.lang.String> getLeftAntec()
public java.util.List<java.lang.String> getRightAntec()
public java.util.List<java.lang.String> getRightSucc()
public java.util.List<java.lang.String> getLeftSucc()
public java.util.Set<java.lang.String> getExclusiveAntec()
public java.util.Set<java.lang.String> getCommonSucc()
public java.util.Set<java.lang.String> getExclusiveSucc()
public java.util.Set<java.lang.String> getCommonAntec()
public java.util.List<de.uka.ilkd.key.gui.proofdiff.ProofDifference.Matching> getSuccPairs()
public java.util.List<de.uka.ilkd.key.gui.proofdiff.ProofDifference.Matching> getAntecPairs()
Copyright © 2003-2019 The KeY-Project.