ZEvesString (CZT Corejava Z/EVES 1.6-SNAPSHOT API)

All Superinterfaces:

ZString
```
public interface ZEvesString
extends ZString
```
An interface for commonly used Z pattern characters.

Author:

generated by Gnast XSL script zeveschar2stringclass.xsl

Field Summary

Fields
Modifier and Type	Field and Description
`static String`	`ABOUT`
`static String`	`APPLY`
`static String`	`BACK`
`static String`	`BAG`
`static String`	`BCOUNT` bag count.
`static String`	`BY`
`static String`	`CASES`
`static String`	`CHECK`
`static String`	`CONJUNCTIVE`
`static String`	`DECLARATION`
`static String`	`DECLARATION_PART`
`static String`	`DECLARE`
`static String`	`DISABLED`
`static String`	`DISABLEDDEFTAG`
`static String`	`DISABLEDDEFTAGCHAR` disabled paragraph definition character marker (unboxed cross).
`static String`	`DISABLEDTHMTAG`
`static String`	`DISABLEDTHMTAGCHAR` disabled theorem character marker (boxed cross).
`static String`	`DISJUNCTIVE`
`static String`	`DOMAIN_CHECK`
`static String`	`ENABLED`
`static String`	`EQUALITY`
`static String`	`EXPRESSION`
`static String`	`FORMULA`
`static String`	`FREETYPE_EXPANSION`
`static String`	`FREETYPE_INDUCTION`
`static String`	`FREETYPE_INJECTIVE`
`static String`	`FREETYPE_MEMBER`
`static String`	`HELP`
`static String`	`HISTORY`
`static String`	`INBAG` bag containment.
`static String`	`INSTANTIATE`
`static String`	`INVOKE`
`static String`	`LBAG` left bag display bracket.
`static String`	`LEMMA`
`static String`	`LLABEL` left label bracket.
`static String`	`LZNOTE` left znote bracket.
`static String`	`NEXT`
`static String`	`NORMALIZATION`
`static String`	`OOPS`
`static String`	`OTIMES` bag scalling.
`static String`	`PARENT`
`static String`	`PREDICATE`
`static String`	`PRENEX`
`static String`	`PRINT`
`static String`	`PROOF`
`static String`	`PROVE`
`static String`	`QNTINSTANTIATION`
`static String`	`QUIT`
`static String`	`RBAG` right bag display bracket.
`static String`	`READ`
`static String`	`REARRANGE`
`static String`	`REDUCE`
`static String`	`RESET`
`static String`	`RETRY`
`static String`	`REWRITE`
`static String`	`RLABEL` right label bracket.
`static String`	`RZNOTE` right znote bracket.
`static String`	`SCHEMA_BIND_SELECT`
`static String`	`SCHEMA_INSET`
`static String`	`SCHEMA_MEMBER`
`static String`	`SCHEMA_SET_IN_POWERSET`
`static String`	`SCRIPT`
`static String`	`SIMPLIFY`
`static String`	`SORRY`
`static String`	`SPLIT`
`static String`	`STATUS`
`static String`	`SUBBAGEQ` bag subset equal.
`static String`	`SUBSTITUTE`
`static String`	`SUMMARY`
`static String`	`THEOREMS`
`static String`	`THETA_INSET`
`static String`	`THETA_MEMBER`
`static String`	`THETAS_EQUAL`
`static String`	`THMAXIOM`
`static String`	`THMFRULE`
`static String`	`THMGRULE`
`static String`	`THMREPLACEMENT`
`static String`	`THMRULE`
`static String`	`THROUGH`
`static String`	`TO`
`static String`	`TRIVIAL`
`static String`	`TRY`
`static String`	`UMINUS` bag difference.
`static String`	`UNDO`
`static String`	`UPLUS` bag union.
`static String`	`USE`
`static String`	`WITH`
`static String`	`ZEVESYNTAX`
`static String`	`ZPROOF`
`static String`	`ZPROOFCHAR` big turnstyle not bold.
`static String`	`ZPROOFCOMMANDSEP`
`static String`	`ZPROOFDOLLAR`
`static String`	`ZPROOFDOLLARCHAR` dollar sign for special thm names.
`static String`	`ZPROOFSECTION`
`static String`	`ZPROOFSECTIONCHAR` big turnstyle bold.
`static String`	`ZSECTION`
`static String`	`ZTAGS`

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

