net.sourceforge.czt.zeves.util

Class ZEvesChar

java.lang.Object

net.sourceforge.czt.z.util.ZChar

net.sourceforge.czt.zeves.util.ZEvesChar

public class ZEvesChar
extends ZChar

An interface for commonly used Z Eves proofs characters.

Author:

generated by Gnast XSL script zeveschar2class.xsl

Field Summary

Fields

Modifier and Type	Field and Description
static ZEvesChar	BCOUNT bag count.
static ZEvesChar	DISABLEDDEFTAGCHAR disabled paragraph definition character marker (unboxed cross).
static ZEvesChar	DISABLEDTHMTAGCHAR disabled theorem character marker (boxed cross).
static ZEvesChar	INBAG bag containment.
static ZEvesChar	LBAG left bag display bracket.
static ZEvesChar	LLABEL left label bracket.
static ZEvesChar	LZNOTE left znote bracket.
static ZEvesChar	OTIMES bag scalling.
static ZEvesChar	RBAG right bag display bracket.
static ZEvesChar	RLABEL right label bracket.
static ZEvesChar	RZNOTE right znote bracket.
static ZEvesChar	SUBBAGEQ bag subset equal.
static ZEvesChar	UMINUS bag difference.
static ZEvesChar	UPLUS bag union.
static ZEvesChar	ZPROOFCHAR big turnstyle not bold.
static ZEvesChar	ZPROOFDOLLARCHAR dollar sign for special thm names.
static ZEvesChar	ZPROOFSECTIONCHAR big turnstyle bold.

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
ZEvesChar(char[] chars)

Method Summary

Modifier and Type	Method and Description
static boolean	isZProofDollar(ZChar zchar)

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

ZPROOFDOLLARCHAR

public static final ZEvesChar ZPROOFDOLLARCHAR

dollar sign for special thm names.

ZPROOFCHAR

public static final ZEvesChar ZPROOFCHAR

big turnstyle not bold.

ZPROOFSECTIONCHAR

public static final ZEvesChar ZPROOFSECTIONCHAR

big turnstyle bold.

DISABLEDTHMTAGCHAR

public static final ZEvesChar DISABLEDTHMTAGCHAR

disabled theorem character marker (boxed cross).

DISABLEDDEFTAGCHAR

public static final ZEvesChar DISABLEDDEFTAGCHAR

disabled paragraph definition character marker (unboxed cross).

LLABEL

public static final ZEvesChar LLABEL

left label bracket.

RLABEL

public static final ZEvesChar RLABEL

right label bracket.

LZNOTE

public static final ZEvesChar LZNOTE

left znote bracket.

RZNOTE

public static final ZEvesChar RZNOTE

right znote bracket.

LBAG

public static final ZEvesChar LBAG

left bag display bracket.

RBAG

public static final ZEvesChar RBAG

right bag display bracket.

BCOUNT

public static final ZEvesChar BCOUNT

bag count.

OTIMES

public static final ZEvesChar OTIMES

bag scalling.

INBAG

public static final ZEvesChar INBAG

bag containment.

SUBBAGEQ

public static final ZEvesChar SUBBAGEQ

bag subset equal.

UPLUS

public static final ZEvesChar UPLUS

bag union.

UMINUS

public static final ZEvesChar UMINUS

bag difference.

Constructor Detail

ZEvesChar

public ZEvesChar(char[] chars)

Method Detail

isZProofDollar

public static boolean isZProofDollar(ZChar zchar)