EliminableQuantifierTF (KeY API Documentation)

java.lang.Object
- de.uka.ilkd.key.strategy.termfeature.BinaryTermFeature
- - de.uka.ilkd.key.strategy.quantifierHeuristics.EliminableQuantifierTF

public class EliminableQuantifierTF
extends BinaryTermFeature

Fields
Modifier and Type	Field and Description
`static TermFeature`	`INSTANCE`
`private QuanEliminationAnalyser`	`quanAnalyser`

Constructors
Modifier	Constructor and Description
`private`	`EliminableQuantifierTF()`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`protected boolean`	`filter(Term term, Services services)`

public static final TermFeature INSTANCE

private final QuanEliminationAnalyser quanAnalyser

Constructor Detail
- EliminableQuantifierTF
```
private EliminableQuantifierTF()
```

protected boolean filter(Term term,
                         Services services)

Class EliminableQuantifierTF