- Field Detail
  - ZPROOFDOLLARCHAR
```
static final String ZPROOFDOLLARCHAR
```
    dollar sign for special thm names.
  - ZPROOFCHAR
```
static final String ZPROOFCHAR
```
    big turnstyle not bold.
  - ZPROOFSECTIONCHAR
```
static final String ZPROOFSECTIONCHAR
```
    big turnstyle bold.
  - DISABLEDTHMTAGCHAR
```
static final String DISABLEDTHMTAGCHAR
```
    disabled theorem character marker (boxed cross).
  - DISABLEDDEFTAGCHAR
```
static final String DISABLEDDEFTAGCHAR
```
    disabled paragraph definition character marker (unboxed cross).
  - LLABEL
```
static final String LLABEL
```
    left label bracket.
  - RLABEL
```
static final String RLABEL
```
    right label bracket.
  - LZNOTE
```
static final String LZNOTE
```
    left znote bracket.
  - RZNOTE
```
static final String RZNOTE
```
    right znote bracket.
  - LBAG
```
static final String LBAG
```
    left bag display bracket.
  - RBAG
```
static final String RBAG
```
    right bag display bracket.
  - BCOUNT
```
static final String BCOUNT
```
    bag count.
  - OTIMES
```
static final String OTIMES
```
    bag scalling.
  - INBAG
```
static final String INBAG
```
    bag containment.
  - SUBBAGEQ
```
static final String SUBBAGEQ
```
    bag subset equal.
  - UPLUS
```
static final String UPLUS
```
    bag union.
  - UMINUS
```
static final String UMINUS
```
    bag difference.
  - ZPROOF
```
static final String ZPROOF
```
  - ZPROOFSECTION
```
static final String ZPROOFSECTION
```
  - ZPROOFDOLLAR
```
static final String ZPROOFDOLLAR
```
  - DISABLEDTHMTAG
```
static final String DISABLEDTHMTAG
```
  - DISABLEDDEFTAG
```
static final String DISABLEDDEFTAG
```
  - APPLY
```
static final String APPLY
```
    See Also:
    
    Constant Field Values
  - BACK
```
static final String BACK
```
    See Also:
    
    Constant Field Values
  - CASES
```
static final String CASES
```
    See Also:
    
    Constant Field Values
  - CONJUNCTIVE
```
static final String CONJUNCTIVE
```
    See Also:
    
    Constant Field Values
  - DISJUNCTIVE
```
static final String DISJUNCTIVE
```
    See Also:
    
    Constant Field Values
  - EQUALITY
```
static final String EQUALITY
```
    See Also:
    
    Constant Field Values
  - INSTANTIATE
```
static final String INSTANTIATE
```
    See Also:
    
    Constant Field Values
  - INVOKE
```
static final String INVOKE
```
    See Also:
    
    Constant Field Values
  - NEXT
```
static final String NEXT
```
    See Also:
    
    Constant Field Values
  - PRENEX
```
static final String PRENEX
```
    See Also:
    
    Constant Field Values
  - PROVE
```
static final String PROVE
```
    See Also:
    
    Constant Field Values
  - REARRANGE
```
static final String REARRANGE
```
    See Also:
    
    Constant Field Values
  - REDUCE
```
static final String REDUCE
```
    See Also:
    
    Constant Field Values
  - REWRITE
```
static final String REWRITE
```
    See Also:
    
    Constant Field Values
  - SIMPLIFY
