de.uka.ilkd.key.strategy.termfeature

Class RecSubTermFeature

java.lang.Object

de.uka.ilkd.key.strategy.termfeature.RecSubTermFeature

All Implemented Interfaces:

TermFeature

public class RecSubTermFeature
extends java.lang.Object
implements TermFeature

Feature for invoking a term feature recursively on all subterms of a term. The result will be the sum of the individual results for subterms. The feature descends to subterms as long as cond returns zero.

Field Summary

Fields

Modifier and Type	Field and Description
private TermFeature	cond
private TermFeature	summand

Constructor Summary

Constructors

Modifier	Constructor and Description
private	RecSubTermFeature(TermFeature cond, TermFeature summand)

Method Summary

Modifier and Type	Method and Description
RuleAppCost	compute(Term term, Services services)
static TermFeature	create(TermFeature cond, TermFeature summand)

Methods inherited from class java.lang.Object

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

Field Detail

cond

private final TermFeature cond

summand

private final TermFeature summand

Constructor Detail

RecSubTermFeature

private RecSubTermFeature(TermFeature cond,
                          TermFeature summand)

Method Detail

create

public static TermFeature create(TermFeature cond,
                                 TermFeature summand)

compute

public RuleAppCost compute(Term term,
                           Services services)

Specified by:

compute in interface TermFeature