circusRefine.UtilCircus
Interface CircusString

All Superinterfaces:

net.sourceforge.czt.z.util.ZString

public interface CircusString
extends net.sourceforge.czt.z.util.ZString

An interface for commonly used Circus characters.

Author:

generated by Gnast XSL script circuschar2stringclass.xsl

Field Summary

static java.lang.String	A
static java.lang.String	B
static java.lang.String	BOOLEAN mathematical double-struck capital B.
static java.lang.String	C
static java.lang.String	CIRCASSIGN
static java.lang.String	CIRCBEGIN
static java.lang.String	CIRCCHAN
static java.lang.String	CIRCCHANFROM
static java.lang.String	CIRCCHANSET
static java.lang.String	CIRCCHAOS
static java.lang.String	CIRCDEF Spivey's like definition symbol (or just \defs?).
static java.lang.String	CIRCDO
static java.lang.String	CIRCELSE else for if guarded command.
static java.lang.String	CIRCEND
static java.lang.String	CIRCFI
static java.lang.String	CIRCGUARD
static java.lang.String	CIRCHIDE
static java.lang.String	CIRCHIDING Hiding operator.
static java.lang.String	CIRCIF
static java.lang.String	CIRCINDEX Process indexing spot or 2A00.
static java.lang.String	CIRCLFLOOR
static java.lang.String	CIRCLINST left indexed process instantiation angle bracket.
static java.lang.String	CIRCMU recursive (least fixed-point) operator.
static java.lang.String	CIRCNAMESET
static java.lang.String	CIRCOD
static java.lang.String	CIRCPROCESS
static java.lang.String	CIRCRES
static java.lang.String	CIRCRFLOOR
static java.lang.String	CIRCRINST right indexed process instantiation angle bracket.
static java.lang.String	CIRCSEQ sequential composition.
static java.lang.String	CIRCSKIP
static java.lang.String	CIRCSTATE
static java.lang.String	CIRCSTOP
static java.lang.String	CIRCTHEN then for if guarded command.
static java.lang.String	CIRCUSPROCESSCHAR box drawings thick down and right.
static java.lang.String	CIRCVAL
static java.lang.String	CIRCVAR
static java.lang.String	CIRCVRES
static java.lang.String	D
static java.lang.String	DCAP distributed set intersection.
static java.lang.String	DSETMINUS distributed set difference.
static java.lang.String	E
static java.lang.String	EXTCHOICE External choice.
static java.lang.String	F
static java.lang.String	G
static java.lang.String	GENDJ generalised disjointness.
static java.lang.String	H
static java.lang.String	I
static java.lang.String	INTCHOICE Internal choice.
static java.lang.String	INTERLEAVE Process interleave.
static java.lang.String	L
static java.lang.String	LCIRCCHANSET left channel set bracket.
static java.lang.String	LCIRCGUARD left guarded action bracket.
static java.lang.String	LCIRCRENAME left process renaming bracket.
static java.lang.String	LINTER left interleave bracket.
static java.lang.String	LPAR left parallel bracket.
static java.lang.String	LSCHEXPRACT left schema expression action bracket.
static java.lang.String	M
static java.lang.String	N
static java.lang.String	O
static java.lang.String	P
static java.lang.String	PREFIXCOLON prefix input field colon.
static java.lang.String	PREFIXTHEN prefixing.
static java.lang.String	R
static java.lang.String	RCIRCCHANSET right channel set bracket.
static java.lang.String	RCIRCGUARD right guarded action bracket.
static java.lang.String	RCIRCRENAME right process renaming bracket.
static java.lang.String	REGIONS regions of a set of sets.
static java.lang.String	REPEXTCHOICE Replicated external choice.
static java.lang.String	REPINTCHOICE Replicated internal choice (TODO:Change Unicode char).
static java.lang.String	REPINTERLEAVE Replicated interleave.
static java.lang.String	REPPARALLEL Replicated Parallelism or 01C1.
static java.lang.String	RINTER right interleave bracket.
static java.lang.String	RPAR right parallel bracket.
static java.lang.String	RSCHEXPRACT right schema expression action bracket.
static java.lang.String	S
static java.lang.String	T
static java.lang.String	THEN
static java.lang.String	V

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, THETA, TILDE, TRUE, TYPECOLON, VDASH, VL, XI, ZCOMP, ZED, ZEDCHAR, ZHIDE, ZPIPE, ZPROJ

Field Detail

LCIRCCHANSET

static final java.lang.String LCIRCCHANSET

left channel set bracket.

RCIRCCHANSET

static final java.lang.String RCIRCCHANSET

right channel set bracket.

CIRCLINST

static final java.lang.String CIRCLINST

left indexed process instantiation angle bracket.

CIRCRINST

static final java.lang.String CIRCRINST

right indexed process instantiation angle bracket.

LCIRCGUARD

static final java.lang.String LCIRCGUARD

left guarded action bracket.

RCIRCGUARD

static final java.lang.String RCIRCGUARD

