@Retention(value=RUNTIME)
@Target(value=TYPE)
public @interface ILPMinerStrategyExtension
| Modifier and Type | Optional Element and Description |
|---|---|
java.lang.String |
author
Returns the author of this strategy.
|
java.lang.String |
description
Returns the description of this strategies resulting Petri net.
|
java.lang.String |
name
Returns the name identifying this strategy in a human readable way.
|
java.lang.Class<?> |
ParentExtensionClass
Returns the extension that this extension builds on (e.g.
|
public abstract java.lang.String name
public abstract java.lang.String description