public abstract class CompareCostsFeature extends BinaryFeature
Modifier and Type | Field and Description |
---|---|
protected Feature |
a |
protected Feature |
b |
TOP_COST, ZERO_COST
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) |
computeCost, filter
Copyright © 2003-2019 The KeY-Project.