Skip navigation links
A B C D E F G H I K L M N O P Q R S T U V W X Y Z _ 

A

ABOUT - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
action_obj - Variable in class net.sourceforge.czt.parser.zeves.Parser
Instance of action encapsulation class.
action_obj - Variable in class net.sourceforge.czt.print.zeves.Unicode2Latex
Instance of action encapsulation class.
action_table() - Method in class net.sourceforge.czt.parser.zeves.Parser
Access to parse-action table.
action_table() - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
Access to parse-action table.
add(ProofScript) - Method in class net.sourceforge.czt.parser.zeves.ProofTable
 
addExtraNLFor(Token) - Method in class net.sourceforge.czt.print.zeves.UnicodePrinter
 
addParentTable(T) - Method in class net.sourceforge.czt.parser.zeves.ProofTable
 
ALL - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
ALL_ZEVES_KEYWORDS - Static variable in class net.sourceforge.czt.parser.zeves.ZEvesSymMap
 
ALL_ZEVES_USAGE_WORDS - Static variable in class net.sourceforge.czt.parser.zeves.ZEvesSymMap
 
AND - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
ANDALSO - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
APPLY - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
ARG - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
associateLabelsToPreds(Pred) - Method in class net.sourceforge.czt.parser.zeves.ParserState
The list of labelled preds might include more labels than needed because of inner predicates like in (\IF Pred \THEN X \ELSE Y) (e.g., one label for the whole if, and one for the Pred within its test.
AstToPrintTreeVisitor - Class in net.sourceforge.czt.print.zeves
 
AstToPrintTreeVisitor(SectionInfo) - Constructor for class net.sourceforge.czt.print.zeves.AstToPrintTreeVisitor
 
AstToPrintTreeVisitor(SectionInfo, WarningManager) - Constructor for class net.sourceforge.czt.print.zeves.AstToPrintTreeVisitor
Creates a new ast to print tree visitor.
AX - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
AX - Static variable in class net.sourceforge.czt.print.zeves.Sym
 

B

BACK - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
BAR - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
BY - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 

C

calculateFromSect(ZSect, SectionManager) - Method in class net.sourceforge.czt.parser.zeves.ProofTableCommand
 
CASES - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
CHAR_MARKUP - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
CHECK - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
checkAgainst(ThmTable) - Method in class net.sourceforge.czt.parser.zeves.ProofTable
 
clearLabelAssociations(Pred) - Method in class net.sourceforge.czt.parser.zeves.ParserState
Clears the labels with a schema predicates, added during "predicate" parsing.
clearLabelPredList() - Method in class net.sourceforge.czt.parser.zeves.ParserState
 
collectZEvesProofSymbolNames() - Static method in class net.sourceforge.czt.parser.zeves.LatexScannerDebugger
 
COLON - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
COMMA - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
COMMENT_STATE - Static variable in class net.sourceforge.czt.parser.zeves.Latex2Unicode
 
compute(String, SectionManager) - Method in class net.sourceforge.czt.parser.zeves.ProofTableService
 
compute(String, SectionManager) - Method in class net.sourceforge.czt.print.zeves.XmlPrinterCommand
 
CONJECTURE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
CONJUNCTIVE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
considerAddingNL(Token, Token, int, int, boolean) - Method in class net.sourceforge.czt.print.zeves.PrettyPrinter
 
considerAddingNLForToken(Token, Token, int, int, boolean) - Method in class net.sourceforge.czt.print.zeves.PrettyPrinter
 
ContextFreeScanner - Class in net.sourceforge.czt.parser.zeves
The context-free lexer for specifications in unicode format.
ContextFreeScanner(Source) - Constructor for class net.sourceforge.czt.parser.zeves.ContextFreeScanner
 
ContextFreeScanner(CztReader) - Constructor for class net.sourceforge.czt.parser.zeves.ContextFreeScanner
 
ContextFreeScanner(Reader) - Constructor for class net.sourceforge.czt.parser.zeves.ContextFreeScanner
Creates a new scanner There is also a java.io.InputStream version of this constructor.
ContextFreeScanner(InputStream) - Constructor for class net.sourceforge.czt.parser.zeves.ContextFreeScanner
Creates a new scanner.
ContextFreeScanner - Class in net.sourceforge.czt.print.zeves
The context-free lexer for specifications in unicode format.
ContextFreeScanner(Source) - Constructor for class net.sourceforge.czt.print.zeves.ContextFreeScanner
 
ContextFreeScanner(CztReader) - Constructor for class net.sourceforge.czt.print.zeves.ContextFreeScanner
 
ContextFreeScanner(Reader) - Constructor for class net.sourceforge.czt.print.zeves.ContextFreeScanner
Creates a new scanner There is also a java.io.InputStream version of this constructor.
ContextFreeScanner(InputStream) - Constructor for class net.sourceforge.czt.print.zeves.ContextFreeScanner
Creates a new scanner.
createMap(Class<?>) - Static method in class net.sourceforge.czt.parser.zeves.ZEvesSymMap
 
createParserFactory() - Method in class net.sourceforge.czt.parser.zeves.Parser
 
createParserState(Source) - Method in class net.sourceforge.czt.parser.zeves.Parser
 
createPrettyPrinter(Term, int) - Method in class net.sourceforge.czt.print.zeves.LatexPrinterCommand
 
createPrettyPrinter(Term, int) - Method in class net.sourceforge.czt.print.zeves.UnicodePrinterCommand
 
createPrintError(Symbol) - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
 
createSyntaxError(Symbol) - Method in class net.sourceforge.czt.parser.zeves.Parser
 
createTokenSequenceVisitor(SectionInfo, ZPrinter, Properties) - Method in class net.sourceforge.czt.print.zeves.LatexPrinterCommand
 
createTokenSequenceVisitor(SectionInfo, ZPrinter, Properties) - Method in class net.sourceforge.czt.print.zeves.UnicodePrinterCommand
 
CROSS - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 

D

debugParser(Source, boolean, Integer, boolean, boolean) - Static method in class net.sourceforge.czt.parser.zeves.LatexScannerDebugger
 
debugPrinter(Source, SectionManager, Term, boolean) - Static method in class net.sourceforge.czt.parser.zeves.LatexScannerDebugger
 
debugScanner(Writer, Source) - Static method in class net.sourceforge.czt.parser.zeves.LatexScannerDebugger
 
DECLARATION - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
DECLARE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
DECLWORD - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
DECORWORD - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
DECORWORD - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
defaultSP_ - Variable in class net.sourceforge.czt.parser.zeves.Parser
 
DefaultZEvesSectionParentsCommand - Class in net.sourceforge.czt.parser.zeves
 
DefaultZEvesSectionParentsCommand() - Constructor for class net.sourceforge.czt.parser.zeves.DefaultZEvesSectionParentsCommand
 
DEFEQUAL - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
DEFFREE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
dialect_ - Variable in class net.sourceforge.czt.parser.zeves.Parser
 
DISABLED - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
DISABLED - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
DISABLEDDEFTAG - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
DISABLEDDEFTAG - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
DISABLEDTHMTAG - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
DISABLEDTHMTAG - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
DISJUNCTIVE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
do_action(int, lr_parser, Stack<Symbol>, int) - Method in class net.sourceforge.czt.parser.zeves.Parser
Invoke a user supplied parse action.
do_action(int, lr_parser, Stack<Symbol>, int) - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
Invoke a user supplied parse action.
doCalculateDefaultAnonymousParents(Set<String>) - Method in class net.sourceforge.czt.parser.zeves.DefaultZEvesSectionParentsCommand
 
doCalculateDefaultParents(String, Set<String>) - Method in class net.sourceforge.czt.parser.zeves.DefaultZEvesSectionParentsCommand
Takes the Z default parent sections into account and then decides whether to add ZEves prelude to them or not.
doCompute(String, SectionManager) - Method in class net.sourceforge.czt.parser.zeves.ParseUtils
This command parses the given ZSection or Specification with associated named source.
DOT - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 

E

EL - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
ELP - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
ELSE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
ENABLED - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
ENABLED - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
END - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
END - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
END_MARKUP - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
EOF - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
EOF - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
EOF_sym() - Method in class net.sourceforge.czt.parser.zeves.Parser
EOF Symbol index.
EOF_sym() - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
EOF Symbol index.
EQUALITY - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
EQUALS - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
ER - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
ERE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
EREP - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
ERP - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
ERROR - Static variable in class net.sourceforge.czt.parser.zeves.Latex2Unicode
 
error - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
error - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
error_sym() - Method in class net.sourceforge.czt.parser.zeves.Parser
error Symbol index.
error_sym() - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
error Symbol index.
errorList_ - Variable in class net.sourceforge.czt.parser.zeves.Parser
The list of parse errors.
errorList_ - Variable in class net.sourceforge.czt.print.zeves.Unicode2Latex
The list of parse errors.
ES - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
EXI - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
EXIONE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
EXPR - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
EXPRESSION - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 

F

FALSE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
flipMap(Map<K, V>) - Static method in class net.sourceforge.czt.parser.zeves.LatexScannerDebugger
 
flipMap(Map<K, V>) - Static method in class net.sourceforge.czt.parser.zeves.ZEvesSymMap
Flips a given map, provided that is possible - see assertion
formatProofGoal_ - Variable in class net.sourceforge.czt.print.zeves.PrettyPrinter
 
FORMULA - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
freshLabelName() - Method in class net.sourceforge.czt.parser.zeves.ParserState
 
FUNCTION - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 

G

GENAX - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
GENAX - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
GENERIC - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
GENSCH - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
GENSCH - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
getCommand() - Static method in class net.sourceforge.czt.parser.zeves.ParseUtils
Get a Command object for use in SectionManager
getContents() - Method in class net.sourceforge.czt.parser.zeves.ZEvesParseResources
 
getCztScanner() - Method in class net.sourceforge.czt.parser.zeves.Parser
 
getCztScanner() - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
 
getDefaultAnonymousParentsAsString(SectionManager) - Static method in class net.sourceforge.czt.parser.zeves.ParseUtils
 
getDialect() - Method in class net.sourceforge.czt.parser.zeves.ContextFreeScanner
Low-level LaTeX scanner gets its dialect from the context and propagate to other scanners.
getDialect() - Method in class net.sourceforge.czt.parser.zeves.DefaultZEvesSectionParentsCommand
 
getDialect() - Method in class net.sourceforge.czt.parser.zeves.KeywordScanner
 
getDialect() - Method in class net.sourceforge.czt.parser.zeves.Latex2Unicode
Low-level LaTeX scanner gets its dialect from the context and propagate to other scanners.
getDialect() - Method in class net.sourceforge.czt.parser.zeves.LatexMarkupParser
 
getDialect() - Method in class net.sourceforge.czt.parser.zeves.LatexScanner
 
getDialect() - Method in class net.sourceforge.czt.parser.zeves.LatexToUnicode
 
getDialect() - Method in class net.sourceforge.czt.parser.zeves.NewlineScanner
 
getDialect() - Method in class net.sourceforge.czt.parser.zeves.OperatorScanner
 
getDialect() - Method in class net.sourceforge.czt.parser.zeves.Parser
 
getDialect() - Method in class net.sourceforge.czt.parser.zeves.UnicodeScanner
 
getDialect() - Method in class net.sourceforge.czt.print.zeves.ContextFreeScanner
Low-level LaTeX scanner gets its dialect from the context and propagate to other scanners.
getDialect() - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
 
getDialect() - Method in class net.sourceforge.czt.print.zeves.UnicodePrinter
 
getInfoType() - Method in class net.sourceforge.czt.parser.zeves.ProofTableService
 
getInfoType() - Method in class net.sourceforge.czt.parser.zeves.ProofTableVisitor
 
getKey(String) - Method in class net.sourceforge.czt.parser.zeves.ProofTableCommand
 
getLoc() - Method in class net.sourceforge.czt.parser.zeves.Parser
 
getLocation(Symbol) - Method in class net.sourceforge.czt.parser.zeves.Parser
 
getLocation(Term) - Method in class net.sourceforge.czt.parser.zeves.Parser
 
getLocation(LocAnn) - Method in class net.sourceforge.czt.parser.zeves.Parser
 
getLocation(Symbol) - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
 
getMap() - Static method in class net.sourceforge.czt.parser.zeves.SymMap
 
getMap() - Static method in class net.sourceforge.czt.parser.zeves.ZEvesSymMap
 
getMarkup(String) - Static method in class net.sourceforge.czt.parser.zeves.ParseUtils
Determine the markup of a file.
getMarkupFunction() - Method in class net.sourceforge.czt.parser.zeves.Latex2Unicode
Returns the latex mark-up function.
getMessage() - Method in enum net.sourceforge.czt.parser.zeves.ZEvesParseMessage
 
getName() - Method in enum net.sourceforge.czt.parser.zeves.ZEvesProofKeyword
 
getName() - Method in enum net.sourceforge.czt.parser.zeves.ZEvesProofToken
 
getNewlineCategory() - Method in enum net.sourceforge.czt.parser.zeves.ZEvesProofKeyword
 
getNewlineCategory() - Method in enum net.sourceforge.czt.parser.zeves.ZEvesProofToken
 
getNLSym() - Method in class net.sourceforge.czt.print.zeves.NewlineScanner
 
getOperatorTable() - Method in class net.sourceforge.czt.parser.zeves.OperatorScanner
 
getProofScript() - Method in class net.sourceforge.czt.parser.zeves.ProofTable.ProofInfo
 
getProofTable() - Method in class net.sourceforge.czt.parser.zeves.ProofTableVisitor
 
getResourceBundle() - Method in class net.sourceforge.czt.parser.zeves.ZEvesParseError
 
getSectionInfo() - Method in class net.sourceforge.czt.parser.zeves.Latex2Unicode
 
getSectionInfo() - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
 
getSource() - Method in class net.sourceforge.czt.parser.zeves.Latex2Unicode
 
getSource() - Method in class net.sourceforge.czt.parser.zeves.LatexMarkupParser
 
getSource() - Method in class net.sourceforge.czt.parser.zeves.LatexToUnicode
 
getSpelling() - Method in enum net.sourceforge.czt.parser.zeves.ZEvesProofKeyword
 
getSpelling() - Method in enum net.sourceforge.czt.parser.zeves.ZEvesProofToken
 
getSymbolClass() - Method in class net.sourceforge.czt.parser.zeves.KeywordScanner
 
getSymbolClass() - Method in class net.sourceforge.czt.parser.zeves.LatexScanner
 
getSymbolClass() - Method in class net.sourceforge.czt.parser.zeves.NewlineScanner
 
getSymbolClass() - Method in class net.sourceforge.czt.parser.zeves.OperatorScanner
 
getSymbolClass() - Method in class net.sourceforge.czt.parser.zeves.UnicodeScanner
 
getSymbolClass() - Method in class net.sourceforge.czt.print.zeves.NewlineScanner
 
getSymbolClass() - Method in class net.sourceforge.czt.print.zeves.ZmlScanner
 
getSymbolName(Token) - Method in class net.sourceforge.czt.print.zeves.ZmlScanner
 
getSymParaEnd() - Method in class net.sourceforge.czt.print.zeves.LatexPrinterCommand
 
getSymParaStart() - Method in class net.sourceforge.czt.print.zeves.LatexPrinterCommand
 
getSymTokenseq() - Method in class net.sourceforge.czt.print.zeves.LatexPrinterCommand
 
getTopLevelPred(Pred) - Method in class net.sourceforge.czt.parser.zeves.ParserState
 
getWarningManager() - Method in class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
 
getWriter() - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
 

H

handleSpaces(ListIterator<Token>, Token, Token, int, int, boolean, int) - Method in class net.sourceforge.czt.print.zeves.PrettyPrinter
 
hasErrors() - Method in class net.sourceforge.czt.parser.zeves.Parser
 
hasErrors() - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
 
HEAD_PROOF_WORDS_ONLY - Static variable in class net.sourceforge.czt.parser.zeves.ZEvesSymMap
 
headProofWordsOnly() - Static method in enum net.sourceforge.czt.parser.zeves.ZEvesProofKeyword
 
HELP - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
HISTORY - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 

I

I - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
IF - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
IFF - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
IMP - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
INDENT - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
init_actions() - Method in class net.sourceforge.czt.parser.zeves.Parser
Action encapsulation object initializer.
init_actions() - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
Action encapsulation object initializer.
INSTANTIATE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
INSTROKE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
INSTROKE - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
INVOKE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
INWORD_MARKUP - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
IP - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
isBoxSymbol(int) - Method in class net.sourceforge.czt.print.zeves.NewlineScanner
 
isFormattingProofGoals() - Method in class net.sourceforge.czt.print.zeves.PrettyPrinter
 
isSchSymbol(int) - Method in class net.sourceforge.czt.print.zeves.NewlineScanner
 
isSpecialTokenCase(Token, Token) - Method in class net.sourceforge.czt.print.zeves.PrettyPrinter
 
isWhereSymbol(int) - Method in class net.sourceforge.czt.print.zeves.NewlineScanner
 

K

KeywordScanner - Class in net.sourceforge.czt.parser.zeves
This is a keyword lexer (part of context-sensitive lexis) for specifications in unicode format.
KeywordScanner(ContextFreeScanner, Properties) - Constructor for class net.sourceforge.czt.parser.zeves.KeywordScanner
 

L

L - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
LAMBDA - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
Latex2Unicode - Class in net.sourceforge.czt.parser.zeves
The low-level latex to unicode scanner for Z.
Latex2Unicode(Source, SectionInfo, Properties) - Constructor for class net.sourceforge.czt.parser.zeves.Latex2Unicode
Creates a new scanner for the source.
Latex2Unicode(Reader) - Constructor for class net.sourceforge.czt.parser.zeves.Latex2Unicode
Creates a new scanner There is also a java.io.InputStream version of this constructor.
Latex2Unicode(InputStream) - Constructor for class net.sourceforge.czt.parser.zeves.Latex2Unicode
Creates a new scanner.
LatexMarkupParser - Class in net.sourceforge.czt.parser.zeves
A latex markup parser that looks like a scanner.
LatexMarkupParser(LatexMarkupParser.LatexLexer, SectionInfo) - Constructor for class net.sourceforge.czt.parser.zeves.LatexMarkupParser
Creates a new latex markup parser that uses the scanner provided.
LatexMarkupParser.LatexLexer - Interface in net.sourceforge.czt.parser.zeves
 
LatexParser - Class in net.sourceforge.czt.parser.zeves
A parser for LaTeX mark-up.
LatexParser(Source, SectionInfo, Properties, Collection<? extends Key<?>>) - Constructor for class net.sourceforge.czt.parser.zeves.LatexParser
 
LatexPrinterCommand - Class in net.sourceforge.czt.print.zeves
 
LatexPrinterCommand() - Constructor for class net.sourceforge.czt.print.zeves.LatexPrinterCommand
 
LatexScanner - Class in net.sourceforge.czt.parser.zeves
A latex scanner for Z specifications.
LatexScanner(Source, SectionInfo, Properties) - Constructor for class net.sourceforge.czt.parser.zeves.LatexScanner
Creates a new scanner.
LatexScannerDebugger - Class in net.sourceforge.czt.parser.zeves
 
LatexToUnicode - Class in net.sourceforge.czt.parser.zeves
The high-level latex to unicode converter for Z .
LatexToUnicode(Source, SectionInfo, Properties) - Constructor for class net.sourceforge.czt.parser.zeves.LatexToUnicode
Ignores the markup information contained in source and treats the content of source as LaTeX.
LBIND - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
LBIND - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
LBRACE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
LBRACE - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
LDATA - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
LDATA - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
LEFTASSOC - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
LEMMA - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
LET - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
LISTARG - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
LLABEL - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
LLABEL - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
local_next_token() - Method in class net.sourceforge.czt.parser.zeves.Parser
Returns the next token.
local_next_token() - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
Returns the next token.
localLookup(Symbol) - Method in class net.sourceforge.czt.parser.zeves.OperatorScanner
Lookup the value of this symbol
lookup(ZName) - Method in class net.sourceforge.czt.parser.zeves.ProofTable
 
LP - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
LPAREN - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
LPAREN - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
LSQUARE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
LSQUARE - Static variable in class net.sourceforge.czt.print.zeves.Sym
 

M

main(String[]) - Static method in class net.sourceforge.czt.parser.zeves.LatexScannerDebugger
 
main(String[]) - Static method in class net.sourceforge.czt.parser.zeves.UnicodeScanner
Lexes a given file.
MARKUP - Static variable in class net.sourceforge.czt.parser.zeves.Latex2Unicode
lexical states
markupScanner_ - Variable in class net.sourceforge.czt.print.zeves.Unicode2Latex
Used to scan the unicode provided within markup directives.
MEM - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
MU - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 

N

net.sourceforge.czt.parser.zeves - package net.sourceforge.czt.parser.zeves
 
net.sourceforge.czt.print.zeves - package net.sourceforge.czt.print.zeves
 
NewlineScanner - Class in net.sourceforge.czt.parser.zeves
This is a NL lexer (part of context-sensitive lexis) for specifications in unicode format.
NewlineScanner - Class in net.sourceforge.czt.print.zeves
 
NewlineScanner(CztScanner) - Constructor for class net.sourceforge.czt.print.zeves.NewlineScanner
 
next() - Method in class net.sourceforge.czt.parser.zeves.Latex2Unicode
Resumes scanning until the next regular expression is matched, the end of input is encountered or an I/O-Error occurs.
next() - Method in class net.sourceforge.czt.parser.zeves.LatexMarkupParser
 
next() - Method in class net.sourceforge.czt.parser.zeves.LatexToUnicode
 
NEXT - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
next_token() - Method in class net.sourceforge.czt.parser.zeves.ContextFreeScanner
Resumes scanning until the next regular expression is matched, the end of input is encountered or an I/O-Error occurs.
next_token() - Method in class net.sourceforge.czt.parser.zeves.KeywordScanner
 
next_token() - Method in class net.sourceforge.czt.parser.zeves.LatexScanner
 
next_token() - Method in class net.sourceforge.czt.parser.zeves.NewlineScanner
 
next_token() - Method in class net.sourceforge.czt.parser.zeves.OperatorScanner
 
next_token() - Method in class net.sourceforge.czt.parser.zeves.UnicodeScanner
 
next_token() - Method in class net.sourceforge.czt.print.zeves.ContextFreeScanner
Resumes scanning until the next regular expression is matched, the end of input is encountered or an I/O-Error occurs.
next_token() - Method in class net.sourceforge.czt.print.zeves.ZmlScanner
 
NEXTSTROKE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
NEXTSTROKE - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
NL - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
NL - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
NORMALIZATION - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
NOT - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
NUMERAL - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
NUMERAL - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
NUMSTROKE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
NUMSTROKE - Static variable in class net.sourceforge.czt.print.zeves.Sym
 

O

OldLatexPrinterCommand - Class in net.sourceforge.czt.print.zeves
 
OldLatexPrinterCommand() - Constructor for class net.sourceforge.czt.print.zeves.OldLatexPrinterCommand
 
OOPS - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
OperatorScanner - Class in net.sourceforge.czt.parser.zeves
This is an operator lexer (part of context-sensitive lexis) for specifications in unicode format.
OR - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
OUTSTROKE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
OUTSTROKE - Static variable in class net.sourceforge.czt.print.zeves.Sym
 

P

PARA - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
PARA_END - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
PARA_START - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
PARENT - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
PARENTS - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
PARENTS - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
parse() - Method in class net.sourceforge.czt.parser.zeves.LatexParser
 
parse() - Method in class net.sourceforge.czt.parser.zeves.Parser
 
parse(Source, SectionInfo) - Static method in class net.sourceforge.czt.parser.zeves.ParseUtils
 
parse(Source, SectionInfo, Properties) - Static method in class net.sourceforge.czt.parser.zeves.ParseUtils
 
parse() - Method in class net.sourceforge.czt.parser.zeves.UnicodeParser
 
parseCharMarkupDirective(String, LocInfo) - Static method in class net.sourceforge.czt.parser.zeves.LatexMarkupParser
 
parseException_ - Variable in class net.sourceforge.czt.parser.zeves.Parser
 
parseExpr(Source, String, SectionManager) - Static method in class net.sourceforge.czt.parser.zeves.ParseUtils
Parse a Source string/file as a Z Expression.
parseParas(Source, String, SectionManager) - Static method in class net.sourceforge.czt.parser.zeves.ParseUtils
Parse a Source string/file as Z Paragraphs.
parsePred(Source, String, SectionManager) - Static method in class net.sourceforge.czt.parser.zeves.ParseUtils
Parse a Source string/file as a Z Predicate.
Parser - Class in net.sourceforge.czt.parser.zeves
CUP v0.11a czt01 beta generated parser.
Parser() - Constructor for class net.sourceforge.czt.parser.zeves.Parser
Default constructor.
Parser(Scanner) - Constructor for class net.sourceforge.czt.parser.zeves.Parser
Constructor which sets the default scanner.
Parser(Scanner, SymbolFactory) - Constructor for class net.sourceforge.czt.parser.zeves.Parser
Constructor which sets the default scanner.
Parser(CztScanner, Source, SectionInfo, Properties, Collection<? extends Key<?>>) - Constructor for class net.sourceforge.czt.parser.zeves.Parser
Creates a new parser with the given scanner, source information, and section information.
ParserState - Class in net.sourceforge.czt.parser.zeves
 
ParserState(Source) - Constructor for class net.sourceforge.czt.parser.zeves.ParserState
 
ParseUtils - Class in net.sourceforge.czt.parser.zeves
Utilities for parsing specifications.
ParseUtils() - Constructor for class net.sourceforge.czt.parser.zeves.ParseUtils
 
POST - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
POSTP - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
POSTWORD_MARKUP - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
POWER - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
PRE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
PRED - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
PREDICATE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
PRENEX - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
PREP - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
preprocess(Term, SectionManager, String) - Method in class net.sourceforge.czt.print.zeves.LatexPrinterCommand
 
preprocess(Term, SectionManager, String) - Method in class net.sourceforge.czt.print.zeves.UnicodePrinterCommand
 
preprocessTerm(Term, List<Object>) - Method in class net.sourceforge.czt.print.zeves.AstToPrintTreeVisitor
 
PrettyPrinter - Class in net.sourceforge.czt.print.zeves
 
PrettyPrinter(Term, int) - Constructor for class net.sourceforge.czt.print.zeves.PrettyPrinter
 
PrettyPrinter(Term, int, boolean) - Constructor for class net.sourceforge.czt.print.zeves.PrettyPrinter
 
PREWORD_MARKUP - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
PRINT - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
print(Term, Writer, SectionManager, Markup) - Static method in class net.sourceforge.czt.print.zeves.PrintUtils
Prints a given term (usually a Spec or Sect) in the specified markup to the given writer.
print(Term, Writer, SectionManager, String, Markup) - Static method in class net.sourceforge.czt.print.zeves.PrintUtils
 
print(Token) - Method in class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
 
printException_ - Variable in class net.sourceforge.czt.print.zeves.Unicode2Latex
 
printLatex(Term, Writer, SectionManager, String) - Method in class net.sourceforge.czt.print.zeves.LatexPrinterCommand
 
printOldLatex(Term, Writer, SectionManager, String) - Method in class net.sourceforge.czt.print.zeves.OldLatexPrinterCommand
 
PrintUtils - Class in net.sourceforge.czt.print.zeves
Utilities for printing Circus specifications given as an AST.
production_table() - Method in class net.sourceforge.czt.parser.zeves.Parser
Access to production table.
production_table() - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
Access to production table.
PROOF - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
ProofInfo(String, ProofScript) - Constructor for class net.sourceforge.czt.parser.zeves.ProofTable.ProofInfo
 
ProofTable - Class in net.sourceforge.czt.parser.zeves
 
ProofTable(Dialect, String) - Constructor for class net.sourceforge.czt.parser.zeves.ProofTable
 
ProofTable.ProofInfo - Class in net.sourceforge.czt.parser.zeves
 
ProofTable.ProofTableException - Exception in net.sourceforge.czt.parser.zeves
 
ProofTableCommand - Class in net.sourceforge.czt.parser.zeves
A command to compute the proof table (class ProofTable) of a Z section.
ProofTableCommand() - Constructor for class net.sourceforge.czt.parser.zeves.ProofTableCommand
 
ProofTableException(Dialect, String) - Constructor for exception net.sourceforge.czt.parser.zeves.ProofTable.ProofTableException
 
ProofTableService - Class in net.sourceforge.czt.parser.zeves
 
ProofTableService(SectionInfo) - Constructor for class net.sourceforge.czt.parser.zeves.ProofTableService
Creates a new named conjecture table service.
ProofTableVisitor - Class in net.sourceforge.czt.parser.zeves
 
ProofTableVisitor(SectionInfo) - Constructor for class net.sourceforge.czt.parser.zeves.ProofTableVisitor
Creates a new named conjecture table visitor.
Proofword - Class in net.sourceforge.czt.parser.zeves
Note that the wordpart of a decorword can be empty, which does not represent a DECORWORD in the ISO Z standard.
Proofword(String, ZStrokeList, LocInfo) - Constructor for class net.sourceforge.czt.parser.zeves.Proofword
 
Proofword(String, ZStrokeList) - Constructor for class net.sourceforge.czt.parser.zeves.Proofword
 
Proofword(String, LocInfo) - Constructor for class net.sourceforge.czt.parser.zeves.Proofword
 
Proofword(String) - Constructor for class net.sourceforge.czt.parser.zeves.Proofword
 
PROOFWORD - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
PROOFWORD - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
PROVE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 

Q

QNTINSTANTIATION - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
QUIT - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 

R

raiseErrors() - Method in class net.sourceforge.czt.parser.zeves.Parser
 
raiseErrors() - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
 
RBIND - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
RBIND - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
RBRACE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
RBRACE - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
RDATA - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
RDATA - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
READ - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
REARRANGE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
REDUCE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
reduce_table() - Method in class net.sourceforge.czt.parser.zeves.Parser
Access to reduce_goto table.
reduce_table() - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
Access to reduce_goto table.
RELATION - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
report(SectionInfo, Source, ErrorType, ZEvesParseMessage, Object[], LocInfo) - Static method in class net.sourceforge.czt.parser.zeves.ZEvesParseError
 
report(SectionInfo, Source, ErrorType, ZEvesParseMessage, Object[], LocInfo, String) - Static method in class net.sourceforge.czt.parser.zeves.ZEvesParseError
 
report_error(String, Object) - Method in class net.sourceforge.czt.parser.zeves.Parser
 
report_error(ZParseMessage, Object[], LocInfo) - Method in class net.sourceforge.czt.parser.zeves.Parser
 
report_error(ZEvesParseMessage, Object[], LocInfo) - Method in class net.sourceforge.czt.parser.zeves.Parser
 
report_error(String, Object) - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
 
report_fatal_error(String, Object) - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
 
report_syntax_error() - Method in class net.sourceforge.czt.parser.zeves.Parser
 
report_syntax_error(ZParseMessage) - Method in class net.sourceforge.czt.parser.zeves.Parser
 
RESET - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
reset(Reader) - Method in class net.sourceforge.czt.parser.zeves.UnicodeScanner
 
RETRY - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
REWRITE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
RIGHTASSOC - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
RLABEL - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
RLABEL - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
RPAREN - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
RPAREN - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
RSQUARE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
RSQUARE - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
run(ZSect) - Method in class net.sourceforge.czt.parser.zeves.ProofTableService
 
run(ZSect, SectionInfo) - Method in class net.sourceforge.czt.parser.zeves.ProofTableService
 
run(Term) - Method in class net.sourceforge.czt.parser.zeves.ProofTableVisitor
 

S

scan() - Method in class net.sourceforge.czt.parser.zeves.Parser
Scan to get the next Symbol.
scan() - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
Scan to get the next Symbol.
SCH - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
SCH - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
SCRIPT - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
sectInfo_ - Variable in class net.sourceforge.czt.parser.zeves.Parser
Section information (parser code).
sectInfo_ - Variable in class net.sourceforge.czt.print.zeves.Unicode2Latex
 
SECTION - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
SECTION - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
sectionName_ - Variable in class net.sourceforge.czt.print.zeves.Unicode2Latex
 
SEMICOLON - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
setFormatProofGoal(boolean) - Method in class net.sourceforge.czt.print.zeves.PrettyPrinter
 
setMarkupFunction(LatexMarkupFunction) - Method in class net.sourceforge.czt.parser.zeves.Latex2Unicode
Sets the latex mark-up function.
setMarkupFunction(LatexMarkupFunction) - Method in interface net.sourceforge.czt.parser.zeves.LatexMarkupParser.LatexLexer
 
setOperatorTable(OpTable) - Method in class net.sourceforge.czt.parser.zeves.OperatorScanner
 
setSectionInfo(SectionInfo) - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
 
setSectionInfo(SectionInfo, String) - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
 
setWriter(Writer) - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
 
SIMPLIFY - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
SLASH - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
SORRY - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
source_ - Variable in class net.sourceforge.czt.parser.zeves.Parser
The file being parsed.
source_ - Variable in class net.sourceforge.czt.print.zeves.Unicode2Latex
The source currently being parsed.
spelling() - Method in enum net.sourceforge.czt.parser.zeves.ZEvesProofKeyword
 
spelling() - Method in enum net.sourceforge.czt.parser.zeves.ZEvesProofToken
 
SPLIT - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
SPOT - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
SR - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
SRE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
SREP - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
SRP - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
SS - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
start_production() - Method in class net.sourceforge.czt.parser.zeves.Parser
Indicates start production.
start_production() - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
Indicates start production.
start_state() - Method in class net.sourceforge.czt.parser.zeves.Parser
Indicates start state.
start_state() - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
Indicates start state.
STATUS - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
storeZEvesLabelFor(Pred, ZEvesLabel) - Method in class net.sourceforge.czt.parser.zeves.ParserState
 
SUBSTITUTE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
SUMMARY - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
Sym - Class in net.sourceforge.czt.parser.zeves
CUP generated class containing symbol constants.
Sym() - Constructor for class net.sourceforge.czt.parser.zeves.Sym
 
Sym - Class in net.sourceforge.czt.print.zeves
CUP generated class containing symbol constants.
Sym() - Constructor for class net.sourceforge.czt.print.zeves.Sym
 
symbolMap2_ - Static variable in class net.sourceforge.czt.print.zeves.Unicode2Latex
 
symbolMap_ - Static variable in class net.sourceforge.czt.print.zeves.Unicode2Latex
 
SymMap - Class in net.sourceforge.czt.parser.zeves
 
SYNTAX - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
syntax_error(Symbol) - Method in class net.sourceforge.czt.parser.zeves.Parser
 

T

tabSize_ - Variable in class net.sourceforge.czt.print.zeves.Unicode2Latex
 
TEXT - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
TEXT - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
THEN - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
THEOREM - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
THEOREM - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
THEOREMS - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
THETA - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
THMAXIOM - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
THMAXIOM - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
THMFRULE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
THMFRULE - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
THMGRULE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
THMGRULE - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
THMNAME - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
THMNAME - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
THMREPLACEMENT - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
THMRULE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
THMRULE - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
THROUGH - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
TO - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
TOKENSEQ - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
TokenSequenceVisitor - Class in net.sourceforge.czt.print.zeves
 
TokenSequenceVisitor(SectionInfo, ZPrinter, Properties, WarningManager) - Constructor for class net.sourceforge.czt.print.zeves.TokenSequenceVisitor
 
toObject(Symbol) - Method in class net.sourceforge.czt.parser.zeves.Parser
 
toObject(Symbol) - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
 
TRIVIAL - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
TRUE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
TRY - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 

U

UNDO - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
Unicode2Latex - Class in net.sourceforge.czt.print.zeves
CUP v0.11a czt01 beta generated parser.
Unicode2Latex() - Constructor for class net.sourceforge.czt.print.zeves.Unicode2Latex
Default constructor.
Unicode2Latex(Scanner) - Constructor for class net.sourceforge.czt.print.zeves.Unicode2Latex
Constructor which sets the default scanner.
Unicode2Latex(Scanner, SymbolFactory) - Constructor for class net.sourceforge.czt.print.zeves.Unicode2Latex
Constructor which sets the default scanner.
Unicode2Latex(CztScanner, SectionInfo, Properties, Collection<? extends Key<?>>) - Constructor for class net.sourceforge.czt.print.zeves.Unicode2Latex
 
UnicodeParser - Class in net.sourceforge.czt.parser.zeves
A parser for unicode.
UnicodeParser(Source, SectionInfo, Properties, Collection<? extends Key<?>>) - Constructor for class net.sourceforge.czt.parser.zeves.UnicodeParser
 
UnicodePrinter - Class in net.sourceforge.czt.print.zeves
 
UnicodePrinter(Writer) - Constructor for class net.sourceforge.czt.print.zeves.UnicodePrinter
Create a new PrintWriter, without automatic line flushing.
UnicodePrinter(Writer, boolean) - Constructor for class net.sourceforge.czt.print.zeves.UnicodePrinter
Create a new PrintWriter.
UnicodePrinterCommand - Class in net.sourceforge.czt.print.zeves
 
UnicodePrinterCommand() - Constructor for class net.sourceforge.czt.print.zeves.UnicodePrinterCommand
 
UnicodeScanner - Class in net.sourceforge.czt.parser.zeves
A scanner for lexing specifications in unicode format.
UnicodeScanner(Source, Properties) - Constructor for class net.sourceforge.czt.parser.zeves.UnicodeScanner
 
UnicodeScanner(CztReader, Properties) - Constructor for class net.sourceforge.czt.parser.zeves.UnicodeScanner
 
unrecovered_syntax_error(Symbol) - Method in class net.sourceforge.czt.parser.zeves.Parser
 
unrecovered_syntax_error(Symbol) - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
 
updateZSectWithAddedPara(ZSect) - Method in class net.sourceforge.czt.parser.zeves.ParserState
 
usageWordsOnly() - Static method in enum net.sourceforge.czt.parser.zeves.ZEvesProofKeyword
 
USE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
user_init() - Method in class net.sourceforge.czt.parser.zeves.Parser
User initialization code.
user_init() - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
User initialization code.

V

valueOf(String) - Static method in enum net.sourceforge.czt.parser.zeves.ZEvesParseMessage
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sourceforge.czt.parser.zeves.ZEvesProofKeyword
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sourceforge.czt.parser.zeves.ZEvesProofToken
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sourceforge.czt.print.zeves.ZEvesPrintMessage
Returns the enum constant of this type with the specified name.
values() - Static method in enum net.sourceforge.czt.parser.zeves.ZEvesParseMessage
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sourceforge.czt.parser.zeves.ZEvesProofKeyword
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sourceforge.czt.parser.zeves.ZEvesProofToken
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sourceforge.czt.print.zeves.ZEvesPrintMessage
Returns an array containing the constants of this enum type, in the order they are declared.
verifyConsistency(ThmTable) - Method in class net.sourceforge.czt.parser.zeves.ProofTable
 
visit(Term) - Method in class net.sourceforge.czt.parser.zeves.ProofTableVisitor
 
visitApplyCommand(ApplyCommand) - Method in class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
 
visitBindExpr(BindExpr) - Method in class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
 
visitCaseAnalysisCommand(CaseAnalysisCommand) - Method in class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
 
visitConjPara(ConjPara) - Method in class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
 
visitConstDecl(ConstDecl) - Method in class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
 
visitInstantiation(Instantiation) - Method in class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
 
visitInstantiationList(InstantiationList) - Method in class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
 
visitNormalizationCommand(NormalizationCommand) - Method in class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
 
visitPara(Para) - Method in class net.sourceforge.czt.parser.zeves.ProofTableVisitor
 
visitProofCommandInfo(ProofCommandInfo) - Method in class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
 
visitProofCommandInfoList(ProofCommandInfoList) - Method in class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
 
visitProofCommandList(ProofCommandList) - Method in class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
 
visitProofScript(ProofScript) - Method in class net.sourceforge.czt.parser.zeves.ProofTableVisitor
 
visitProofScript(ProofScript) - Method in class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
 
visitProofType(ProofType) - Method in class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
 
visitQuantifiersCommand(QuantifiersCommand) - Method in class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
 
visitRenameExpr(RenameExpr) - Method in class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
 
visitSimplificationCommand(SimplificationCommand) - Method in class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
 
visitSorryCommand(SorryCommand) - Method in class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
 
visitSubstitutionCommand(SubstitutionCommand) - Method in class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
 
visitTerm(Term) - Method in class net.sourceforge.czt.parser.zeves.ProofTableVisitor
 
visitUseCommand(UseCommand) - Method in class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
 
visitWithCommand(WithCommand) - Method in class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
 
visitZEvesLabel(ZEvesLabel) - Method in class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
 
visitZEvesNote(ZEvesNote) - Method in class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
 
visitZParaList(ZParaList) - Method in class net.sourceforge.czt.parser.zeves.ProofTableVisitor
 
visitZSect(ZSect) - Method in class net.sourceforge.czt.parser.zeves.ProofTableVisitor
 

W

warn(ZEvesPrintMessage, Object...) - Method in class net.sourceforge.czt.print.zeves.WarningManager
 
WarningManager - Class in net.sourceforge.czt.print.zeves
 
WarningManager() - Constructor for class net.sourceforge.czt.print.zeves.WarningManager
 
WarningManager(Class<?>) - Constructor for class net.sourceforge.czt.print.zeves.WarningManager
Creates a new instance of WarningManager
warningManager_ - Static variable in class net.sourceforge.czt.print.zeves.PrintUtils
 
WHERE - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
WITH - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
WORD_MARKUP - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
write(String) - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
 

X

XmlPrinterCommand - Class in net.sourceforge.czt.print.zeves
 
XmlPrinterCommand() - Constructor for class net.sourceforge.czt.print.zeves.XmlPrinterCommand
 

Y

yybegin(int) - Method in class net.sourceforge.czt.parser.zeves.ContextFreeScanner
Enters a new lexical state
yybegin(int) - Method in class net.sourceforge.czt.parser.zeves.Latex2Unicode
Enters a new lexical state
yybegin(int) - Method in class net.sourceforge.czt.print.zeves.ContextFreeScanner
Enters a new lexical state
yycharat(int) - Method in class net.sourceforge.czt.parser.zeves.ContextFreeScanner
Returns the character at position pos from the matched text.
yycharat(int) - Method in class net.sourceforge.czt.parser.zeves.Latex2Unicode
Returns the character at position pos from the matched text.
yycharat(int) - Method in class net.sourceforge.czt.print.zeves.ContextFreeScanner
Returns the character at position pos from the matched text.
yyclose() - Method in class net.sourceforge.czt.parser.zeves.ContextFreeScanner
Closes the input stream.
yyclose() - Method in class net.sourceforge.czt.parser.zeves.Latex2Unicode
Closes the input stream.
yyclose() - Method in class net.sourceforge.czt.print.zeves.ContextFreeScanner
Closes the input stream.
YYEOF - Static variable in class net.sourceforge.czt.parser.zeves.ContextFreeScanner
This character denotes the end of file
YYEOF - Static variable in class net.sourceforge.czt.parser.zeves.Latex2Unicode
This character denotes the end of file
YYEOF - Static variable in class net.sourceforge.czt.print.zeves.ContextFreeScanner
This character denotes the end of file
YYINITIAL - Static variable in class net.sourceforge.czt.parser.zeves.ContextFreeScanner
lexical states
YYINITIAL - Static variable in class net.sourceforge.czt.parser.zeves.Latex2Unicode
 
YYINITIAL - Static variable in class net.sourceforge.czt.print.zeves.ContextFreeScanner
lexical states
yylength() - Method in class net.sourceforge.czt.parser.zeves.ContextFreeScanner
Returns the length of the matched text region.
yylength() - Method in class net.sourceforge.czt.parser.zeves.Latex2Unicode
Returns the length of the matched text region.
yylength() - Method in class net.sourceforge.czt.print.zeves.ContextFreeScanner
Returns the length of the matched text region.
yypushback(int) - Method in class net.sourceforge.czt.parser.zeves.ContextFreeScanner
Pushes the specified amount of characters back into the input stream.
yypushback(int) - Method in class net.sourceforge.czt.parser.zeves.Latex2Unicode
Pushes the specified amount of characters back into the input stream.
yypushback(int) - Method in class net.sourceforge.czt.print.zeves.ContextFreeScanner
Pushes the specified amount of characters back into the input stream.
yyreset(Reader) - Method in class net.sourceforge.czt.parser.zeves.ContextFreeScanner
Resets the scanner to read from a new input stream.
yyreset(Reader) - Method in class net.sourceforge.czt.parser.zeves.Latex2Unicode
Resets the scanner to read from a new input stream.
yyreset(Reader) - Method in class net.sourceforge.czt.print.zeves.ContextFreeScanner
Resets the scanner to read from a new input stream.
yystate() - Method in class net.sourceforge.czt.parser.zeves.ContextFreeScanner
Returns the current lexical state.
yystate() - Method in class net.sourceforge.czt.parser.zeves.Latex2Unicode
Returns the current lexical state.
yystate() - Method in class net.sourceforge.czt.print.zeves.ContextFreeScanner
Returns the current lexical state.
yytext() - Method in class net.sourceforge.czt.parser.zeves.ContextFreeScanner
Returns the text matched by the current regular expression.
yytext() - Method in class net.sourceforge.czt.parser.zeves.Latex2Unicode
Returns the text matched by the current regular expression.
yytext() - Method in class net.sourceforge.czt.print.zeves.ContextFreeScanner
Returns the text matched by the current regular expression.

Z

Z - Static variable in class net.sourceforge.czt.parser.zeves.ContextFreeScanner
 
Z - Static variable in class net.sourceforge.czt.print.zeves.ContextFreeScanner
 
ZCOMP - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
ZED - Static variable in class net.sourceforge.czt.parser.zeves.Latex2Unicode
 
ZED - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
ZED - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
ZEvesParseError - Class in net.sourceforge.czt.parser.zeves
 
ZEvesParseError(SectionInfo, ZEvesParseMessage, Object[], LocInfo) - Constructor for class net.sourceforge.czt.parser.zeves.ZEvesParseError
 
ZEvesParseMessage - Enum in net.sourceforge.czt.parser.zeves
 
ZEvesParseResources - Class in net.sourceforge.czt.parser.zeves
 
ZEvesParseResources() - Constructor for class net.sourceforge.czt.parser.zeves.ZEvesParseResources
 
ZEvesPrintMessage - Enum in net.sourceforge.czt.print.zeves
 
ZEvesPrintVisitor - Class in net.sourceforge.czt.print.zeves
An Circus visitor used for printing.
ZEvesPrintVisitor(SectionInfo, ZPrinter, WarningManager) - Constructor for class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
Creates a new Object-Z print visitor.
ZEvesPrintVisitor(SectionInfo, ZPrinter, Properties, WarningManager) - Constructor for class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
 
ZEvesProofKeyword - Enum in net.sourceforge.czt.parser.zeves
 
ZEvesProofToken - Enum in net.sourceforge.czt.parser.zeves
 
ZEvesSymMap - Class in net.sourceforge.czt.parser.zeves
 
ZHIDE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
ZLABEL_STATE - Static variable in class net.sourceforge.czt.parser.zeves.Latex2Unicode
 
ZmlScanner - Class in net.sourceforge.czt.print.zeves
This Scanner uses the print visitor to tokenize a given Z/Circus term.
ZmlScanner(SectionInfo, Term, WarningManager, Properties) - Constructor for class net.sourceforge.czt.print.zeves.ZmlScanner
Creates a new ZML scanner.
ZmlScanner(Dialect, Iterator<Token>, Properties) - Constructor for class net.sourceforge.czt.print.zeves.ZmlScanner
 
ZNOTE_STATE - Static variable in class net.sourceforge.czt.parser.zeves.Latex2Unicode
 
ZPIPE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
ZPRE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
ZPROJ - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
ZPROOF - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
ZPROOF - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
ZPROOFCOMMANDSEP - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
ZPROOFCOMMANDSEP - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
ZPROOFSECTION - Static variable in class net.sourceforge.czt.print.zeves.Sym
 
ZSECTION - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
ZTAGS - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
ZToWhyMPrintVisitor - Class in net.sourceforge.czt.print.zeves
 
ZToWhyMPrintVisitor() - Constructor for class net.sourceforge.czt.print.zeves.ZToWhyMPrintVisitor
 

_

_action_table - Static variable in class net.sourceforge.czt.parser.zeves.Parser
Parse-action table.
_action_table - Static variable in class net.sourceforge.czt.print.zeves.Unicode2Latex
Parse-action table.
_APPLICATION - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
_production_table - Static variable in class net.sourceforge.czt.parser.zeves.Parser
Production table.
_production_table - Static variable in class net.sourceforge.czt.print.zeves.Unicode2Latex
Production table.
_reduce_table - Static variable in class net.sourceforge.czt.parser.zeves.Parser
reduce_goto table.
_reduce_table - Static variable in class net.sourceforge.czt.print.zeves.Unicode2Latex
reduce_goto table.
_RENAME - Static variable in class net.sourceforge.czt.parser.zeves.Sym
 
A B C D E F G H I K L M N O P Q R S T U V W X Y Z _ 
Skip navigation links

Copyright © 2003–2016 Community Z Tools Project. All rights reserved.