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<Integer>	IntegerCommandParameter.getInterval()	returns each possible selection argument

Constructors in org.tweetyproject.plugin.parameter with parameters of type Interval

Modifier	Constructor	Description
	IntegerCommandParameter(String id, String des, Interval<Integer> interval)	Constructs an `IntegerCommandParameter` with the specified identifier, description, and interval.