right guarded action bracket.

LSCHEXPRACT

static final java.lang.String LSCHEXPRACT

left schema expression action bracket.

RSCHEXPRACT

static final java.lang.String RSCHEXPRACT

right schema expression action bracket.

LCIRCRENAME

static final java.lang.String LCIRCRENAME

left process renaming bracket.

RCIRCRENAME

static final java.lang.String RCIRCRENAME

right process renaming bracket.

LPAR

static final java.lang.String LPAR

left parallel bracket.

RPAR

static final java.lang.String RPAR

right parallel bracket.

LINTER

static final java.lang.String LINTER

left interleave bracket.

RINTER

static final java.lang.String RINTER

right interleave bracket.

CIRCUSPROCESSCHAR

static final java.lang.String CIRCUSPROCESSCHAR

box drawings thick down and right. Like SCHCHAR.

PREFIXCOLON

static final java.lang.String PREFIXCOLON

prefix input field colon.

CIRCDEF

static final java.lang.String CIRCDEF

Spivey's like definition symbol (or just \defs?).

CIRCINDEX

static final java.lang.String CIRCINDEX

Process indexing spot or 2A00.

CIRCMU

static final java.lang.String CIRCMU

recursive (least fixed-point) operator.

CIRCTHEN

static final java.lang.String CIRCTHEN

then for if guarded command.

CIRCELSE

static final java.lang.String CIRCELSE

else for if guarded command.

PREFIXTHEN

static final java.lang.String PREFIXTHEN

prefixing.

CIRCSEQ

static final java.lang.String CIRCSEQ

sequential composition.

INTERLEAVE

static final java.lang.String INTERLEAVE

Process interleave.

REPINTERLEAVE

static final java.lang.String REPINTERLEAVE

Replicated interleave.

REPPARALLEL

static final java.lang.String REPPARALLEL

Replicated Parallelism or 01C1.

CIRCHIDING

static final java.lang.String CIRCHIDING

Hiding operator.

EXTCHOICE

static final java.lang.String EXTCHOICE

External choice.

REPEXTCHOICE

static final java.lang.String REPEXTCHOICE

Replicated external choice.

INTCHOICE

static final java.lang.String INTCHOICE

Internal choice.

REPINTCHOICE

static final java.lang.String REPINTCHOICE

Replicated internal choice (TODO:Change Unicode char).

BOOLEAN

static final java.lang.String BOOLEAN

mathematical double-struck capital B.

GENDJ

static final java.lang.String GENDJ

generalised disjointness.

REGIONS

static final java.lang.String REGIONS

regions of a set of sets.

DSETMINUS

static final java.lang.String DSETMINUS

distributed set difference.

DCAP

static final java.lang.String DCAP

distributed set intersection.

THEN

static final java.lang.String THEN

CIRCLFLOOR

static final java.lang.String CIRCLFLOOR

CIRCRFLOOR

static final java.lang.String CIRCRFLOOR

CIRCHIDE

static final java.lang.String CIRCHIDE

CIRCGUARD

static final java.lang.String CIRCGUARD

A

static final java.lang.String A

B

static final java.lang.String B

C

static final java.lang.String C

D

static final java.lang.String D

E

static final java.lang.String E

F

static final java.lang.String F

G

static final java.lang.String G

H

static final java.lang.String H

I

static final java.lang.String I

L

static final java.lang.String L

M

static final java.lang.String M

N

static final java.lang.String N

O

static final java.lang.String O

P

static final java.lang.String P

R

static final java.lang.String R

S

static final java.lang.String S

T

static final java.lang.String T

V

static final java.lang.String V

CIRCIF

static final java.lang.String CIRCIF

CIRCFI

static final java.lang.String CIRCFI

CIRCDO

static final java.lang.String CIRCDO

CIRCOD

static final java.lang.String CIRCOD

CIRCVAR

static final java.lang.String CIRCVAR

CIRCVAL

static final java.lang.String CIRCVAL

CIRCRES

static final java.lang.String CIRCRES

CIRCVRES

static final java.lang.String CIRCVRES

CIRCCHAN

static final java.lang.String CIRCCHAN

CIRCCHANFROM

static final java.lang.String CIRCCHANFROM

CIRCCHANSET

static final java.lang.String CIRCCHANSET

CIRCNAMESET

static final java.lang.String CIRCNAMESET

CIRCPROCESS

static final java.lang.String CIRCPROCESS

CIRCBEGIN

static final java.lang.String CIRCBEGIN

CIRCEND

static final java.lang.String CIRCEND

CIRCSTATE

static final java.lang.String CIRCSTATE

CIRCSKIP

static final java.lang.String CIRCSKIP

See Also:

Constant Field Values

CIRCSTOP

static final java.lang.String CIRCSTOP

See Also:

Constant Field Values

CIRCCHAOS

static final java.lang.String CIRCCHAOS

See Also:

Constant Field Values

CIRCASSIGN

static final java.lang.String CIRCASSIGN

See Also:

Constant Field Values