IntegerOption (Sosy-Lab Common Library)

```
@OptionDetailAnnotation(applicableTo={java.lang.Integer.class,java.lang.Long.class})
@Documented
@Retention(RUNTIME)
@Target({FIELD,METHOD})
public @interface IntegerOption
```
This is an optional annotation for all configuration options (i.e., elements that are annotated with Option) whose type is an integer number (i.e., int, long, Integer and Long):
It serves to specify minimal and/or maximal values.

- Optional Element Summary
  
  Optional Elements
  Modifier and Type Optional Element Description
  
  long max
  An optional maximum value for this option.
  
  long min
  An optional minimum value for this option.

- Element Detail
  - min
```
long min
```
    An optional minimum value for this option.
    
    Default:
    
    -9223372036854775808L
- - max
```
long max
```
    An optional maximum value for this option.
    
    Default:
    
    9223372036854775807L