public class SubTermFeature extends java.lang.Object implements TermFeature
arityMismatchCost
will
be returnedModifier and Type | Method and Description |
---|---|
RuleAppCost |
compute(Term term,
Services services) |
static TermFeature |
create(TermFeature[] fs) |
static TermFeature |
create(TermFeature[] fs,
RuleAppCost arityMismatchCost) |
public static TermFeature create(TermFeature[] fs, RuleAppCost arityMismatchCost)
public static TermFeature create(TermFeature[] fs)
public RuleAppCost compute(Term term, Services services)
compute
in interface TermFeature
Copyright © 2003-2019 The KeY-Project.