Overview  Package  Class  Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Constant Field Values

Contents
fmrisc.Communication.*

fmrisc.Communication.PrettyMathML
public static final int WIDTH 85

fmrisc.Communication.PrettyPrinter
public static final int WIDTH 75

fmrisc.ProofNavigator.*

fmrisc.ProofNavigator.PNParserTokenTypes
public static final int ARROW 127
public static final int ASSIGNMENT 113
public static final int COLON 111
public static final int COMMA 112
public static final int COMMENT 134
public static final int DIGIT 131
public static final int DIVIDES 123
public static final int DOTDOT 128
public static final int EOF 1
public static final int EOL 133
public static final int EQUALITY 114
public static final int EQUIV 126
public static final int GREATER 118
public static final int GREATEREQ 119
public static final int IDENT 7
public static final int IGNORE 101
public static final int IMPLIES 125
public static final int LABEL 9
public static final int LBRACK 104
public static final int LBRACKGRID 108
public static final int LESS 116
public static final int LESSEQ 117
public static final int LETTER 130
public static final int LITERAL_AND 75
public static final int LITERAL_ARRAY 54
public static final int LITERAL_assume 21
public static final int LITERAL_auto 17
public static final int LITERAL_autostar 19
public static final int LITERAL_AXIOM 50
public static final int LITERAL_BOOLEAN 56
public static final int LITERAL_case 22
public static final int LITERAL_counterexample 20
public static final int LITERAL_decompose 15
public static final int LITERAL_ELSE 99
public static final int LITERAL_ELSIF 98
public static final int LITERAL_ENDIF 100
public static final int LITERAL_environment 35
public static final int LITERAL_EXISTS 68
public static final int LITERAL_expand 27
public static final int LITERAL_FALSE 93
public static final int LITERAL_flatten 12
public static final int LITERAL_flip 8
public static final int LITERAL_FORALL 67
public static final int LITERAL_formula 40
public static final int LITERAL_FORMULA 49
public static final int LITERAL_goal 10
public static final int LITERAL_goto 32
public static final int LITERAL_IF 96
public static final int LITERAL_in 25
public static final int LITERAL_IN 70
public static final int LITERAL_induction 28
public static final int LITERAL_instantiate 24
public static final int LITERAL_INT 57
public static final int LITERAL_LAMBDA 66
public static final int LITERAL_lemma 23
public static final int LITERAL_LET 69
public static final int LITERAL_NAT 58
public static final int LITERAL_newcontext 46
public static final int LITERAL_next 30
public static final int LITERAL_NOT 76
public static final int LITERAL_OF 55
public static final int LITERAL_open 29
public static final int LITERAL_option 44
public static final int LITERAL_OR 74
public static final int LITERAL_prev 31
public static final int LITERAL_proof 36
public static final int LITERAL_prove 6
public static final int LITERAL_quit 41
public static final int LITERAL_read 42
public static final int LITERAL_REAL 59
public static final int LITERAL_redo 34
public static final int LITERAL_scatter 16
public static final int LITERAL_simplify 14
public static final int LITERAL_skolemize 11
public static final int LITERAL_split 13
public static final int LITERAL_state 37
public static final int LITERAL_SUBTYPE 64
public static final int LITERAL_tcc 5
public static final int LITERAL_THEN 97
public static final int LITERAL_TRUE 92
public static final int LITERAL_type 38
public static final int LITERAL_TYPE 48
public static final int LITERAL_typeaxiom 26
public static final int LITERAL_undo 33
public static final int LITERAL_value 39
public static final int LITERAL_WITH 87
public static final int LITERAL_XOR 73
public static final int LPAR 102
public static final int LPARGRID 106
public static final int MINUS 121
public static final int NONEQUALITY 115
public static final int NULL_TREE_LOOKAHEAD 3
public static final int NUMBER 89
public static final int PERIOD 110
public static final int PLUS 120
public static final int POWER 124
public static final int RBRACK 105
public static final int RBRACKGRID 109
public static final int REALLETTER 129
public static final int RPAR 103
public static final int RPARGRID 107
public static final int SEMICOLON 4
public static final int STRING 43
public static final int TIMES 122
public static final int UNDERSCORE 91
public static final int WS 132

fmrisc.ProofNavigator.State
public static final java.lang.String NamespacePrefix "fmrisc"
public static final java.lang.String NamespaceURI "http://www.risc.uni-linz.ac.at/FM-RISC"
public static final java.lang.String OMDocPrefix "omdoc"
public static final java.lang.String OMDocURI "http://www.mathweb.org/omdoc"
public static final java.lang.String OpenMathPrefix "om"
public static final java.lang.String OpenMathURI "http://www.openmath.org/OpenMath"
public static final java.lang.String XMLPrefix "xml"
public static final java.lang.String XMLURI "http://www.w3.org/XML/1998/namespace"

fmrisc.ProofNavigator.Commands.Assume
public static final java.lang.String Name "assume"

fmrisc.ProofNavigator.Commands.Auto
public static final java.lang.String Name "auto"

fmrisc.ProofNavigator.Commands.AutoStar
public static final java.lang.String Name "autostar"

fmrisc.ProofNavigator.Commands.Case
public static final java.lang.String Name "case"

fmrisc.ProofNavigator.Commands.ContextC
public static final java.lang.String Name "newcontext"

fmrisc.ProofNavigator.Commands.CounterExample
public static final java.lang.String Name "counterexample"

fmrisc.ProofNavigator.Commands.DeclarationC
public static final java.lang.String Name "declaration"

