de.uka.ilkd.key.strategy.feature

Class CompareCostsFeature

java.lang.Object

de.uka.ilkd.key.strategy.feature.BinaryFeature

de.uka.ilkd.key.strategy.feature.CompareCostsFeature

All Implemented Interfaces:

Feature

public abstract class CompareCostsFeature
extends BinaryFeature

Field Summary

Fields

Modifier and Type	Field and Description
protected Feature	a
protected Feature	b

Fields inherited from class de.uka.ilkd.key.strategy.feature.BinaryFeature

TOP_COST, ZERO_COST

Constructor Summary

Constructors

Modifier	Constructor and Description
private	CompareCostsFeature(Feature a, Feature b)

Method Summary

Modifier and Type	Method and Description
static Feature	eq(Feature a, Feature b)
static Feature	leq(Feature a, Feature b)
static Feature	less(Feature a, Feature b)

Methods inherited from class de.uka.ilkd.key.strategy.feature.BinaryFeature

computeCost, filter

Methods inherited from class java.lang.Object

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

Field Detail

a

protected final Feature a

b

protected final Feature b

Constructor Detail

CompareCostsFeature

private CompareCostsFeature(Feature a,
                            Feature b)

Method Detail

less

public static Feature less(Feature a,
                           Feature b)

leq

public static Feature leq(Feature a,
                          Feature b)

eq

public static Feature eq(Feature a,
                         Feature b)