Uses of Class
circusRefine.UtilCircus.CircusChar

Packages that use CircusChar
circusRefine.UtilCircus   
 

Uses of CircusChar in circusRefine.UtilCircus
 

Fields in circusRefine.UtilCircus declared as CircusChar
static CircusChar CircusChar.A
           
static CircusChar CircusChar.B
           
static CircusChar CircusChar.BOOLEAN
          mathematical double-struck capital B.
static CircusChar CircusChar.C
           
static CircusChar CircusChar.CIRCDEF
          Spivey's like definition symbol (or just \defs?).
static CircusChar CircusChar.CIRCELSE
          else for if guarded command.
static CircusChar CircusChar.CIRCGUARD
          &
static CircusChar CircusChar.CIRCHIDE
          big reverses solidus
static CircusChar CircusChar.CIRCHIDING
          Hiding operator.
static CircusChar CircusChar.CIRCINDEX
          Process indexing spot or 2A00.
static CircusChar CircusChar.CIRCLFLOOR
          Greek letter
static CircusChar CircusChar.CIRCLINST
          left indexed process instantiation angle bracket.
static CircusChar CircusChar.CIRCMU
          recursive (least fixed-point) operator.
static CircusChar CircusChar.CIRCRFLOOR
           
static CircusChar CircusChar.CIRCRINST
          right indexed process instantiation angle bracket.
static CircusChar CircusChar.CIRCSEQ
          sequential composition.
static CircusChar CircusChar.CIRCTHEN
          then for if guarded command.
static CircusChar CircusChar.CIRCUSPROCESSCHAR
          box drawings thick down and right.
static CircusChar CircusChar.D
           
static CircusChar CircusChar.DCAP
          distributed set intersection.
static CircusChar CircusChar.DSETMINUS
          distributed set difference.
static CircusChar CircusChar.E
           
static CircusChar CircusChar.EXTCHOICE
          External choice.
static CircusChar CircusChar.F
           
static CircusChar CircusChar.G
           
static CircusChar CircusChar.GENDJ
          generalised disjointness.
static CircusChar CircusChar.H
           
static CircusChar CircusChar.I
           
static CircusChar CircusChar.INTCHOICE
          Internal choice.
static CircusChar CircusChar.INTERLEAVE
          Process interleave.
static CircusChar CircusChar.L
           
static CircusChar CircusChar.LCIRCCHANSET
          left channel set bracket.
static CircusChar CircusChar.LCIRCGUARD
          left guarded action bracket.
static CircusChar CircusChar.LCIRCRENAME
          left process renaming bracket.
static CircusChar CircusChar.LINTER
          left interleave bracket.
static CircusChar CircusChar.LPAR
          left parallel bracket.
static CircusChar CircusChar.LSCHEXPRACT
          left schema expression action bracket.
static CircusChar CircusChar.M
           
static CircusChar CircusChar.N
           
static CircusChar CircusChar.O
           
static CircusChar CircusChar.P
           
static CircusChar CircusChar.PREFIXCOLON
          prefix input field colon.
static CircusChar CircusChar.PREFIXTHEN
          prefixing.
static CircusChar CircusChar.R
           
static CircusChar CircusChar.RCIRCCHANSET
          right channel set bracket.
static CircusChar CircusChar.RCIRCGUARD
          right guarded action bracket.
static CircusChar CircusChar.RCIRCRENAME
          right process renaming bracket.
static CircusChar CircusChar.REGIONS
          regions of a set of sets.
static CircusChar CircusChar.REPEXTCHOICE
          Replicated external choice.
static CircusChar CircusChar.REPINTCHOICE
          Replicated internal choice (TODO:Change Unicode char).
static CircusChar CircusChar.REPINTERLEAVE
          Replicated interleave.
static CircusChar CircusChar.REPPARALLEL
          Replicated Parallelism or 01C1.
static CircusChar CircusChar.RINTER
          right interleave bracket.
static CircusChar CircusChar.RPAR
          right parallel bracket.
static CircusChar CircusChar.RSCHEXPRACT
          right schema expression action bracket.
static CircusChar CircusChar.S
           
static CircusChar CircusChar.T
           
static CircusChar CircusChar.THEN
          like fun
static CircusChar CircusChar.V