public class PredictCostProver
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static long |
computerInstanceCost(Substitution sub,
Term matrix,
ImmutableSet<Term> assertList,
Services services) |
public static long computerInstanceCost(Substitution sub, Term matrix, ImmutableSet<Term> assertList, Services services)
Copyright © 2003-2019 The KeY-Project.