Annotation Type Capability


  • @Target({FIELD,TYPE})
    @Retention(RUNTIME)
    public @interface Capability
    Marker for a capability class or variable.
    • Optional Element Summary

      Optional Elements 
      Modifier and Type Optional Element Description
      Mapping[] beliefmapping
      Belief mappings from outer beliefs to inner abstract beliefs.
    • Element Detail

      • beliefmapping

        Mapping[] beliefmapping
        Belief mappings from outer beliefs to inner abstract beliefs.
        Default:
        {}