ClassOption (Sosy-Lab Common Library)

```
@OptionDetailAnnotation(applicableTo={})
@Documented
@Retention(RUNTIME)
@Target({FIELD,METHOD})
public @interface ClassOption
```
This is an optional annotation for all configuration options (i.e., elements that are annotated with Option) whose type is Class.
It serves to specify additional information which is required for class options.

- Optional Element Summary
  
  Optional Elements
  Modifier and Type Optional Element Description
  
  String[] packagePrefix
  This field provides optional package prefixes that can be added to the specified class name.

- Element Detail
  - packagePrefix
```
String[] packagePrefix
```
    This field provides optional package prefixes that can be added to the specified class name. First the specified class name is tried without any prefix, and then with each prefix in the given order. The result is the first class that is found.
    
    Default:
    
    {""}