fmrisc.ProofNavigator.Commands.Decompose
public static final java.lang.String Name "decompose"

fmrisc.ProofNavigator.Commands.Empty
public static final java.lang.String Name "empty"

fmrisc.ProofNavigator.Commands.EnvironmentC
public static final java.lang.String Name "environment"

fmrisc.ProofNavigator.Commands.Expand
public static final java.lang.String Name "expand"

fmrisc.ProofNavigator.Commands.Flatten
public static final java.lang.String Name "flatten"

fmrisc.ProofNavigator.Commands.Flip
public static final java.lang.String Name "flip"

fmrisc.ProofNavigator.Commands.FormulaC
public static final java.lang.String Name "formula"

fmrisc.ProofNavigator.Commands.Goal
public static final java.lang.String Name "goal"

fmrisc.ProofNavigator.Commands.Goto
public static final java.lang.String Name "goto"

fmrisc.ProofNavigator.Commands.Induction
public static final java.lang.String Name "induction"

fmrisc.ProofNavigator.Commands.Instantiate
public static final java.lang.String Name "instantiate"

fmrisc.ProofNavigator.Commands.Lemma
public static final java.lang.String Name "lemma"

fmrisc.ProofNavigator.Commands.Next
public static final java.lang.String Name "next"

fmrisc.ProofNavigator.Commands.Open
public static final java.lang.String Name "open"

fmrisc.ProofNavigator.Commands.Option
public static final java.lang.String Name "option"

fmrisc.ProofNavigator.Commands.Prev
public static final java.lang.String Name "prev"

fmrisc.ProofNavigator.Commands.ProofC
public static final java.lang.String Name "proof"

fmrisc.ProofNavigator.Commands.Prove
public static final java.lang.String Name "prove"

fmrisc.ProofNavigator.Commands.Proved
public static final java.lang.String Name "proved"

fmrisc.ProofNavigator.Commands.Quit
public static final java.lang.String Name "quit"

fmrisc.ProofNavigator.Commands.Read
public static final java.lang.String Name "read"

fmrisc.ProofNavigator.Commands.Redo
public static final java.lang.String Name "redo"

fmrisc.ProofNavigator.Commands.Scatter
public static final java.lang.String Name "scatter"

fmrisc.ProofNavigator.Commands.Simplify
public static final java.lang.String Name "simplify"

fmrisc.ProofNavigator.Commands.Skolemize
public static final java.lang.String Name "skolemize"

fmrisc.ProofNavigator.Commands.Split
public static final java.lang.String Name "split"

fmrisc.ProofNavigator.Commands.StateC
public static final java.lang.String Name "state"

fmrisc.ProofNavigator.Commands.TCC
public static final java.lang.String Name "tcc"

fmrisc.ProofNavigator.Commands.TypeAxiom
public static final java.lang.String Name "typeaxiom"

fmrisc.ProofNavigator.Commands.TypeC
public static final java.lang.String Name "type"

fmrisc.ProofNavigator.Commands.Undo
public static final java.lang.String Name "undo"

fmrisc.ProofNavigator.Commands.ValueC
public static final java.lang.String Name "value"

fmrisc.Proving.*

fmrisc.Proving.CVCL.CVCLParserTokenTypes
public static final int ARROW 84
public static final int ASSIGNMENT 70
public static final int COLON 67
public static final int COMMA 69
public static final int COMMENT 90
public static final int DIGIT 87
public static final int DIVIDES 80
public static final int DOTDOT 85
public static final int EOF 1
public static final int EOL 89
public static final int EQUALITY 71
public static final int EQUIV 83
public static final int GREATER 75
public static final int GREATEREQ 76
public static final int IDENT 4
public static final int IGNORE 57
public static final int IMPLIES 82
public static final int LBRACK 60
public static final int LBRACKGRID 64
public static final int LESS 73
public static final int LESSEQ 74
public static final int LETTER 86
public static final int LITERAL_AND 32
public static final int LITERAL_ARRAY 19
public static final int LITERAL_BOOLEAN 12
public static final int LITERAL_ELSE 55
public static final int LITERAL_ELSIF 54
public static final int LITERAL_ENDIF 56
public static final int LITERAL_EXISTS 27
public static final int LITERAL_FALSE 49
public static final int LITERAL_FORALL 26
public static final int LITERAL_IF 52
public static final int LITERAL_IN 24
public static final int LITERAL_INT 13
public static final int LITERAL_LAMBDA 25
public static final int LITERAL_LET 23
public static final int LITERAL_NOT 33
public static final int LITERAL_OF 20
public static final int LITERAL_OR 31
public static final int LITERAL_REAL 14
public static final int LITERAL_SUBTYPE 21
public static final int LITERAL_THEN 53
public static final int LITERAL_TRUE 48
public static final int LITERAL_TYPE 6
public static final int LITERAL_WITH 44
public static final int LITERAL_XOR 30
public static final int LPAR 58
public static final int LPARGRID 62
public static final int MINUS 78
public static final int NONEQUALITY 72
public static final int NULL_TREE_LOOKAHEAD 3
public static final int NUMBER 46
public static final int PERIOD 66
public static final int PLUS 77
public static final int POWER 81
public static final int RBRACK 61
public static final int RBRACKGRID 65
public static final int RPAR 59
public static final int RPARGRID 63
public static final int SEMICOLON 68
public static final int TIMES 79
public static final int WS 88

Overview  Package  Class  Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES