public class IsInductionVariable extends BinaryTermFeature
In the taclet language the variable condition is called "\isInductVar". This variable condition checks if a logical variable is marked as an induction variable. A variable is marked as such if its name has the suffix is "Ind" or "IND" and the name has length>3.
Modifier and Type | Field and Description |
---|---|
static TermFeature |
INSTANCE |
TOP_COST, ZERO_COST
Modifier | Constructor and Description |
---|---|
private |
IsInductionVariable() |
Modifier and Type | Method and Description |
---|---|
protected boolean |
filter(Term term,
Services services) |
compute
public static final TermFeature INSTANCE
protected boolean filter(Term term, Services services)
filter
in class BinaryTermFeature