de.uka.ilkd.key.strategy.feature

Class AbstractBetaFeature.MaxPathHelper

java.lang.Object

de.uka.ilkd.key.strategy.feature.AbstractBetaFeature.MaxPathHelper

Direct Known Subclasses:

AbstractBetaFeature.MaxDPathHelper, AbstractBetaFeature.MaxPosPathHelper

Enclosing class:

AbstractBetaFeature

private abstract static class AbstractBetaFeature.MaxPathHelper
extends java.lang.Object

Constructor Summary

Constructors

Modifier	Constructor and Description
private	MaxPathHelper()

Method Summary

Modifier and Type	Method and Description
int	compute(Term p_t, boolean p_positive)
protected abstract int	computeDefault(Term p_t, boolean p_positive)

Methods inherited from class java.lang.Object

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

Constructor Detail

MaxPathHelper

private MaxPathHelper()

Method Detail

compute

public int compute(Term p_t,
                   boolean p_positive)

computeDefault

protected abstract int computeDefault(Term p_t,
                                      boolean p_positive)