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) |