| Package | Description |
|---|---|
| net.sf.tweety.plugin.parameter |
| Modifier and Type | Field and Description |
|---|---|
private Interval<java.lang.Integer> |
IntegerCommandParameter.interval
all possible values for this parameter's argument
|
| Modifier and Type | Method and Description |
|---|---|
Interval<java.lang.Integer> |
IntegerCommandParameter.getInterval()
returns each possible selection argument
|
| Constructor and Description |
|---|
IntegerCommandParameter(java.lang.String id,
java.lang.String des,
Interval<java.lang.Integer> interval) |