de.uka.ilkd.key.strategy.termfeature

Class BinarySumTermFeature

java.lang.Object

de.uka.ilkd.key.strategy.termfeature.BinarySumTermFeature

All Implemented Interfaces:

TermFeature

public class BinarySumTermFeature
extends java.lang.Object
implements TermFeature

A feature that computes the sum of two given features (faster than the more general class SumFeature)

Field Summary

Fields

Modifier and Type	Field and Description
private TermFeature	f0
private TermFeature	f1

Constructor Summary

Constructors

Modifier	Constructor and Description
private	BinarySumTermFeature(TermFeature f0, TermFeature f1)

Method Summary

Modifier and Type	Method and Description
RuleAppCost	compute(Term term, Services services)
static TermFeature	createSum(TermFeature f0, TermFeature f1)

Methods inherited from class java.lang.Object

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

Field Detail

f0

private final TermFeature f0

f1

private final TermFeature f1

Constructor Detail

BinarySumTermFeature

private BinarySumTermFeature(TermFeature f0,
                             TermFeature f1)

Method Detail

compute

public RuleAppCost compute(Term term,
                           Services services)

Specified by:

compute in interface TermFeature

createSum

public static TermFeature createSum(TermFeature f0,
                                    TermFeature f1)