Package jadex.providedservice.annotation
Annotation Interface PreConditions
-
Required Element Summary
Required ElementsModifier and TypeRequired ElementDescriptionSupply a number of preconditions.
-
Element Details
-
value
PreCondition[] valueSupply a number of preconditions.
-