Class IntegerCommandParameter

java.lang.Object
org.tweetyproject.plugin.parameter.CommandParameter
org.tweetyproject.plugin.parameter.IntegerCommandParameter
All Implemented Interfaces:
Cloneable

public class IntegerCommandParameter extends CommandParameter
This parameter holds a number-interval of possible arguments
Author:
Bastian Wolf