```
static final String SIMPLIFY
```
    See Also:
    
    Constant Field Values
  - TRIVIAL
```
static final String TRIVIAL
```
    See Also:
    
    Constant Field Values
  - TRY
```
static final String TRY
```
    See Also:
    
    Constant Field Values
  - SPLIT
```
static final String SPLIT
```
    See Also:
    
    Constant Field Values
  - USE
```
static final String USE
```
    See Also:
    
    Constant Field Values
  - WITH
```
static final String WITH
```
    See Also:
    
    Constant Field Values
  - SORRY
```
static final String SORRY
```
    See Also:
    
    Constant Field Values
  - OOPS
```
static final String OOPS
```
    See Also:
    
    Constant Field Values
  - BY
```
static final String BY
```
    See Also:
    
    Constant Field Values
  - ENABLED
```
static final String ENABLED
```
    See Also:
    
    Constant Field Values
  - EXPRESSION
```
static final String EXPRESSION
```
    See Also:
    
    Constant Field Values
  - DISABLED
```
static final String DISABLED
```
    See Also:
    
    Constant Field Values
  - LEMMA
```
static final String LEMMA
```
    See Also:
    
    Constant Field Values
  - NORMALIZATION
```
static final String NORMALIZATION
```
    See Also:
    
    Constant Field Values
  - PREDICATE
```
static final String PREDICATE
```
    See Also:
    
    Constant Field Values
  - SUBSTITUTE
```
static final String SUBSTITUTE
```
    See Also:
    
    Constant Field Values
  - TO
```
static final String TO
```
    See Also:
    
    Constant Field Values
  - CHECK
```
static final String CHECK
```
    See Also:
    
    Constant Field Values
  - DECLARE
```
static final String DECLARE
```
    See Also:
    
    Constant Field Values
  - HELP
```
static final String HELP
```
    See Also:
    
    Constant Field Values
  - PARENT
```
static final String PARENT
```
    See Also:
    
    Constant Field Values
  - PRINT
```
static final String PRINT
```
    See Also:
    
    Constant Field Values
  - QUIT
```
static final String QUIT
```
    See Also:
    
    Constant Field Values
  - READ
```
static final String READ
```
    See Also:
    
    Constant Field Values
  - RESET
```
static final String RESET
```
    See Also:
    
    Constant Field Values
  - RETRY
```
static final String RETRY
```
    See Also:
    
    Constant Field Values
  - THEOREMS
```
static final String THEOREMS
```
    See Also:
    
    Constant Field Values
  - UNDO
```
static final String UNDO
```
    See Also:
    
    Constant Field Values
  - ZSECTION
```
static final String ZSECTION
```
    See Also:
    
    Constant Field Values
  - ZTAGS
```
static final String ZTAGS
```
    See Also:
    
    Constant Field Values
  - ABOUT
```
static final String ABOUT
```
    See Also:
    
    Constant Field Values
  - DECLARATION
```
static final String DECLARATION
```
    See Also:
    
    Constant Field Values
  - FORMULA
```
static final String FORMULA
```
    See Also:
    
    Constant Field Values
  - HISTORY
```
static final String HISTORY
```
    See Also:
    
    Constant Field Values
  - PROOF
```
static final String PROOF
```
    See Also:
    
    Constant Field Values
  - SCRIPT
```
static final String SCRIPT
```
    See Also:
    
    Constant Field Values
  - STATUS
```
static final String STATUS
```
    See Also:
    
    Constant Field Values
  - SUMMARY
```
static final String SUMMARY
```
    See Also:
    
    Constant Field Values
  - ZEVESYNTAX
```
static final String ZEVESYNTAX
```
    See Also:
    
    Constant Field Values
  - THROUGH
```
static final String THROUGH
```
    See Also:
    
    Constant Field Values
  - ZPROOFCOMMANDSEP
```
static final String ZPROOFCOMMANDSEP
```
    See Also:
    
    Constant Field Values
  - THMREPLACEMENT
