circusRefine.UtilCircus
Class CircusChar

java.lang.Object
  circusRefine.UtilZString.ZChar
      circusRefine.UtilCircus.CircusChar

public class CircusChar
extends ZChar

An interface for commonly used Circus characters.

Author:

generated by Gnast XSL script circuschar2class.xsl

Field Summary

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

Fields inherited from class circusRefine.UtilZString.ZChar

ALL, ALPHA, AMP, AND, ARITHMOS, AXCHAR, BIGCAP, BIGCUP, BIJ, CAP, CAT, CIRC, COLON, COMMA, COMP, CROSS, CUP, DELTA, DOT, DRES, EMPTYSET, ENDCHAR, EQUALS, EXI, EXTRACT, FFUN, FILTER, FINJ, FINSET, FUN, GENCHAR, GEQ, GREATER, IFF, IMP, INJ, INSTROKE, LAMBDA, LANGLE, LBIND, LBRACE, LDATA, LEQ, LESS, LIMG, LL, LPAREN, LREFINEMENT, LSQUARE, MAPSTO, MEM, MINUS, MU, MULT, NAT, NDRES, NE, NEG, NEQ, NLCHAR, NOT, NOTMEM, NRRES, NUM, NUMBER, NW, OPLUS, OR, OUTSTROKE, PFUN, PINJ, PLUS, POWER, PRIME, PSURJ, RANGLE, RBIND, RBRACE, RDATA, REL, RIMG, RPAREN, RREFINEMENT, RRES, RSQUARE, SCHCHAR, SCHHIFEN, SE, SEMICOLON, SETMINUS, SOLIDUS, SPACE, SPOT, SUBSET, SUBSETEQ, SUCC, SURJ, SW, SYMDIFF, THETA, TILDE, TYPECOLON, VDASH, VL, XI, ZCOMP, ZEDCHAR, ZEDLDOWN, ZEDRDOWN, ZEDRUP, ZHIDE, ZPIPE, ZPROJ

Constructor Summary

CircusChar(char[] chars)

Method Summary

Methods inherited from class circusRefine.UtilZString.ZChar

charCount, codePoint, equals, isAlpha, isAsciiChar, isDigit, isLetter, isStroke, isWordGlue, toString, toZChars

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

LCIRCCHANSET

public static CircusChar LCIRCCHANSET

left channel set bracket.

RCIRCCHANSET

public static CircusChar RCIRCCHANSET

right channel set bracket.

CIRCLINST

public static CircusChar CIRCLINST

left indexed process instantiation angle bracket.

CIRCRINST

public static CircusChar CIRCRINST

right indexed process instantiation angle bracket.

LCIRCGUARD

public static CircusChar LCIRCGUARD

left guarded action bracket.

RCIRCGUARD

public static CircusChar RCIRCGUARD

right guarded action bracket.

LSCHEXPRACT

public static CircusChar LSCHEXPRACT

left schema expression action bracket.

RSCHEXPRACT

public static CircusChar RSCHEXPRACT

right schema expression action bracket.

LCIRCRENAME

public static CircusChar LCIRCRENAME

left process renaming bracket.

RCIRCRENAME

public static CircusChar RCIRCRENAME

right process renaming bracket.

LPAR

public static CircusChar LPAR

left parallel bracket.

RPAR

public static CircusChar RPAR

right parallel bracket.

LINTER

public static CircusChar LINTER

left interleave bracket.

RINTER

public static CircusChar RINTER

right interleave bracket.

CIRCUSPROCESSCHAR

public static CircusChar CIRCUSPROCESSCHAR

box drawings thick down and right. Like SCHCHAR.

PREFIXCOLON

public static CircusChar PREFIXCOLON

prefix input field colon.

CIRCDEF

public static CircusChar CIRCDEF

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

CIRCINDEX

public static CircusChar CIRCINDEX

Process indexing spot or 2A00.

CIRCMU

public static CircusChar CIRCMU

recursive (least fixed-point) operator.

CIRCTHEN

public static CircusChar CIRCTHEN

then for if guarded command.

CIRCELSE

public static CircusChar CIRCELSE

else for if guarded command.

PREFIXTHEN

public static CircusChar PREFIXTHEN

prefixing.

CIRCSEQ

public static CircusChar CIRCSEQ

sequential composition.

INTERLEAVE

public static CircusChar INTERLEAVE

Process interleave.

REPINTERLEAVE

public static CircusChar REPINTERLEAVE

Replicated interleave.

REPPARALLEL

public static CircusChar REPPARALLEL

Replicated Parallelism or 01C1.

CIRCHIDING

public static CircusChar CIRCHIDING

Hiding operator.

EXTCHOICE

public static CircusChar EXTCHOICE

External choice.

REPEXTCHOICE

public static CircusChar REPEXTCHOICE

Replicated external choice.

INTCHOICE

public static CircusChar INTCHOICE

Internal choice.

REPINTCHOICE

public static CircusChar REPINTCHOICE

Replicated internal choice (TODO:Change Unicode char).

BOOLEAN

public static CircusChar BOOLEAN

mathematical double-struck capital B.

GENDJ

public static CircusChar GENDJ

generalised disjointness.

REGIONS

public static CircusChar REGIONS

regions of a set of sets.

DSETMINUS

public static CircusChar DSETMINUS

distributed set difference.

DCAP

public static CircusChar DCAP

distributed set intersection.

THEN

public static CircusChar THEN

like fun

CIRCHIDE

public static CircusChar CIRCHIDE

big reverses solidus

CIRCGUARD

public static CircusChar CIRCGUARD

&

CIRCLFLOOR

public static CircusChar CIRCLFLOOR

Greek letter

CIRCRFLOOR

public static CircusChar CIRCRFLOOR

A

public static CircusChar A

B

public static CircusChar B

C

public static CircusChar C

D

public static CircusChar D

E

public static CircusChar E

F

public static CircusChar F

G

public static CircusChar G

H

public static CircusChar H

I

public static CircusChar I

L

public static CircusChar L

M

public static CircusChar M

N

public static CircusChar N

O

public static CircusChar O

P

public static CircusChar P

R

public static CircusChar R

S

public static CircusChar S

T

public static CircusChar T

V

public static CircusChar V

Constructor Detail

CircusChar

public CircusChar(char[] chars)