Uses of Class
org.tweetyproject.math.Interval
-
Packages that use Interval Package Description org.tweetyproject.plugin.parameter -
-
Uses of Interval in org.tweetyproject.plugin.parameter
Methods in org.tweetyproject.plugin.parameter that return Interval Modifier and Type Method Description Interval<java.lang.Integer>
IntegerCommandParameter. getInterval()
returns each possible selection argumentConstructors in org.tweetyproject.plugin.parameter with parameters of type Interval Constructor Description IntegerCommandParameter(java.lang.String id, java.lang.String des, Interval<java.lang.Integer> interval)
-