```
static final String THMREPLACEMENT
```
    See Also:
    
    Constant Field Values
  - QNTINSTANTIATION
```
static final String QNTINSTANTIATION
```
    See Also:
    
    Constant Field Values
  - THMRULE
```
static final String THMRULE
```
    See Also:
    
    Constant Field Values
  - THMGRULE
```
static final String THMGRULE
```
    See Also:
    
    Constant Field Values
  - THMFRULE
```
static final String THMFRULE
```
    See Also:
    
    Constant Field Values
  - THMAXIOM
```
static final String THMAXIOM
```
    See Also:
    
    Constant Field Values
  - BAG
```
static final String BAG
```
    See Also:
    
    Constant Field Values
  - DECLARATION_PART
```
static final String DECLARATION_PART
```
    See Also:
    
    Constant Field Values
  - SCHEMA_MEMBER
```
static final String SCHEMA_MEMBER
```
    See Also:
    
    Constant Field Values
  - THETA_MEMBER
```
static final String THETA_MEMBER
```
    See Also:
    
    Constant Field Values
  - SCHEMA_BIND_SELECT
```
static final String SCHEMA_BIND_SELECT
```
    See Also:
    
    Constant Field Values
  - THETAS_EQUAL
```
static final String THETAS_EQUAL
```
    See Also:
    
    Constant Field Values
  - SCHEMA_INSET
```
static final String SCHEMA_INSET
```
    See Also:
    
    Constant Field Values
  - THETA_INSET
```
static final String THETA_INSET
```
    See Also:
    
    Constant Field Values
  - SCHEMA_SET_IN_POWERSET
```
static final String SCHEMA_SET_IN_POWERSET
```
    See Also:
    
    Constant Field Values
  - FREETYPE_INJECTIVE
```
static final String FREETYPE_INJECTIVE
```
    See Also:
    
    Constant Field Values
  - FREETYPE_EXPANSION
```
static final String FREETYPE_EXPANSION
```
    See Also:
    
    Constant Field Values
  - FREETYPE_INDUCTION
```
static final String FREETYPE_INDUCTION
```
    See Also:
    
    Constant Field Values
  - FREETYPE_MEMBER
```
static final String FREETYPE_MEMBER
```
    See Also:
    
    Constant Field Values
  - DOMAIN_CHECK
```
static final String DOMAIN_CHECK
```
    See Also:
    
    Constant Field Values

Interface ZEvesString

Field Summary

Fields inherited from interface net.sourceforge.czt.z.util.ZString

Field Detail

ZPROOFDOLLARCHAR

ZPROOFCHAR

ZPROOFSECTIONCHAR

DISABLEDTHMTAGCHAR

DISABLEDDEFTAGCHAR

LLABEL

RLABEL

LZNOTE

RZNOTE

LBAG

RBAG

BCOUNT

OTIMES

INBAG

SUBBAGEQ

UPLUS

UMINUS

ZPROOF

ZPROOFSECTION

ZPROOFDOLLAR

DISABLEDTHMTAG

DISABLEDDEFTAG

APPLY

BACK

CASES

CONJUNCTIVE

DISJUNCTIVE

EQUALITY

INSTANTIATE

INVOKE

NEXT

PRENEX

PROVE

REARRANGE

REDUCE

REWRITE

SIMPLIFY

TRIVIAL

TRY

SPLIT

USE

WITH

SORRY

OOPS

BY

ENABLED

EXPRESSION

DISABLED

LEMMA

NORMALIZATION

PREDICATE

SUBSTITUTE

TO

CHECK

DECLARE

HELP

PARENT

PRINT

QUIT

READ

RESET

RETRY

THEOREMS

UNDO

ZSECTION

ZTAGS

ABOUT

DECLARATION

FORMULA

HISTORY

PROOF

SCRIPT

STATUS

SUMMARY

ZEVESYNTAX

THROUGH