CircusString (CZT Corejava Circus 1.6-SNAPSHOT API)

All Superinterfaces:

ZPattString, ZString
```
public interface CircusString
extends ZPattString
```
An interface for commonly used Circus characters.

Author:

generated by Gnast XSL script circuschar2stringclass.xsl

Field Summary

Fields
Modifier and Type	Field and Description
`static String`	`BOOLEAN` mathematical blackboard capital B.
`static String`	`CIRCASSERTREF`
`static String`	`CIRCASSIGN`
`static String`	`CIRCBEGIN`
`static String`	`CIRCCHAN`
`static String`	`CIRCCHANFROM`
`static String`	`CIRCCHANSET`
`static String`	`CIRCCHAOS`
`static String`	`CIRCDEF` Spivey's like definition symbol (or just \defs?).
`static String`	`CIRCDO`
`static String`	`CIRCELSE` else for if guarded command.
`static String`	`CIRCEND`
`static String`	`CIRCFI`
`static String`	`CIRCHIDING` Hiding operator.
`static String`	`CIRCINDEX` Process indexing spot or 2A00.
`static String`	`CIRCINTERRUPT` interrupt operator.
`static String`	`CIRCLINST` left indexed process instantiation angle bracket.
`static String`	`CIRCMU` recursive (least fixed-point) operator.
`static String`	`CIRCNAMESET`
`static String`	`CIRCOD`
`static String`	`CIRCPROC`
`static String`	`CIRCREFINES` refinement.
`static String`	`CIRCRES`
`static String`	`CIRCRINST` right indexed process instantiation angle bracket.
`static String`	`CIRCSEQ` sequential composition.
`static String`	`CIRCSIMULATES` simulation.
`static String`	`CIRCSKIP`
`static String`	`CIRCSPOT` Circus spot (bullet separator) or 25E6.
`static String`	`CIRCSTATE`
`static String`	`CIRCSTOP`
`static String`	`CIRCTHEN` then for if guarded command.
`static String`	`CIRCUS`
`static String`	`CIRCUSACTION`
`static String`	`CIRCUSACTIONCHAR` box drawings thin horizontal line to the right..
`static String`	`CIRCUSCHAR` box drawings thick horizontal line to the right..
`static String`	`CIRCUSID`
`static String`	`CIRCUSSYNCH`
`static String`	`CIRCUSTRANSFORMER`
`static String`	`CIRCVAL`
`static String`	`CIRCVAR`
`static String`	`CIRCVRES`
`static String`	`DCAP` distributed set intersection.
`static String`	`DSETMINUS` distributed set difference.
`static String`	`EXTCHOICE` External choice.
`static String`	`GENDJ` generalised disjointness.
`static String`	`INTCHOICE` Internal choice.
`static String`	`INTERLEAVE` Process interleave.
`static String`	`LCIRCCHANSET` left channel set bracket.
`static String`	`LCIRCGUARD` left guarded action bracket.
`static String`	`LCIRCRENAME` left process renaming bracket.
`static String`	`LINTER` left interleave bracket.
`static String`	`LPAR` left parallel bracket.
`static String`	`LSCHEXPRACT` left schema expression action bracket.
`static String`	`PREFIXCOLON` prefix input field colon.
`static String`	`PREFIXTHEN` prefixing.
`static String`	`RCIRCCHANSET` right channel set bracket.
`static String`	`RCIRCGUARD` right guarded action bracket.
`static String`	`RCIRCRENAME` right process renaming bracket.
`static String`	`REGIONS` regions of a set of sets.
`static String`	`REPEXTCHOICE` Replicated external choice.
`static String`	`REPINTCHOICE` Replicated internal choice (TODO:Change Unicode char).
`static String`	`REPINTERLEAVE` Replicated interleave.
`static String`	`REPPARALLEL` Replicated Parallelism or 01C1.
`static String`	`RINTER` right interleave bracket.
`static String`	`RPAR` right parallel bracket.
`static String`	`RSCHEXPRACT` right schema expression action bracket.
`static String`	`UNIVERSE` mathematical blackboard capital U.

Fields inherited from interface net.sourceforge.czt.zpatt.util.ZPattString
JOKER, JOKERCHAR, PROVISO, RULE, RULECHAR, RULELINE

Fields inherited from interface net.sourceforge.czt.z.util.ZString
ALL, AMP, AND, ANDALSO, ARG, ARG_TOK, ARITHMOS, AX, AXCHAR, BAR, BIGCAP, BIGCUP, BIJ, CAP, CAT, CIRC, COLON, COMMA, COMP, CONJECTURE, CROSS, CUP, DEFEQUAL, DEFFREE, DELTA, DOT, DRES, ELSE, EMPTYSET, END, ENDCHAR, EQUALS, EXI, EXIONE, EXTRACT, FALSE, FFUN, FILTER, FINJ, FINSET, FUN, FUNCTION, GENAX, GENCHAR, GENERIC, GENSCH, GEQ, GREATER, IF, IFF, IMP, INJ, INSTROKE, LAMBDA, LANGLE, LBIND, LBRACE, LDATA, LEFTASSOC, LEQ, LESS, LET, LIMG, LISTARG, LISTARG_TOK, LL, LPAREN, LSQUARE, MAPSTO, MEM, MINUS, MU, MULT, NAT, NDRES, NE, NEG, NEQ, NL, NLCHAR, NOT, NOTMEM, NRRES, NUM, NUMBER, NW, OP_SEPARATOR, OPLUS, OR, OUTSTROKE, PARENTS, PFUN, PINJ, PLUS, POWER, PRE, PRIME, PSURJ, RANGLE, RBIND, RBRACE, RDATA, REL, RELATION, RIGHTASSOC, RIMG, RPAREN, RRES, RSQUARE, SCH, SCHCHAR, SE, SECTION, SEMI, SEMICOLON, SETMINUS, SLASH, SOLIDUS, SPACE, SPOT, SUB1, SUBSET, SUBSETEQ, SUP1, SURJ, SW, SYMDIFF, THEN, THEOREM, THETA, TILDE, TRUE, TYPECOLON, VDASH, VL, XI, ZCOMP, ZED, ZEDCHAR, ZHIDE, ZPIPE, ZPROJ

- Field Detail
  - LCIRCCHANSET
```
static final String LCIRCCHANSET
```
    left channel set bracket.
  - RCIRCCHANSET
```
static final String RCIRCCHANSET
```
    right channel set bracket.
  - CIRCLINST
```
static final String CIRCLINST
```
    left indexed process instantiation angle bracket.
  - CIRCRINST
```
static final String CIRCRINST
```
    right indexed process instantiation angle bracket.
  - LCIRCGUARD
```
static final String LCIRCGUARD
```
    left guarded action bracket.
  - RCIRCGUARD
```
static final String RCIRCGUARD
```
    right guarded action bracket.
  - LSCHEXPRACT
```
static final String LSCHEXPRACT
```
    left schema expression action bracket.
  - RSCHEXPRACT
```
static final String RSCHEXPRACT
```
    right schema expression action bracket.
  - LCIRCRENAME
```
static final String LCIRCRENAME
```
    left process renaming bracket.
  - RCIRCRENAME
```
static final String RCIRCRENAME
```
    right process renaming bracket.
  - LPAR
```
static final String LPAR
```
    left parallel bracket.
  - RPAR
```
static final String RPAR
```
    right parallel bracket.
  - LINTER
```
static final String LINTER
```
    left interleave bracket.
  - RINTER
```
static final String RINTER
```
    right interleave bracket.
  - CIRCUSCHAR
```
static final String CIRCUSCHAR
```
    box drawings thick horizontal line to the right..
  - CIRCUSACTIONCHAR
```
static final String CIRCUSACTIONCHAR
```
    box drawings thin horizontal line to the right..
  - CIRCREFINES
```
static final String CIRCREFINES
```
    refinement.
  - CIRCSIMULATES
```
static final String CIRCSIMULATES
```
    simulation.
  - PREFIXCOLON
```
static final String PREFIXCOLON
```
    prefix input field colon.
  - CIRCDEF
```
static final String CIRCDEF
```
    Spivey's like definition symbol (or just \defs?).
  - CIRCINDEX
```
static final String CIRCINDEX
```
    Process indexing spot or 2A00.
  - CIRCSPOT
```
static final String CIRCSPOT
```
    Circus spot (bullet separator) or 25E6.
  - CIRCMU
```
static final String CIRCMU
```
    recursive (least fixed-point) operator.
  - CIRCTHEN
```
static final String CIRCTHEN
```
    then for if guarded command.
  - CIRCELSE
```
static final String CIRCELSE
```
    else for if guarded command.
  - PREFIXTHEN
```
static final String PREFIXTHEN
```
    prefixing.
  - CIRCSEQ
```
static final String CIRCSEQ
```
    sequential composition.
  - CIRCINTERRUPT
```
static final String CIRCINTERRUPT
```
    interrupt operator.
  - INTERLEAVE
```
static final String INTERLEAVE
```
    Process interleave.
  - REPINTERLEAVE
```
static final String REPINTERLEAVE
```
    Replicated interleave.
  - REPPARALLEL
```
static final String REPPARALLEL
```
    Replicated Parallelism or 01C1.
  - CIRCHIDING
```
static final String CIRCHIDING
```
    Hiding operator.
  - EXTCHOICE
```
static final String EXTCHOICE
```
    External choice.
  - REPEXTCHOICE
```
static final String REPEXTCHOICE
```
    Replicated external choice.
  - INTCHOICE
```
static final String INTCHOICE
```
    Internal choice.
  - REPINTCHOICE
```
static final String REPINTCHOICE
```
    Replicated internal choice (TODO:Change Unicode char).
  - BOOLEAN
```
static final String BOOLEAN
```
    mathematical blackboard capital B.
  - GENDJ
```
static final String GENDJ
```
    generalised disjointness.
  - REGIONS
```
static final String REGIONS
```
    regions of a set of sets.
  - DSETMINUS
```
static final String DSETMINUS
```
    distributed set difference.
  - DCAP
```
static final String DCAP
```
    distributed set intersection.
  - UNIVERSE
```
static final String UNIVERSE
```
    mathematical blackboard capital U.
  - CIRCFI
```
static final String CIRCFI
```
    See Also:
    
    Constant Field Values
  - CIRCDO
```
static final String CIRCDO
```
    See Also:
    
    Constant Field Values
  - CIRCOD
```
static final String CIRCOD
```
    See Also:
    
    Constant Field Values
  - CIRCVAR
```
static final String CIRCVAR
```
    See Also:
    
    Constant Field Values
  - CIRCVAL
```
static final String CIRCVAL
```
    See Also:
    
    Constant Field Values
  - CIRCRES
```
static final String CIRCRES
```
    See Also:
    
    Constant Field Values
  - CIRCVRES
```
static final String CIRCVRES
```
    See Also:
    
    Constant Field Values
  - CIRCCHAN
```
static final String CIRCCHAN
```
    See Also:
    
    Constant Field Values
  - CIRCCHANFROM
```
static final String CIRCCHANFROM
```
    See Also:
    
    Constant Field Values
  - CIRCCHANSET
```
static final String CIRCCHANSET
```
    See Also:
    
    Constant Field Values
  - CIRCNAMESET
```
static final String CIRCNAMESET
```
    See Also:
    
    Constant Field Values
  - CIRCPROC
```
static final String CIRCPROC
```
    See Also:
    
    Constant Field Values
  - CIRCASSERTREF
```
static final String CIRCASSERTREF
```
    See Also:
    
    Constant Field Values
  - CIRCBEGIN
```
static final String CIRCBEGIN
```
    See Also:
    
    Constant Field Values
  - CIRCEND
```
static final String CIRCEND
```
    See Also:
    
    Constant Field Values
  - CIRCSTATE
```
static final String CIRCSTATE
```
    See Also:
    
    Constant Field Values
  - CIRCSKIP
```
static final String CIRCSKIP
```
    See Also:
    
    Constant Field Values
  - CIRCSTOP
```
static final String CIRCSTOP
```
    See Also:
    
    Constant Field Values
  - CIRCCHAOS
```
static final String CIRCCHAOS
```
    See Also:
    
    Constant Field Values
  - CIRCASSIGN
```
static final String CIRCASSIGN
```
    See Also:
    
    Constant Field Values
  - CIRCUS
```
static final String CIRCUS
```
  - CIRCUSACTION
```
static final String CIRCUSACTION
```
  - CIRCUSSYNCH
```
static final String CIRCUSSYNCH
```
    See Also:
    
    Constant Field Values
  - CIRCUSID
```
static final String CIRCUSID
```
    See Also:
    
    Constant Field Values
  - CIRCUSTRANSFORMER
```
static final String CIRCUSTRANSFORMER
```
    See Also:
    
    Constant Field Values

Interface CircusString

Field Summary

Fields inherited from interface net.sourceforge.czt.zpatt.util.ZPattString

Fields inherited from interface net.sourceforge.czt.z.util.ZString

Field Detail

LCIRCCHANSET

RCIRCCHANSET

CIRCLINST

CIRCRINST

LCIRCGUARD

RCIRCGUARD

LSCHEXPRACT

RSCHEXPRACT

LCIRCRENAME

RCIRCRENAME

LPAR

RPAR

LINTER

RINTER

CIRCUSCHAR

CIRCUSACTIONCHAR

CIRCREFINES

CIRCSIMULATES

PREFIXCOLON

CIRCDEF

CIRCINDEX

CIRCSPOT

CIRCMU

CIRCTHEN

CIRCELSE

PREFIXTHEN

CIRCSEQ

CIRCINTERRUPT

INTERLEAVE

REPINTERLEAVE

REPPARALLEL

CIRCHIDING

EXTCHOICE

REPEXTCHOICE

INTCHOICE

REPINTCHOICE

BOOLEAN

GENDJ

REGIONS

DSETMINUS

DCAP

UNIVERSE

CIRCFI

CIRCDO

CIRCOD

CIRCVAR

CIRCVAL

CIRCRES

CIRCVRES

CIRCCHAN

CIRCCHANFROM

CIRCCHANSET

CIRCNAMESET

CIRCPROC

CIRCASSERTREF

CIRCBEGIN

CIRCEND

CIRCSTATE

CIRCSKIP

CIRCSTOP

CIRCCHAOS

CIRCASSIGN

CIRCUS

CIRCUSACTION

CIRCUSSYNCH

CIRCUSID

CIRCUSTRANSFORMER