Interface Constants

    • Field Detail

      • STATE_COMMIT_RADIUS

        static final int STATE_COMMIT_RADIUS
        Radius of the inner symbol of committed locations.
        See Also:
        Constant Field Values
      • STATE_URGENT_RADIUS

        static final int STATE_URGENT_RADIUS
        Radius of the inner symbol of urgent locations.
        See Also:
        Constant Field Values
      • STATE_INIT_RADIUS

        static final int STATE_INIT_RADIUS
        Radius of the inner circle symbolising a initial state.
        See Also:
        Constant Field Values
      • BRANCHPOINT_RADIUS

        static final int BRANCHPOINT_RADIUS
        Radius of a branchpoint.
        See Also:
        Constant Field Values
      • TRANS_TOUCH_DISTANCE

        static final int TRANS_TOUCH_DISTANCE
        The distance from a transition where it is touched.
        See Also:
        Constant Field Values
      • NAIL_RADIUS

        static final int NAIL_RADIUS
        Radius and touch distance of a nail.
        See Also:
        Constant Field Values
      • STATE_OUTLINE_COL

        static final Color STATE_OUTLINE_COL
        Color for state vertex outline.
      • STATE_INIT_OUTLINE_COL

        static final Color STATE_INIT_OUTLINE_COL
        Color for initial state inner circle outline.
      • STATE_FILL_COL

        static final Color STATE_FILL_COL
        Color for state vertex fill.
      • TRANS_COL

        static final Color TRANS_COL
        Color for transition edge outline.
      • NAIL_FILL_COL

        static final Color NAIL_FILL_COL
        Color for nail fill.
      • NAIL_COL

        static final Color NAIL_COL
        Color for transition nail.
      • STATE_LABEL_COL

        static final Color STATE_LABEL_COL
        Color for state labels.
      • INVARIANT_COL

        static final Color INVARIANT_COL
        Color for invariant labels.
      • EXPONENTIALRATE_COL

        static final Color EXPONENTIALRATE_COL
        Color for rates of exponential labels.
      • COMMENTS_COL

        static final Color COMMENTS_COL
        Color for comments.
      • LABEL_COL

        static final Color LABEL_COL
        Default label color
      • ASSIGN_COL

        static final Color ASSIGN_COL
        Color for assignments labels.
      • SYNC_COL

        static final Color SYNC_COL
        Color for synchronisation labels.
      • GUARD_COL

        static final Color GUARD_COL
        Color for guard labels.
      • SELECT_COL

        static final Color SELECT_COL
        Color for select labels.
      • PROB_COL

        static final Color PROB_COL
        Color for probability labels.