public static interface PredicateEstimator.Result
Node
getCommonParent()
Term
getPredicate()
Term getPredicate()
Node getCommonParent()
Copyright © 2003-2019 The KeY-Project.