de.uka.ilkd.key.strategy.termfeature

Class SubTermFeature

java.lang.Object

de.uka.ilkd.key.strategy.termfeature.SubTermFeature

All Implemented Interfaces:

TermFeature

public class SubTermFeature
extends java.lang.Object
implements TermFeature

Feature for invoking a list of term features on the direct subterms of a given term. The result will be the sum of the individual results. If the arity of the term investigated does not coincide with the number of term features that are given as arguments, arityMismatchCost will be returned

Field Summary

Fields

Modifier and Type	Field and Description
private RuleAppCost	arityMismatchCost
private TermFeature[]	features

Constructor Summary

Constructors

Modifier	Constructor and Description
private	SubTermFeature(TermFeature[] features, RuleAppCost arityMismatchCost)

Method Summary

Modifier and Type	Method and Description
RuleAppCost	compute(Term term, Services services)
static TermFeature	create(TermFeature[] fs)
static TermFeature	create(TermFeature[] fs, RuleAppCost arityMismatchCost)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

features

private final TermFeature[] features

arityMismatchCost

private final RuleAppCost arityMismatchCost

Constructor Detail

SubTermFeature

private SubTermFeature(TermFeature[] features,
                       RuleAppCost arityMismatchCost)

Method Detail

create

public static TermFeature create(TermFeature[] fs,
                                 RuleAppCost arityMismatchCost)

create

public static TermFeature create(TermFeature[] fs)

compute

public RuleAppCost compute(Term term,
                           Services services)

Specified by:

compute in interface TermFeature