net.sourceforge.czt.circus.util

Class CircusChar

java.lang.Object

net.sourceforge.czt.z.util.ZChar

net.sourceforge.czt.zpatt.util.ZPattChar

net.sourceforge.czt.circus.util.CircusChar

public class CircusChar
extends ZPattChar

An interface for commonly used Circus characters.

Author:

generated by Gnast XSL script circuschar2class.xsl

Field Summary

Fields

Modifier and Type	Field and Description
static CircusChar	BOOLEAN mathematical blackboard capital B.
static CircusChar	CIRCDEF Spivey's like definition symbol (or just \defs?).
static CircusChar	CIRCELSE else for if guarded command.
static CircusChar	CIRCHIDING Hiding operator.
static CircusChar	CIRCINDEX Process indexing spot or 2A00.
static CircusChar	CIRCINTERRUPT interrupt operator.
static CircusChar	CIRCLINST left indexed process instantiation angle bracket.
static CircusChar	CIRCMU recursive (least fixed-point) operator.
static CircusChar	CIRCREFINES refinement.
static CircusChar	CIRCRINST right indexed process instantiation angle bracket.
static CircusChar	CIRCSEQ sequential composition.
static CircusChar	CIRCSIMULATES simulation.
static CircusChar	CIRCSPOT Circus spot (bullet separator) or 25E6.
static CircusChar	CIRCTHEN then for if guarded command.
static CircusChar	CIRCUSACTIONCHAR box drawings thin horizontal line to the right..
static CircusChar	CIRCUSCHAR box drawings thick horizontal line to the right..
static CircusChar	DCAP distributed set intersection.
static CircusChar	DSETMINUS distributed set difference.
static CircusChar	EXTCHOICE External choice.
static CircusChar	GENDJ generalised disjointness.
static CircusChar	INTCHOICE Internal choice.
static CircusChar	INTERLEAVE Process interleave.
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	PREFIXCOLON prefix input field colon.
static CircusChar	PREFIXTHEN prefixing.
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	UNIVERSE mathematical blackboard capital U.

Fields inherited from class net.sourceforge.czt.zpatt.util.ZPattChar

JOKERCHAR, PROVISO, RULECHAR, RULELINE

Fields inherited from class net.sourceforge.czt.z.util.ZChar

ALL, 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, 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, RRES, RSQUARE, SCHCHAR, SE, SEMICOLON, SETMINUS, SOLIDUS, SPACE, SPOT, SUBSET, SUBSETEQ, SURJ, SW, SYMDIFF, THETA, TILDE, TYPECOLON, VDASH, VL, XI, ZCOMP, ZEDCHAR, ZHIDE, ZPIPE, ZPROJ

Constructor Summary

Constructors

Constructor and Description
CircusChar(char[] chars)

Method Summary

Methods inherited from class net.sourceforge.czt.z.util.ZChar

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

Methods inherited from class java.lang.Object

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

Field Detail

LCIRCCHANSET

public static final CircusChar LCIRCCHANSET

left channel set bracket.

RCIRCCHANSET

public static final CircusChar RCIRCCHANSET

right channel set bracket.

CIRCLINST

public static final CircusChar CIRCLINST

left indexed process instantiation angle bracket.

CIRCRINST

public static final CircusChar CIRCRINST

right indexed process instantiation angle bracket.

LCIRCGUARD

public static final CircusChar LCIRCGUARD

left guarded action bracket.

RCIRCGUARD

public static final CircusChar RCIRCGUARD

right guarded action bracket.

LSCHEXPRACT

public static final CircusChar LSCHEXPRACT

left schema expression action bracket.

RSCHEXPRACT

public static final CircusChar RSCHEXPRACT

right schema expression action bracket.

LCIRCRENAME

public static final CircusChar LCIRCRENAME

left process renaming bracket.

RCIRCRENAME

public static final CircusChar RCIRCRENAME

right process renaming bracket.

LPAR

public static final CircusChar LPAR

left parallel bracket.

RPAR

public static final CircusChar RPAR

right parallel bracket.

LINTER

public static final CircusChar LINTER

left interleave bracket.

RINTER

public static final CircusChar RINTER

right interleave bracket.

CIRCUSCHAR

public static final CircusChar CIRCUSCHAR

box drawings thick horizontal line to the right..

CIRCUSACTIONCHAR

public static final CircusChar CIRCUSACTIONCHAR

box drawings thin horizontal line to the right..

CIRCREFINES

public static final CircusChar CIRCREFINES

refinement.

CIRCSIMULATES

public static final CircusChar CIRCSIMULATES

simulation.

PREFIXCOLON

public static final CircusChar PREFIXCOLON

prefix input field colon.

CIRCDEF

public static final CircusChar CIRCDEF

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

CIRCINDEX

public static final CircusChar CIRCINDEX

Process indexing spot or 2A00.

CIRCSPOT

public static final CircusChar CIRCSPOT

Circus spot (bullet separator) or 25E6.

CIRCMU

public static final CircusChar CIRCMU

recursive (least fixed-point) operator.

CIRCTHEN

public static final CircusChar CIRCTHEN

then for if guarded command.

CIRCELSE

public static final CircusChar CIRCELSE

else for if guarded command.

PREFIXTHEN

public static final CircusChar PREFIXTHEN

prefixing.

CIRCSEQ

public static final CircusChar CIRCSEQ

sequential composition.

CIRCINTERRUPT

public static final CircusChar CIRCINTERRUPT

interrupt operator.

INTERLEAVE

public static final CircusChar INTERLEAVE

Process interleave.

REPINTERLEAVE

public static final CircusChar REPINTERLEAVE

Replicated interleave.

REPPARALLEL

public static final CircusChar REPPARALLEL

Replicated Parallelism or 01C1.

CIRCHIDING

public static final CircusChar CIRCHIDING

Hiding operator.

EXTCHOICE

public static final CircusChar EXTCHOICE

External choice.

REPEXTCHOICE

public static final CircusChar REPEXTCHOICE

Replicated external choice.

INTCHOICE

public static final CircusChar INTCHOICE

Internal choice.

REPINTCHOICE

public static final CircusChar REPINTCHOICE

Replicated internal choice (TODO:Change Unicode char).

BOOLEAN

public static final CircusChar BOOLEAN

mathematical blackboard capital B.

GENDJ

public static final CircusChar GENDJ

generalised disjointness.

REGIONS

public static final CircusChar REGIONS

regions of a set of sets.

DSETMINUS

public static final CircusChar DSETMINUS

distributed set difference.

DCAP

public static final CircusChar DCAP

distributed set intersection.

UNIVERSE

public static final CircusChar UNIVERSE

mathematical blackboard capital U.

Constructor Detail

CircusChar

public CircusChar(char[] chars)