public class PaConstants
extends java.lang.Object
There are two primary types of constants: parameters that are "hardcoded" which affect/control processing, and error/info messages.
Each mmj message begins with a code, such as this:
E-LA-0007
where the format of the code is X-YY-9999
X
: error level
E
= Error
I
= Information
A
= Abort (processing terminates, usually a bug).
YY
: source code
GM
= mmj.gmff package (see GMFFConstants
)
GR
= mmj.verify.Grammar and related code (see
GrammarConstants
)
IO
= mmj.mmio package (see MMIOConstants
)
LA
= mmj.lang package (see GMFFConstants
)
PA
= mmj.pa package (proof assistant) (see PaConstants
)
PR
= mmj.verify.VerifyProof and related code (see
ProofConstants
)
TL
= mmj.tl package (Theorem Loader).
TM
= mmj.tmff.AlignColumn and related code
UT
= mmj.util package. (see UtilConstants
)
TR
= mmj.transforms package (proof assistant) (see
TrConstants
)
9999
: sequential number within the source code, 0001 through
9999.
Modifier and Type | Class and Description |
---|---|
static class |
PaConstants.DjVarsErrorStatus |
static class |
PaConstants.DjVarsSoftErrors |
static class |
PaConstants.IncompleteStepCursor
Controls how cursor positioned after Unification if there are no errors
and at least one "incomplete" proof step: set cursor to First incomplete
proof step.
|
static class |
PaConstants.ProofFormat |
static class |
PaConstants.StepContext |
static class |
PaConstants.TheoremContext |
static class |
PaConstants.UnificationStatus |
Modifier and Type | Field and Description |
---|---|
static int |
ASSRT_LIST_FREESPACE_DEFAULT
ASSRT_LIST_FREESPACE_DEFAULT = 5
|
static int |
ASSRT_LIST_FREESPACE_MAX
ASSRT_LIST_FREESPACE_MAX = 1000
|
static boolean |
AUTO_REFORMAT_DEFAULT
Default value for ProofAsstAutoReformat RunParm.
|
static java.lang.String |
AUTO_STEP_PREFIX
Autocomplete ProofStep ProofWorkStmt token prefix
|
static boolean |
AUTOCOMPLETE_ENABLED_DEFAULT
If this option is true then the proof assistant will support autocomplete
derivation steps.
|
static java.lang.String |
AUTOCOMPLETE_SAMPLE_PROOF_TEXT
AUTOCOMPLETE_SAMPLE_PROOF_TEXT
|
static java.lang.String |
AUX_FRAME_FONT_FAMILY
AUX_FRAME_FONT_FAMILY = Monospaced
|
static int |
AUX_FRAME_NBR_COLUMNS_DEFAULT
AUX_FRAME_NBR_COLUMNS_DEFAULT = 80
|
static int |
AUX_FRAME_NBR_ROWS_DEFAULT
AUX_FRAME_NBR_ROWS_DEFAULT = 25
|
static java.lang.String |
AUX_FRAME_TEXT_DEFAULT
AUX_FRAME_TEXT_DEFAULT
|
static java.lang.String |
AUX_FRAME_TITLE_DEFAULT
AUX_FRAME_TITLE_DEFAULT
|
static java.lang.String |
BACKUP_SUFFIX |
static java.lang.String |
COLOR_CHOOSE_TITLE_2
ProofAsstGUI Literal Used in Color Chooser Dialog Title
|
static java.lang.String |
COLOR_CHOOSE_TITLE_SEPARATOR
ProofAsstGUI Literal Used in Color Chooser Dialog Title
|
static java.lang.String |
COMMENT_STMT_TOKEN_PREFIX
Comment ProofWorkStmt token prefix
|
static java.awt.Color |
DEFAULT_BACKGROUND_COLOR
Default Background Color.
|
static java.awt.Color |
DEFAULT_FOREGROUND_COLOR
Default Foreground Color.
|
static java.lang.String |
DEFAULT_STMT_LABEL
Proof Worksheet Statement Label Default (prompt).
|
static boolean |
DERIVE_AUTOCOMPLETE_DEFAULT
If this option is true then the proof assistant will make new derive
steps with the autocomplete flag already set.
|
static java.lang.String |
DERIVE_STEP_PREFIX
Prefix for Derive feature steps.
|
static java.lang.String |
DISTINCT_VARIABLES_STMT_TOKEN
Distinct Variables ProofWorkStmt token.
|
static java.lang.String |
DOT_STEP_CAPTION
DOT_STEP_CAPTION = ".Step"
|
static java.lang.String |
DUMMY_VAR_PREFIX
DUMMY_VAR_PREFIX = $
|
static java.lang.String |
END_PROOF_STMT_TOKEN
End ProofWorkStmt token (generated proof and $d)
|
static ErrorCode |
ERRMSG_ADD_TO_APPLIED_ARRAY_OFLOW |
static ErrorCode |
ERRMSG_ALT_UNIFY_REFS |
static ErrorCode |
ERRMSG_ASSRT_SUBST_SLOT |
static ErrorCode |
ERRMSG_BAD_HDR_TOKEN |
static ErrorCode |
ERRMSG_BAD_HDR_TOKEN2 |
static ErrorCode |
ERRMSG_BAD_HDR_TOKEN3 |
static ErrorCode |
ERRMSG_BAD_HYP_STEP |
static ErrorCode |
ERRMSG_BAD_LABEL_CHAR |
static ErrorCode |
ERRMSG_BAD_LOC_TOKEN |
static ErrorCode |
ERRMSG_BAD_LOC_VAL |
static ErrorCode |
ERRMSG_BAD_LOCAL_REF |
static ErrorCode |
ERRMSG_BAD_STEP |
static ErrorCode |
ERRMSG_BAD_THRM_VAL |
static ErrorCode |
ERRMSG_BAD_TYP_CD |
static ErrorCode |
ERRMSG_BAD_TYP_CD2 |
static ErrorCode |
ERRMSG_COL1_ERROR |
static ErrorCode |
ERRMSG_CYCLIC_DEPENDENCY |
static ErrorCode |
ERRMSG_DUP_HYP_REF |
static ErrorCode |
ERRMSG_DUP_LOG_HYPS |
static ErrorCode |
ERRMSG_DV_SYM_CNST |
static ErrorCode |
ERRMSG_DV_SYM_ERR |
static ErrorCode |
ERRMSG_DV_SYM_MAXSEQ |
static ErrorCode |
ERRMSG_DV_VAR_DUP |
static ErrorCode |
ERRMSG_DV_VAR_SCOPE_ERR |
static ErrorCode |
ERRMSG_DV_VERIFY_ERR |
static ErrorCode |
ERRMSG_ERASE_WFFS_ERROR |
static ErrorCode |
ERRMSG_EXTRA_TOKEN |
static ErrorCode |
ERRMSG_FOOTER_MISSING |
static ErrorCode |
ERRMSG_FORMULA_NOMATCH |
static ErrorCode |
ERRMSG_HDR_TOKEN_ERR |
static ErrorCode |
ERRMSG_HYP_FORMULA_ERR |
static ErrorCode |
ERRMSG_HYP_FORMULA_ERR2 |
static ErrorCode |
ERRMSG_HYP_HAS_LOCAL_REF |
static ErrorCode |
ERRMSG_HYP_HAS_SELECTOR_CHOICE |
static ErrorCode |
ERRMSG_HYP_STEP_CNT_IN_WORKSHEET_ERROR |
static ErrorCode |
ERRMSG_HYP_STEP_NOTFND |
static ErrorCode |
ERRMSG_INCOMPLETE_HYPS |
static ErrorCode |
ERRMSG_INIT_FORMULA_SUBST_ERR |
static ErrorCode |
ERRMSG_INVALID_BOOLEAN |
static ErrorCode |
ERRMSG_INVALID_FONT_FAMILY_NAME |
static ErrorCode |
ERRMSG_INVALID_INCOMPLETE_STEP_CURSOR |
static ErrorCode |
ERRMSG_INVALID_INCOMPLETE_STEP_CURSOR_OPTION_NBR |
static ErrorCode |
ERRMSG_INVALID_INT_RANGE |
static java.lang.String |
ERRMSG_INVALID_OPTION |
static ErrorCode |
ERRMSG_INVALID_PROOF_FORMAT |
static ErrorCode |
ERRMSG_INVALID_SOFT_DJ_VARS_ERROR_OPTION |
static ErrorCode |
ERRMSG_LOC_NOTFND |
static ErrorCode |
ERRMSG_LOCAL_REF_HAS_SELECTOR_CHOICE |
static ErrorCode |
ERRMSG_LOCAL_REF_HAS_SELECTOR_SEARCH |
static ErrorCode |
ERRMSG_LOGHYP_MISMATCH |
static ErrorCode |
ERRMSG_LOOK_AND_FEEL_MISSING |
static ErrorCode |
ERRMSG_MACRO_FAIL |
static ErrorCode |
ERRMSG_MERGE_LOGHYP_SUBST_ERR |
static ErrorCode |
ERRMSG_MULT_HDR_ERROR |
static ErrorCode |
ERRMSG_MULT_QED_ERROR |
static ErrorCode |
ERRMSG_NO_CONVERT_WV |
static ErrorCode |
ERRMSG_NO_MESSAGES_MSG |
static ErrorCode |
ERRMSG_NOT_A_THRM |
static ErrorCode |
ERRMSG_PA_CURSOR_INSTRUMENTATION |
static ErrorCode |
ERRMSG_PA_EXPORT_IO_ERROR |
static ErrorCode |
ERRMSG_PA_EXPORT_PV_ERROR |
static ErrorCode |
ERRMSG_PA_EXPORT_STRUCT_ERROR |
static ErrorCode |
ERRMSG_PA_FWD_BACK_SEARCH_NOTFND |
static ErrorCode |
ERRMSG_PA_GET_THEOREM_NOT_FOUND |
static ErrorCode |
ERRMSG_PA_GUI_EXPORT_VIA_GMFF_FAILED |
static ErrorCode |
ERRMSG_PA_GUI_EXPORT_VIA_GMFF_OK |
static ErrorCode |
ERRMSG_PA_GUI_EXTRACT_THEOREMS_OK |
static ErrorCode |
ERRMSG_PA_GUI_FILE_EXISTS |
static ErrorCode |
ERRMSG_PA_GUI_FILE_NOTFND |
static ErrorCode |
ERRMSG_PA_GUI_LOAD_THEOREMS_OK |
static ErrorCode |
ERRMSG_PA_GUI_READ_PROOF_IO_ERR |
static ErrorCode |
ERRMSG_PA_GUI_SAVE_BEFORE_ACTION |
static ErrorCode |
ERRMSG_PA_GUI_SAVE_IO_ERROR |
static ErrorCode |
ERRMSG_PA_GUI_VERIFY_ALL_PROOFS_OK |
static ErrorCode |
ERRMSG_PA_IMPORT_ERROR |
static ErrorCode |
ERRMSG_PA_IMPORT_IO_ERROR |
static ErrorCode |
ERRMSG_PA_IMPORT_SEVERE_ERROR |
static ErrorCode |
ERRMSG_PA_IMPORT_STRUCT_ERROR |
static ErrorCode |
ERRMSG_PA_NOTHING_TO_UNIFY |
static ErrorCode |
ERRMSG_PA_PRINT_IO_ERROR |
static ErrorCode |
ERRMSG_PA_RPN_PROOF_GENERATED |
static ErrorCode |
ERRMSG_PA_START_THEOREM_NOT_FOUND |
static ErrorCode |
ERRMSG_PA_TESTMSG_01 |
static ErrorCode |
ERRMSG_PA_TESTMSG_02 |
static ErrorCode |
ERRMSG_PA_TESTMSG_03 |
static ErrorCode |
ERRMSG_PA_TESTMSG_PROGRESS |
static ErrorCode |
ERRMSG_PA_TIME_TOP_HEADER |
static ErrorCode |
ERRMSG_PA_UNIFY_SEVERE_ERROR |
static ErrorCode |
ERRMSG_PARSE_ERR |
static ErrorCode |
ERRMSG_POSSIBLE_SUBST |
static ErrorCode |
ERRMSG_PREMATURE_END |
static ErrorCode |
ERRMSG_PREMATURE_END2 |
static ErrorCode |
ERRMSG_PROHIB_LABEL |
static ErrorCode |
ERRMSG_PROOF_EMPTY |
static ErrorCode |
ERRMSG_QED_EMPTY |
static ErrorCode |
ERRMSG_QED_HYP_LOCAL_REF |
static ErrorCode |
ERRMSG_QED_HYP_STEP |
static ErrorCode |
ERRMSG_QED_MISSING |
static ErrorCode |
ERRMSG_QED_NOT_END |
static ErrorCode |
ERRMSG_QED_NOT_END2 |
static ErrorCode |
ERRMSG_REARRANGE_HYPS_ERR |
static ErrorCode |
ERRMSG_REF_BAD_TYP |
static ErrorCode |
ERRMSG_REF_MAXSEQ |
static ErrorCode |
ERRMSG_REF_NBR_HYPS |
static ErrorCode |
ERRMSG_REF_NBR_HYPS_LT_INPUT |
static ErrorCode |
ERRMSG_REF_NOT_ASSRT |
static ErrorCode |
ERRMSG_REF_NOT_LOGHYP |
static ErrorCode |
ERRMSG_REF_NOTFND |
static ErrorCode |
ERRMSG_REF_NOTFND2 |
static ErrorCode |
ERRMSG_REF_PROHIB |
static ErrorCode |
ERRMSG_REF_UNIFY_ERR |
static ErrorCode |
ERRMSG_SELECTOR_CHOICE_STEP_NOTFND |
static ErrorCode |
ERRMSG_SELECTOR_SEARCH_ASSRT_LIST_EMPTY |
static ErrorCode |
ERRMSG_SELECTOR_SEARCH_NULL_PARSE_TREE |
static ErrorCode |
ERRMSG_SELECTOR_SEARCH_STEP_NOTFND |
static ErrorCode |
ERRMSG_SET_LOOK_AND_FEEL |
static ErrorCode |
ERRMSG_SHR_BAD |
static ErrorCode |
ERRMSG_SHR_BAD2 |
static ErrorCode |
ERRMSG_SMOOSH_FAILED |
static ErrorCode |
ERRMSG_STEP_NBR_DUP |
static ErrorCode |
ERRMSG_STEP_NBR_MISSING |
static ErrorCode |
ERRMSG_STEP_REF_HYP_NBR_ERR |
static ErrorCode |
ERRMSG_STEP_SELECTOR_BATCH_TEST_CHOICE |
static ErrorCode |
ERRMSG_STEP_SELECTOR_BATCH_TEST_INV_CHOICE |
static ErrorCode |
ERRMSG_STEP_SELECTOR_BATCH_TEST_NO_RESULTS |
static ErrorCode |
ERRMSG_STEP_SELECTOR_RESULTS_PRINT |
static ErrorCode |
ERRMSG_STEP_UNIFY_ERR |
static ErrorCode |
ERRMSG_STMT_LABEL_DUP_OF_SYM_ID |
static ErrorCode |
ERRMSG_STMT_LABEL_DUP_OF_SYM_ID2 |
static ErrorCode |
ERRMSG_STMT_NOT_DONE |
static ErrorCode |
ERRMSG_STORE_LOAD_FAIL |
static ErrorCode |
ERRMSG_SUBST_TO_VARS_NOT_DJ |
static ErrorCode |
ERRMSG_SUPERFLUOUS_MANDFRAME_DJVARS |
static ErrorCode |
ERRMSG_SYM_MAXSEQ |
static ErrorCode |
ERRMSG_SYM_NOTFND |
static ErrorCode |
ERRMSG_TOKENIZER_FAIL |
static java.lang.String |
ERRMSG_TXT_COLUMN |
static java.lang.String |
ERRMSG_TXT_LINE |
static ErrorCode |
ERRMSG_UNIFY_SEARCH_EXCLUDE |
static ErrorCode |
ERRMSG_UNIFY_TABLES_NOT_INIT |
static ErrorCode |
ERRMSG_UPD_WV_ASSIGNED_NULL_VALUE |
static ErrorCode |
ERRMSG_VAR_SCOPE |
static ErrorCode |
ERRMSG_VERIFY_RECHECK_ERR |
static ErrorCode |
ERRMSG_WV_CLEANUP_SHORTAGE |
static ErrorCode |
ERRMSG_WV_LOC_ERR |
static java.lang.String |
ERROR_TEXT_SPACER_LINE
(With word wrap 'on' in JTextArea, newlines are ignored, so a spacer line
is inserted between messages to force separation.)
|
static char |
FIELD_DELIMITER_COLON
Proof Step Step/HypRef Field Delimiter: Colon
|
static char |
FIELD_DELIMITER_COMMA
Proof Step Hyp Field Delimiter: Comma
|
static int |
FIELD_ID_NONE
FIELD_ID_NONE = -1
|
static int |
FIELD_ID_REF
FIELD_ID_REF = 1
|
static int |
FONT_LIST_MAX_LINES |
static int |
FONT_LIST_STARTING_LINE_LENGTH |
static java.lang.String |
FOOTER_STMT_TOKEN
Footer ProofWorkStmt token.
|
static java.lang.String |
GENERAL_HELP_FRAME_TITLE
Proof Assistant GUI General Help Information Frame title
|
static java.lang.String |
GENERAL_HELP_INFO_TEXT
Proof Assistant GUI General Help Information text
|
static java.lang.String |
GENERAL_SEARCH_ITEM_TEXT |
static java.lang.String |
GENERATED_PROOF_STMT_TOKEN
Generated Proof ProofWorkStmt token.
|
static int |
GREATEST_STEP_NBR_INCREMENT_AMT
Greatest Step Number Increment Amount.
|
static java.lang.String |
HEADER_LOC_AFTER_EQUAL_PREFIX
Header ProofWorkStmt LOC_AFTER= prefix
|
static int |
HEADER_LOC_AFTER_EQUAL_PREFIX_CHUNK_INDEX
Header ProofWorkStmt LOC_AFTER= prefix chunk index.
|
static java.lang.String |
HEADER_MM_TOKEN
Header ProofWorkStmt
|
static int |
HEADER_MM_TOKEN_CHUNK_INDEX
Header ProofWorkStmt
|
static java.lang.String |
HEADER_PROOF_ASST_TOKEN
Header ProofWorkStmt
|
static int |
HEADER_PROOF_ASST_TOKEN_CHUNK_INDEX
Header ProofWorkStmt
|
static java.lang.String |
HEADER_STMT_TOKEN
Header ProofWorkStmt token.
|
static java.lang.String |
HEADER_THEOREM_EQUAL_PREFIX
Header ProofWorkStmt THEOREM= prefix
|
static int |
HEADER_THEOREM_EQUAL_PREFIX_CHUNK_INDEX
Header ProofWorkStmt THEOREM= prefix chunk index.
|
static java.lang.String |
HELP_ABOUT_TEXT
Proof Assistant GUI Help About Part 1
|
static java.lang.String |
HELP_ABOUT_TITLE
Proof Assistant GUI Help About Title
|
static boolean |
HIGHLIGHTING_ENABLED_DEFAULT
Default value for HighlightingEnabled RunParm.
|
static java.lang.String |
HYP_STEP_PREFIX
Hyp ProofStep ProofWorkStmt token prefix
|
static org.json.JSONObject |
JSON_INTRODUCTION
PROOF_ASST_SETTINGS_FILE_DEFAULT
|
static char |
LOCAL_REF_ESCAPE_CHAR
Local Ref Escape Character: Number Sign
|
static java.lang.String |
MACRO_STMT_TOKEN
Macro execution token.
|
static int |
MAX_FIELD_DELIMITER_COLONS
Maximum colons in Proof Step Step/Hyp/Ref Field.
|
static int |
MAX_UNIFY_ALTERNATES
MAX_UNIFY_ALTERNATES = 10
|
static boolean |
OUTPUT_CURSOR_INSTRUMENTATION_DEFAULT
Default value for ProofAsstOutputCursorInstrumentation RunParm.
|
static java.lang.String |
PA_GUI_ACTION_BEFORE_SAVE_CLOSE
ProofAsstGUI Close Action Before Save
|
static java.lang.String |
PA_GUI_ACTION_BEFORE_SAVE_EXIT
ProofAsstGUI Exit Action Before Save
|
static java.lang.String |
PA_GUI_ACTION_BEFORE_SAVE_NEW
ProofAsstGUI New Action Before Save
|
static java.lang.String |
PA_GUI_ACTION_BEFORE_SAVE_OPEN
ProofAsstGUI Open Action Before Save
|
static java.lang.String |
PA_GUI_CANCEL_MENU_KILL_ITEM_TEXT
ProofAsstGUI Unify Menu Kill Unification Item Text
|
static java.lang.String |
PA_GUI_CANCEL_MENU_TITLE
ProofAsstGUI Cancel Menu Title
|
static java.lang.String |
PA_GUI_DEFAULT_FILE_NAME_SUFFIX
ProofAsstGUI Default file name suffix
|
static java.lang.String |
PA_GUI_EDIT_MENU_COPY_ITEM_TEXT
ProofAsstGUI Edit Menu Copy Item Text
|
static java.lang.String |
PA_GUI_EDIT_MENU_CUT_ITEM_TEXT
ProofAsstGUI Edit Menu Cut Item Text
|
static java.lang.String |
PA_GUI_EDIT_MENU_DEC_FONT_ITEM_TEXT
ProofAsstGUI Edit Menu Decrease Font Size Item Text
|
static java.lang.String |
PA_GUI_EDIT_MENU_FONT_STYLE_BOLD_ITEM_TEXT
ProofAsstGUI Edit Menu Font Style Bold Item Text
|
static java.lang.String |
PA_GUI_EDIT_MENU_FONT_STYLE_PLAIN_ITEM_TEXT
ProofAsstGUI Edit Menu Font Style Plain Item Text
|
static java.lang.String |
PA_GUI_EDIT_MENU_INC_FONT_ITEM_TEXT
ProofAsstGUI Edit Menu Increase Font Size Item Text
|
static java.lang.String |
PA_GUI_EDIT_MENU_PASTE_ITEM_TEXT
ProofAsstGUI Edit Menu Paste Item Text
|
static java.lang.String |
PA_GUI_EDIT_MENU_REDO_ITEM_TEXT
ProofAsstGUI Edit Menu Redo Item Text
|
static java.lang.String |
PA_GUI_EDIT_MENU_REFORMAT_ITEM_TEXT
ProofAsstGUI Edit Menu Reformat Item Text
|
static java.lang.String |
PA_GUI_EDIT_MENU_REFORMAT_SWAP_ALT_ITEM_TEXT
ProofAsstGUI Edit Menu Reformat Swap Alt Item Text
|
static java.lang.String |
PA_GUI_EDIT_MENU_SET_BACKGROUND_ITEM_TEXT
ProofAsstGUI Edit Menu Set Background Color Item Text
|
static java.lang.String |
PA_GUI_EDIT_MENU_SET_FONT_FAMILY_ITEM_TEXT
ProofAsstGUI Edit Menu Set Font Family Item Text
|
static java.lang.String |
PA_GUI_EDIT_MENU_SET_FOREGROUND_ITEM_TEXT
ProofAsstGUI Edit Menu Set Foreground Color Item Text
|
static java.lang.String |
PA_GUI_EDIT_MENU_SET_FORMAT_NBR_ITEM_TEXT
ProofAsstGUI Edit Menu Set Format Nbr Item Text
|
static java.lang.String |
PA_GUI_EDIT_MENU_SET_INCOMPLETE_STEP_CURSOR_ITEM_TEXT
ProofAsstGUI Edit Menu Set Incomplete Step Cursor Item Text
|
static java.lang.String |
PA_GUI_EDIT_MENU_SET_INDENT_ITEM_TEXT
ProofAsstGUI Edit Menu Set Indent Item Text
|
static java.lang.String |
PA_GUI_EDIT_MENU_SET_SOFT_DJ_ERROR_ITEM_TEXT
ProofAsstGUI Edit Menu Set Soft Dj Error Item Text
|
static java.lang.String |
PA_GUI_EDIT_MENU_TITLE
ProofAsstGUI Edit Menu Title
|
static java.lang.String |
PA_GUI_EDIT_MENU_UNDO_ITEM_TEXT
ProofAsstGUI Edit Menu Undo Item Text
|
static java.lang.String |
PA_GUI_FILE_CHOOSER_DESCRIPTION
Description displayed on File Chooser dialog screen.
|
static java.lang.String |
PA_GUI_FILE_CHOOSER_FILE_SUFFIX_MMP
ProofAsstGUI File Chooser valid file name suffix ".mmp"
|
static java.lang.String |
PA_GUI_FILE_CHOOSER_FILE_SUFFIX_TXT
ProofAsstGUI File Chooser valid file name suffix ".txt"
|
static java.lang.String |
PA_GUI_FILE_MENU_CLOSE_ITEM_TEXT
ProofAsstGUI File Menu Close Item Text
|
static java.lang.String |
PA_GUI_FILE_MENU_EXIT_ITEM_TEXT
ProofAsstGUI File Menu Exit Item Text
|
static java.lang.String |
PA_GUI_FILE_MENU_EXPORT_VIA_GMFF_ITEM_TEXT
ProofAsstGUI File Menu Export Via GMFF Item Text
|
static java.lang.String |
PA_GUI_FILE_MENU_GET_BWD_PROOF_ITEM_TEXT
ProofAsstGUI File Menu Get Backward Proof Item Text
|
static java.lang.String |
PA_GUI_FILE_MENU_GET_FWD_PROOF_ITEM_TEXT
ProofAsstGUI File Menu Get Forward Proof Item Text
|
static java.lang.String |
PA_GUI_FILE_MENU_GET_PROOF_ITEM_TEXT
ProofAsstGUI File Menu Get Proof Item Text
|
static java.lang.String |
PA_GUI_FILE_MENU_LOAD_SETTINGS
ProofAsstGUI File Menu Load Settings Item Text
|
static java.lang.String |
PA_GUI_FILE_MENU_NEW_ITEM_TEXT
ProofAsstGUI File Menu New Item Text
|
static java.lang.String |
PA_GUI_FILE_MENU_NEW_NEXT_ITEM_TEXT
ProofAsstGUI File Menu New Next Item Text
|
static java.lang.String |
PA_GUI_FILE_MENU_OPEN_ITEM_TEXT
ProofAsstGUI File Menu Open Item Text
|
static java.lang.String |
PA_GUI_FILE_MENU_SAVE_AS_ITEM_TEXT
ProofAsstGUI File Menu Save As Item Text
|
static java.lang.String |
PA_GUI_FILE_MENU_SAVE_ITEM_TEXT
ProofAsstGUI File Menu Save Item Text
|
static java.lang.String |
PA_GUI_FILE_MENU_SAVE_SETTINGS
ProofAsstGUI File Menu Save Settings Item Text
|
static java.lang.String |
PA_GUI_FILE_MENU_TITLE
ProofAsstGUI File Menu Title
|
static java.lang.String |
PA_GUI_GET_THEOREM_LABEL_PROMPT
ProofAsstGUI Get Proof Theorem Label Prompt
|
static java.lang.String |
PA_GUI_GET_THEOREM_LABEL_PROMPT_2
ProofAsstGUI Get corrected Theorem Label Prompt.
|
static java.lang.String |
PA_GUI_GMFF_MENU_TITLE
ProofAsstGUI GMFF Menu Title
|
static java.lang.String |
PA_GUI_HELP_ABOUT
ProofAsstGUI Help About Item Text
|
static java.lang.String |
PA_GUI_HELP_BATCH_COMMAND_DOCUMENTATION_TITLE
ProofAsstGui Help Batch Command Documentation HEADER
|
static java.lang.String |
PA_GUI_HELP_MENU_BATCH_COMMAND_DOCUMENTATION
ProofAsstGui Help Menu Batch Command documentation text
|
static java.lang.String |
PA_GUI_HELP_MENU_GENERAL
ProofAsstGUI Help Menu General Help Information Item Text
|
static java.lang.String |
PA_GUI_HELP_MENU_TITLE
ProofAsstGUI Help Menu Title
|
static java.lang.String |
PA_GUI_NEW_THEOREM_LABEL_PROMPT
ProofAsstGUI New Theorem Label Prompt
|
static java.lang.String |
PA_GUI_POPUP_MENU_REFORMAT_STEP_TEXT
ProofAsstGUI Popup Menu Reformat Step Text
|
static java.lang.String |
PA_GUI_POPUP_MENU_REFORMAT_SWAP_ALT_STEP_TEXT
ProofAsstGUI Popup Menu Reformat Swap Alt Step Text
|
static java.lang.String |
PA_GUI_SAVE_BEFORE_CLOSE_QUESTION
ProofAsstGUI Save before window closes question
|
static java.lang.String |
PA_GUI_SAVE_PROOF_TEXT_TITLE
ProofAsstGUI Save Proof Text File Dialog Title
|
static java.lang.String |
PA_GUI_SEARCH_MENU_TITLE |
static java.lang.String |
PA_GUI_SET_FONT_FAMILY_PROMPT
Prompt for Set Font Family Menu Item Action dialog.
|
static java.lang.String |
PA_GUI_SET_FORMAT_NBR_PROMPT
Prompt for SetFormatNbr Menu Item Action dialog.
|
static java.lang.String |
PA_GUI_SET_INCOMPLETE_STEP_CURSOR_OPTION_PROMPT
Prompt for Set Incomplete Step Cursor option Action dialog.
|
static java.lang.String |
PA_GUI_SET_INDENT_PROMPT
Prompt for SetIndent Menu Item Action dialog.
|
static java.lang.String |
PA_GUI_SET_MAX_RESULTS_OPTION_PROMPT
Prompt for SetStepSelectorMaxResults Menu Item Action dialog.
|
static java.lang.String |
PA_GUI_SET_SHOW_SUBST_OPTION_PROMPT
Prompt for SetStepSelectorShowSubstitutions Menu Item Action dialog.
|
static java.lang.String |
PA_GUI_SET_SOFT_DJ_ERROR_OPTION_PROMPT
Prompt for Set Dj Vars Error Option Menu Item Action dialog.
|
static java.lang.String |
PA_GUI_SET_TL_AUDIT_MESSAGES_OPTION_PROMPT
Prompt for Set Theorem Loader Audit Messages Menu Item Action dialog.
|
static java.lang.String |
PA_GUI_SET_TL_DJ_VARS_OPTION_PROMPT
Prompt for Set Theorem Loader Dj Vars Option Item Action dialog.
|
static java.lang.String |
PA_GUI_SET_TL_MMT_FOLDER_OPTION_PROMPT
Prompt for Set Theorem Loader MMT Folder Item Action dialog.
|
static java.lang.String |
PA_GUI_SET_TL_MMT_FOLDER_OPTION_PROMPT_2
Prompt for Set Theorem Loader MMT Folder Item Action dialog.
|
static java.lang.String |
PA_GUI_SET_TL_STORE_FORMULAS_AS_IS_OPTION_PROMPT
Prompt for Set Theorem Loader Store Formulas AsIs Menu Item Action
dialog.
|
static java.lang.String |
PA_GUI_SET_TL_STORE_MM_INDENT_AMT_OPTION_PROMPT
Prompt for Set Theorem Loader Store MM Indent Amt Menu Item Action
dialog.
|
static java.lang.String |
PA_GUI_SET_TL_STORE_MM_RIGHT_COL_OPTION_PROMPT
Prompt for Set Theorem Loader Store MM Right Col Menu Item Action dialog.
|
static java.lang.String |
PA_GUI_TL_MENU_AUDIT_MESSAGES
ProofAsstGUI TL Menu Audit Messages Item Text
|
static java.lang.String |
PA_GUI_TL_MENU_COMPRESSION
ProofAsstGUI TL Menu Proof Compression Item Text
|
static java.lang.String |
PA_GUI_TL_MENU_DJ_VARS_OPTION
ProofAsstGUI TL Menu DjVars Option Item Text
|
static java.lang.String |
PA_GUI_TL_MENU_EXTRACT_THEOREM
ProofAsstGUI TL Menu Extract Theorem To MMT Folder Item Text
|
static java.lang.String |
PA_GUI_TL_MENU_LOAD_THEOREMS
ProofAsstGUI TL Menu Load Theorems From MMT Folder Item Text
|
static java.lang.String |
PA_GUI_TL_MENU_MMT_FOLDER
ProofAsstGUI TL Menu MMT Folder Item Text
|
static java.lang.String |
PA_GUI_TL_MENU_STORE_FORMULAS_AS_IS
ProofAsstGUI TL Menu Store MM Formulas AsIs Item Text
|
static java.lang.String |
PA_GUI_TL_MENU_STORE_MM_INDENT_AMT
ProofAsstGUI TL Menu Store MM Indent Amt Item Text
|
static java.lang.String |
PA_GUI_TL_MENU_STORE_MM_RIGHT_COL
ProofAsstGUI TL Menu Store MM Right Col Item Text
|
static java.lang.String |
PA_GUI_TL_MENU_TITLE
ProofAsstGUI Theorem Loader Menu Title
|
static java.lang.String |
PA_GUI_TL_MENU_UNIFY_PLUS_STORE
ProofAsstGUI TL Menu Unify + Store In MMT Folder Item Text
|
static java.lang.String |
PA_GUI_TL_MENU_UNIFY_PLUS_STORE_IN_LOG_SYS
ProofAsstGUI TL Menu Unify + Store In LogSys And MMT Folder Item Text
|
static java.lang.String |
PA_GUI_TL_MENU_VERIFY_ALL_PROOFS
ProofAsstGUI TL Menu Verify All Proofs Item Text
|
static java.lang.String |
PA_GUI_UNIFY_MENU_ERASE_NO_WV_ITEM_TEXT
ProofAsstGUI Unify Menu Start Unification with Rederive Formulas without
Converting Work Vars Item Text
|
static java.lang.String |
PA_GUI_UNIFY_MENU_NO_WV_ITEM_TEXT
ProofAsstGUI Unify Menu Start Unification without Converting Work Vars
Item Text
|
static java.lang.String |
PA_GUI_UNIFY_MENU_REDERIVE_ITEM_TEXT
ProofAsstGUI Unify Menu Unify with Rederive Formulas Item Text
|
static java.lang.String |
PA_GUI_UNIFY_MENU_RESHOW_STEP_SELECTOR_DIALOG_ITEM_TEXT
ProofAsstGUI Unify Menu Reshow Step Selector Dialog Item Text
|
static java.lang.String |
PA_GUI_UNIFY_MENU_SET_MAX_RESULTS_ITEM_TEXT
ProofAsstGUI Unify Menu Set Step Selector Max Results Item Text
|
static java.lang.String |
PA_GUI_UNIFY_MENU_SET_SHOW_SUBST_ITEM_TEXT
ProofAsstGUI Unify Menu Set Step Selector Show Substitutions Item Text
|
static java.lang.String |
PA_GUI_UNIFY_MENU_START_ITEM_TEXT
ProofAsstGUI Unify Menu Start Unification Item Text
|
static java.lang.String |
PA_GUI_UNIFY_MENU_START_UR_ITEM_TEXT
ProofAsstGUI Unify Menu Start Unification with Renum Item Text
|
static java.lang.String |
PA_GUI_UNIFY_MENU_STEP_SELECTOR_SEARCH_ITEM_TEXT
ProofAsstGUI Unify Menu Step Selector Search Item Text
|
static java.lang.String |
PA_GUI_UNIFY_MENU_TITLE
ProofAsstGUI Unify Menu Title
|
static java.lang.String |
PA_GUI_YES_NO_CANCEL_TITLE
ProofAsstGUI Get Yes/No/Cancel Answer Dialog Title
|
static java.lang.String |
PA_GUI_YES_NO_TITLE
ProofAsstGUI Get Yes/No Answer Dialog Title
|
static int |
PA_TESTMSG_THEOREM_NUMBER_THRESHOLD
While testing by ProofAsstBatchTest option the proof assistant will show
detailed messages for every theorem only if their whole number will be
less then this threshold.
|
static int |
PA_TESTMSG_THEOREM_TIME_TOP_NUMBER
The number of the theorems which will be shown in the end of
ProofAsstBatchTest testing.
|
static java.lang.String |
PA_UNKNOWN_THEOREM_LABEL
Default Theorem Label For Error Messages
|
static boolean |
PROOF_ASST_ASCII_RETEST_DEFAULT
Default Option Value 9 "NoAsciiRetest" for for ProofAsstBatchTest.
|
static java.lang.String |
PROOF_ASST_COMPRESSION_LIST |
static java.lang.String |
PROOF_ASST_COMPRESSION_PROMPT |
static PaConstants.DjVarsSoftErrors |
PROOF_ASST_DJ_VARS_SOFT_ERRORS_DEFAULT
ProofAsstDjVarsSoftErrors Default value
|
static int |
PROOF_ASST_ERROR_MESSAGE_COLUMNS_DEFAULT
PROOF_ASST_ERROR_MESSAGE_COLUMNS_DEFAULT = 80
|
static int |
PROOF_ASST_ERROR_MESSAGE_COLUMNS_MAX
PROOF_ASST_ERROR_MESSAGE_COLUMNS_MAX = 999
|
static int |
PROOF_ASST_ERROR_MESSAGE_COLUMNS_MIN
PROOF_ASST_ERROR_MESSAGE_COLUMNS_MIN = 40
|
static int |
PROOF_ASST_ERROR_MESSAGE_ROWS_DEFAULT
PROOF_ASST_ERROR_MESSAGE_ROWS_DEFAULT = 4
|
static int |
PROOF_ASST_ERROR_MESSAGE_ROWS_MAX
PROOF_ASST_ERROR_MESSAGE_ROWS_MAX = 99
|
static int |
PROOF_ASST_ERROR_MESSAGE_ROWS_MIN
PROOF_ASST_ERROR_MESSAGE_ROWS_MIN = 2
|
static boolean |
PROOF_ASST_EXCLUDE_DISCOURAGED_DEFAULT
Exclude discouraged theorems from unification search (true).
|
static boolean |
PROOF_ASST_EXPORT_DERIVE_FORMULAS_DEFAULT
Default Option Value 7 "NoDeriveFormulas" for ProofAsstExportToFile
RunParm and Option Value 6 for ProofAsstBatchTest.
|
static boolean |
PROOF_ASST_EXPORT_FORMAT_UNIFIED_DEFAULT
Default Option Value 4 "un-unified" for ProofAsstExportToFile RunParm and
Option Value 3 for ProofAsstBatchTest (when no input file specified).
|
static HypsOrder |
PROOF_ASST_EXPORT_HYPS_ORDER_DEFAULT
Default Option Value 5 "Correct" for ProofAsstExportToFile RunParm and
Option Value 4 for ProofAsstBatchTest (when no input file specified).
|
static boolean |
PROOF_ASST_FONT_BOLD_DEFAULT
PROOF_ASST_FONT_BOLD_DEFAULT = yes
|
static java.lang.String |
PROOF_ASST_FONT_FAMILY_DEFAULT
PROOF_ASST_FONT_FAMILY_DEFAULT = Monospaced
|
static java.lang.String |
PROOF_ASST_FONT_FAMILY_LIST |
static int |
PROOF_ASST_FONT_SIZE_CHG_AMT
PROOF_ASST_FONT_SIZE_CHG_AMT = 2.
|
static int |
PROOF_ASST_FONT_SIZE_DEFAULT
PROOF_ASST_FONT_SIZE_DEFAULT = 14
|
static int |
PROOF_ASST_FONT_SIZE_MAX
PROOF_ASST_FONT_SIZE_MAX = 72.
|
static int |
PROOF_ASST_FONT_SIZE_MIN
PROOF_ASST_FONT_SIZE_MIN = 8.
|
static int |
PROOF_ASST_FORMULA_LEFT_COL_DEFAULT
PROOF_ASST_FORMULA_LEFT_COL_DEFAULT
|
static int |
PROOF_ASST_FORMULA_LEFT_COL_MIN
PROOF_ASST_FORMULA_LEFT_COL_MIN
|
static int |
PROOF_ASST_FORMULA_RIGHT_COL_DEFAULT
PROOF_ASST_FORMULA_RIGHT_COL_DEFAULT
|
static int |
PROOF_ASST_FORMULA_RIGHT_COL_MAX
PROOF_ASST_FORMULA_RIGHT_COL_MAX
|
static java.lang.String |
PROOF_ASST_FRAME_TITLE
PROOF_ASST_FRAME_TITLE
|
static java.lang.String |
PROOF_ASST_GUI_STARTUP_MSG
PROOF_ASST_GUI_STARTUP_MSG
|
static boolean |
PROOF_ASST_IMPORT_COMPARE_DJS_DEFAULT
Default Option Value 7 "NoCompareDJs" for for ProofAsstBatchTest.
|
static boolean |
PROOF_ASST_IMPORT_UPDATE_DJS_DEFAULT
Default Option Value 8 "NoCompareDJs" for for ProofAsstBatchTest.
|
static java.lang.String |
PROOF_ASST_INCOMPLETE_STEP_CURSOR_OPTION_LIST
Caption of list of options for Incomplete Step Cursor positioning.
|
static float |
PROOF_ASST_LINE_SPACING_DEFAULT
PROOF_ASST_LINE_SPACING_DEFAULT = 0
|
static boolean |
PROOF_ASST_LINE_WRAP_DEFAULT
LineWrap mode default, set to off (false).
|
static boolean |
PROOF_ASST_MAXIMIZED_DEFAULT
PROOF_ASST_MAXIMIZED_DEFAULT = no
|
static boolean |
PROOF_ASST_PRINT_DEFAULT
Default Option Value 6 "NoPrint" for ProofAsstExportToFile RunParm and
Option Value 5 for ProofAsstBatchTest (when no input file specified).
|
static int |
PROOF_ASST_RPN_PROOF_LEFT_COL_AUTO
PROOF_ASST_RPN_PROOF_LEFT_COL_AUTO
|
static int |
PROOF_ASST_RPN_PROOF_LEFT_COL_DEFAULT
PROOF_ASST_RPN_PROOF_LEFT_COL_DEFAULT
|
static int |
PROOF_ASST_RPN_PROOF_LEFT_COL_MIN
PROOF_ASST_RPN_PROOF_LEFT_COL_MIN
|
static int |
PROOF_ASST_RPN_PROOF_RIGHT_COL_DEFAULT
PROOF_ASST_RPN_PROOF_RIGHT_COL_DEFAULT
|
static int |
PROOF_ASST_RPN_PROOF_RIGHT_COL_MAX
PROOF_ASST_RPN_PROOF_RIGHT_COL_MAX
|
static java.lang.String |
PROOF_ASST_SETTINGS_FILE_DEFAULT
PROOF_ASST_SETTINGS_FILE_DEFAULT
|
static java.lang.String |
PROOF_ASST_SOFT_DJ_ERROR_OPTION_LIST |
static java.lang.String |
PROOF_ASST_STYLE_CLASS
PROOF_ASST_STYLE_COMMENT = 'class'
|
static java.lang.String |
PROOF_ASST_STYLE_COMMENT
PROOF_ASST_STYLE_COMMENT = 'comment'
|
static java.lang.String |
PROOF_ASST_STYLE_DEFAULT
PROOF_ASST_STYLE_DEFAULT = 'default'
|
static java.lang.String |
PROOF_ASST_STYLE_ERROR
PROOF_ASST_STYLE_ERROR = 'error'
|
static java.lang.String |
PROOF_ASST_STYLE_HYP
PROOF_ASST_STYLE_REF = 'hyp'
|
static java.lang.String |
PROOF_ASST_STYLE_KEYWORD
PROOF_ASST_STYLE_KEYWORD = 'keyword'
|
static java.lang.String |
PROOF_ASST_STYLE_LOCREF
PROOF_ASST_STYLE_LOCREF = 'localref'
|
static java.lang.String |
PROOF_ASST_STYLE_PROOF
PROOF_ASST_STYLE_PROOF = 'proof'
|
static java.lang.String |
PROOF_ASST_STYLE_REF
PROOF_ASST_STYLE_REF = 'ref'
|
static java.lang.String |
PROOF_ASST_STYLE_SET
PROOF_ASST_STYLE_SET = 'set'
|
static java.lang.String |
PROOF_ASST_STYLE_SPECIAL_STEP
PROOF_ASST_STYLE_SPECIAL_STEP = 'specialstep'
|
static java.lang.String |
PROOF_ASST_STYLE_STEP
PROOF_ASST_STYLE_STEP = 'step'
|
static java.lang.String |
PROOF_ASST_STYLE_WFF
PROOF_ASST_STYLE_WFF = 'wff'
|
static java.lang.String |
PROOF_ASST_STYLE_WORKVAR
PROOF_ASST_STYLE_WORKVAR = 'workvar'
|
static boolean |
PROOF_ASST_TEXT_AT_TOP_DEFAULT
PROOF_ASST_TEXT_AT_TOP_DEFAULT = yes
|
static int |
PROOF_ASST_TEXT_COLUMNS_DEFAULT
Number of columns in window.
|
static int |
PROOF_ASST_TEXT_COLUMNS_MAX
PROOF_ASST_TEXT_COLUMNS_MAX = 999
|
static int |
PROOF_ASST_TEXT_COLUMNS_MIN
PROOF_ASST_TEXT_COLUMNS_MIN = 40
|
static int |
PROOF_ASST_TEXT_ROWS_DEFAULT
PROOF_ASST_TEXT_ROWS_DEFAULT = 21
|
static int |
PROOF_ASST_TEXT_ROWS_MAX
PROOF_ASST_TEXT_ROWS_MAX = 99
|
static int |
PROOF_ASST_TEXT_ROWS_MIN
PROOF_ASST_TEXT_ROWS_MIN = 2
|
static int |
PROOF_STEP_RENUMBER_INTERVAL
PROOF_STEP_RENUMBER_INTERVAL = 1
|
static int |
PROOF_STEP_RENUMBER_START
PROOF_STEP_RENUMBER_START = 50
|
static java.lang.String |
PROOF_TEXT_FONT_FAMILY
PROOF_TEXT_FONT_FAMILY = Monospaced
|
static java.lang.String |
PROOF_TEXT_FOOTER
Proof Worksheet Footer Line
|
static java.lang.String |
PROOF_TEXT_HEADER_1
Proof Worksheet Header Line, Part 1.
|
static java.lang.String |
PROOF_TEXT_HEADER_2
Proof Worksheet Header Line, Part 2.
|
static java.lang.String |
PROOF_TEXT_READER_CAPTION
Proof Text Reader caption.
|
static int |
PROOF_TEXT_TAB_LENGTH
This is set to 1 to effectively disable the tab character.
|
static java.lang.String |
PROOF_WORKSHEET_COMMENT_STMT_IO_ERROR
Proof Worksheet Comment Statment IO Error.
|
static java.lang.String |
QED_STEP_NBR
QED ProofStep ProofWorkStmt token prefix
|
static java.lang.String |
QED_STEP_NBR_CAPS
QED ProofStep ProofWorkStmt token prefix (CAPS)
|
static MMJException.ErrorContext |
READER_POSITION_LITERAL |
static boolean |
RECHECK_PROOF_ASST_USING_PROOF_VERIFIER_DEFAULT
RECHECK_PROOF_ASST_USING_PROOF_VERIFIER_DEFAULT
|
static boolean |
REQUEST_MESSAGES_GUI_ENABLED |
static java.lang.String |
REQUEST_MESSAGES_GUI_TEXT_DEFAULT
REQUEST_MESSAGES_GUI_TEXT_DEFAULT
|
static java.lang.String |
REQUEST_MESSAGES_GUI_TITLE_DEFAULT
REQUEST_MESSAGES_GUI_TITLE_DEFAULT
|
static java.lang.String |
RESHOW_SEARCH_RESULTS_ITEM_TEXT |
static java.lang.String |
SAMPLE_PROOF_LABEL
SAMPLE_PROOF_LABEL
|
static java.lang.String |
SAMPLE_PROOF_TEXT
SAMPLE_PROOF_TEXTS
|
static java.lang.String |
SEARCH_OPTIONS_ITEM_TEXT |
static java.lang.String[] |
STATUS_DESC
Descriptions for ProofWorkStmt.status values.
|
static java.lang.String |
STEP_SEARCH_ITEM_TEXT |
static java.lang.String |
STEP_SELECTOR_DIALOG_HIDE_BUTTON_CAPTION
STEP_SELECTOR_DIALOG_HIDE_BUTTON_CAPTION = 'Hide Dialog'.
|
static java.lang.String |
STEP_SELECTOR_DIALOG_LIST_CAPTION_PREFIX
STEP_SELECTOR_DIALOG_LIST_CAPTION_PREFIX = 'Step '
|
static java.lang.String |
STEP_SELECTOR_DIALOG_LIST_CAPTION_SUFFIX
STEP_SELECTOR_DIALOG_LIST_CAPTION_SUFFIX = ' Unifiable Assertions'
|
static int |
STEP_SELECTOR_DIALOG_PANE_HEIGHT_DEFAULT
Default value for StepSelectorDialogPaneHeight RunParm.
|
static int |
STEP_SELECTOR_DIALOG_PANE_HEIGHT_MAX
Maximum value for StepSelectorDialogPaneHeight RunParm.
|
static int |
STEP_SELECTOR_DIALOG_PANE_HEIGHT_MIN
Minimum value for StepSelectorDialogPaneHeight RunParm.
|
static int |
STEP_SELECTOR_DIALOG_PANE_WIDTH_DEFAULT
Default value for StepSelectorDialogPaneWidth RunParm.
|
static int |
STEP_SELECTOR_DIALOG_PANE_WIDTH_MAX
Maximum value for StepSelectorDialogPaneWidth RunParm.
|
static int |
STEP_SELECTOR_DIALOG_PANE_WIDTH_MIN
Minimum value for StepSelectorDialogPaneWidth RunParm.
|
static java.lang.String |
STEP_SELECTOR_DIALOG_POPUP_SET_BUTTON_CAPTION
STEP_SELECTOR_DIALOG_POPUP_SET_BUTTON_CAPTION = 'Apply Selection To Step
And Unify Proof?'.
|
static java.lang.String |
STEP_SELECTOR_DIALOG_SET_BUTTON_CAPTION
STEP_SELECTOR_DIALOG_SET_BUTTON_CAPTION = 'Apply Selection To Step And
Unify Proof'.
|
static java.lang.String |
STEP_SELECTOR_DIALOG_TITLE
STEP_SELECTOR_DIALOG_TITLE = 'StepSelectorDialog'.
|
static java.lang.String |
STEP_SELECTOR_FORMULA_LABEL_SEPARATOR
STEP_SELECTOR_FORMULA_LABEL_SEPARATOR = ' ::= '.
|
static java.lang.String |
STEP_SELECTOR_FORMULA_LOG_HYP_SEPARATOR
STEP_SELECTOR_FORMULA_LOG_HYP_SEPARATOR = ' && '.
|
static java.lang.String |
STEP_SELECTOR_FORMULA_YIELDS_SEPARATOR
STEP_SELECTOR_FORMULA_YIELDS_SEPARATOR = ' ==> '.
|
static java.lang.String |
STEP_SELECTOR_LIST_END_LITERAL
STEP_SELECTOR_LIST_END_LITERAL = ***END
|
static java.lang.String |
STEP_SELECTOR_LIST_MORE_LITERAL
STEP_SELECTOR_LIST_MORE_LITERAL = ***MORE
|
static int |
STEP_SELECTOR_MAX_RESULTS_DEFAULT
Default value for StepSelectorMaxResults RunParm.
|
static int |
STEP_SELECTOR_MAX_RESULTS_MAXIMUM
Maximum value for StepSelectorMaxResults RunParm.
|
static java.lang.String |
STEP_SELECTOR_SEARCH_FORMULA_INDENT
STEP_SELECTOR_SEARCH_FORMULA_INDENT = ' '.
|
static int |
STEP_SELECTOR_SEARCH_HYP_LOOKUP_MAX
STEP_SELECTOR_SEARCH_HYP_LOOKUP_MAX = '3'.
|
static boolean |
STEP_SELECTOR_SHOW_SUBSTITUTIONS_DEFAULT
Default value for StepSelectorShowSubstitutions RunParm.
|
static int |
STEP_UNIFIER_APPLIED_ARRAY_LEN_INIT
Applied array init size.
|
static int |
STEP_UNIFIER_APPLIED_ARRAY_LEN_MAX
Applied array max size.
|
static java.lang.String |
SYNONYM_FALSE_1 |
static java.lang.String |
SYNONYM_FALSE_2 |
static java.lang.String |
SYNONYM_FALSE_3 |
static java.lang.String |
SYNONYM_TRUE_1 |
static java.lang.String |
SYNONYM_TRUE_2 |
static java.lang.String |
SYNONYM_TRUE_3 |
static boolean |
UNDO_REDO_ENABLED_DEFAULT
Default value for UndoRedoEnabled RunParm.
|
static int |
UNIFIER_MAX_LOG_HYPS
UNIFIER_MAX_LOG_HYPS = 100
|
static int |
UNIFIER_MAX_VAR_HYPS |
static java.lang.String |
VERSION
Version number string.
|
static java.lang.String |
VERSION_DATE
Date for latest version.
|
Constructor and Description |
---|
PaConstants() |
Modifier and Type | Method and Description |
---|---|
static void |
doStyleDefaults(java.util.Map<java.lang.String,javax.swing.text.SimpleAttributeSet> map)
Sets default syntax highlighting styles.
|
static void |
setStyle(javax.swing.text.SimpleAttributeSet style,
java.awt.Color color,
java.lang.Boolean bold,
java.lang.Boolean italic)
Set style parameters.
|
public static final java.lang.String VERSION
public static final java.lang.String VERSION_DATE
public static final java.lang.String SYNONYM_TRUE_1
public static final java.lang.String SYNONYM_TRUE_2
public static final java.lang.String SYNONYM_TRUE_3
public static final java.lang.String SYNONYM_FALSE_1
public static final java.lang.String SYNONYM_FALSE_2
public static final java.lang.String SYNONYM_FALSE_3
public static final int PROOF_STEP_RENUMBER_START
Renumber starting point: 1, 2, 3, ... vs 3, 4, 5, ... This is hardcoded, but a RunParm could be added.
public static final int PROOF_STEP_RENUMBER_INTERVAL
Renumber by interval: 1, 2, ...n or 10, 20, ... etc. This is hardcoded, but a RunParm could be added.
public static final java.lang.String PROOF_ASST_INCOMPLETE_STEP_CURSOR_OPTION_LIST
Used in ProofAsstGUI to display the choices.
public static final java.lang.String PA_GUI_SET_INCOMPLETE_STEP_CURSOR_OPTION_PROMPT
public static final int PA_TESTMSG_THEOREM_NUMBER_THRESHOLD
public static final int PA_TESTMSG_THEOREM_TIME_TOP_NUMBER
public static final int FIELD_ID_NONE
Field Id not present.
public static final int FIELD_ID_REF
Field Id for Ref sub-field of ProofStepStmt in ProofWorksheet.
public static final int UNIFIER_MAX_LOG_HYPS
Fixed size arrays are used for "cleanup" of LogHyp substitutions (backing out partial unification results). The necessary size of these arrays is basically just the maximum number of LogHyp's for any Theorem.
Set.mm has one Theorem with 19 LogHyp's...
This could be made into a RunParm... should be, probably...
public static final int UNIFIER_MAX_VAR_HYPS
public static final java.lang.String DOT_STEP_CAPTION
This is appended to the Theorem label to create a simulated theorem label when a proof step's proof is rechecked using VerifyProofs.java.
public static final int MAX_UNIFY_ALTERNATES
Alternate assertion Ref's are presented in an error message if the input Ref fails to unify. However, to prevent an out-of-control situation a "governor" is used. This is important now that the Proof Assistant "Derive" Feature is in place.
public static final java.lang.String DUMMY_VAR_PREFIX
Prefix string for "dummy" (temp) variables generated in the Proof Assistant "Derive" feature for un-determined and out-of-scope variable substitutions.
In normal practice dummy variables will be composed of the dummy variable prefix string and a number -- e.g. "$1", "$2", etc.
public static final int ASSRT_LIST_FREESPACE_DEFAULT
Padding percentage for ProofUnifier's Assrt lists 10 percent causes the ArrayList to be allocated as 1100 if the size of the input list is 1000.
Padding is provided for efficiency with the new TheoremLoader so that new theorems added to the unifySearchList don't force a complete recopy.
public static final int ASSRT_LIST_FREESPACE_MAX
Maximum padding percentage for ProofUnifier's Assrt lists.
public static final int PROOF_ASST_FONT_SIZE_MIN
public static final int PROOF_ASST_FONT_SIZE_MAX
public static final int PROOF_ASST_FONT_SIZE_CHG_AMT
public static final int PROOF_ASST_TEXT_COLUMNS_MIN
public static final int PROOF_ASST_TEXT_COLUMNS_MAX
public static final int PROOF_ASST_TEXT_ROWS_MIN
public static final int PROOF_ASST_TEXT_ROWS_MAX
public static final int PROOF_ASST_ERROR_MESSAGE_ROWS_MIN
public static final int PROOF_ASST_ERROR_MESSAGE_ROWS_MAX
public static final int PROOF_ASST_ERROR_MESSAGE_COLUMNS_MIN
public static final int PROOF_ASST_ERROR_MESSAGE_COLUMNS_MAX
public static final int PROOF_ASST_FORMULA_LEFT_COL_MIN
public static final int PROOF_ASST_FORMULA_RIGHT_COL_MAX
public static final int PROOF_ASST_RPN_PROOF_LEFT_COL_MIN
public static final int PROOF_ASST_RPN_PROOF_RIGHT_COL_MAX
public static final PaConstants.DjVarsSoftErrors PROOF_ASST_DJ_VARS_SOFT_ERRORS_DEFAULT
public static final int PROOF_ASST_FONT_SIZE_DEFAULT
public static final java.lang.String PROOF_ASST_FONT_FAMILY_DEFAULT
public static final boolean PROOF_ASST_FONT_BOLD_DEFAULT
public static final float PROOF_ASST_LINE_SPACING_DEFAULT
public static final java.lang.String PROOF_ASST_STYLE_COMMENT
public static final java.lang.String PROOF_ASST_STYLE_ERROR
public static final java.lang.String PROOF_ASST_STYLE_KEYWORD
public static final java.lang.String PROOF_ASST_STYLE_PROOF
public static final java.lang.String PROOF_ASST_STYLE_STEP
public static final java.lang.String PROOF_ASST_STYLE_HYP
public static final java.lang.String PROOF_ASST_STYLE_REF
public static final java.lang.String PROOF_ASST_STYLE_LOCREF
public static final java.lang.String PROOF_ASST_STYLE_SPECIAL_STEP
public static final java.lang.String PROOF_ASST_STYLE_CLASS
public static final java.lang.String PROOF_ASST_STYLE_SET
public static final java.lang.String PROOF_ASST_STYLE_WFF
public static final java.lang.String PROOF_ASST_STYLE_WORKVAR
public static final java.lang.String PROOF_ASST_STYLE_DEFAULT
public static final int PROOF_ASST_ERROR_MESSAGE_ROWS_DEFAULT
public static final int PROOF_ASST_ERROR_MESSAGE_COLUMNS_DEFAULT
public static final boolean PROOF_ASST_MAXIMIZED_DEFAULT
public static final boolean PROOF_ASST_TEXT_AT_TOP_DEFAULT
public static final int PROOF_ASST_FORMULA_LEFT_COL_DEFAULT
public static final int PROOF_ASST_FORMULA_RIGHT_COL_DEFAULT
public static final int PROOF_ASST_RPN_PROOF_LEFT_COL_AUTO
public static final int PROOF_ASST_RPN_PROOF_LEFT_COL_DEFAULT
public static final int PROOF_ASST_RPN_PROOF_RIGHT_COL_DEFAULT
public static final java.lang.String PROOF_ASST_SOFT_DJ_ERROR_OPTION_LIST
public static final java.lang.String PROOF_ASST_COMPRESSION_LIST
public static final java.lang.String PROOF_ASST_COMPRESSION_PROMPT
public static final java.lang.String PROOF_ASST_FONT_FAMILY_LIST
public static final int FONT_LIST_MAX_LINES
public static final int FONT_LIST_STARTING_LINE_LENGTH
public static final int PROOF_ASST_TEXT_COLUMNS_DEFAULT
public static final boolean PROOF_ASST_LINE_WRAP_DEFAULT
public static final boolean PROOF_ASST_EXPORT_FORMAT_UNIFIED_DEFAULT
Means that Ref (statement labels) should NOT be included on exported derivation proof steps. This is the default.
public static final HypsOrder PROOF_ASST_EXPORT_HYPS_ORDER_DEFAULT
Means that Ref (statement labels) should NOT be included on exported derivation proof steps. This is the default.
public static final boolean PROOF_ASST_PRINT_DEFAULT
Means that an extra print copy of each Proof Worksheet should not be sent to the SystemOutputFile (or System.out).
public static final boolean PROOF_ASST_EXPORT_DERIVE_FORMULAS_DEFAULT
public static final boolean PROOF_ASST_IMPORT_COMPARE_DJS_DEFAULT
public static final boolean PROOF_ASST_IMPORT_UPDATE_DJS_DEFAULT
public static final boolean PROOF_ASST_ASCII_RETEST_DEFAULT
public static final boolean RECHECK_PROOF_ASST_USING_PROOF_VERIFIER_DEFAULT
public static final boolean PROOF_ASST_EXCLUDE_DISCOURAGED_DEFAULT
public static final int STEP_SELECTOR_MAX_RESULTS_DEFAULT
Specifies the maximum number of results to be displayed by the StepSelectorDialog.
STEP_SELECTOR_MAX_RESULTS_DEFAULT = 50
public static final int STEP_SELECTOR_MAX_RESULTS_MAXIMUM
Specifies the maximum number of results to be displayed by the StepSelectorDialog.
STEP_SELECTOR_MAX_RESULTS_MAXIMUM = 9999
public static final boolean STEP_SELECTOR_SHOW_SUBSTITUTIONS_DEFAULT
Specifies whether or not substitutions resulting from unification are made into assertion formulas shown on the StepSelectorDialog.
STEP_SELECTOR_SHOW_SUBSTITUTIONS_DEFAULT = true
public static final int STEP_SELECTOR_DIALOG_PANE_WIDTH_DEFAULT
STEP_SELECTOR_DIALOG_PANE_WIDTH_DEFAULT = 720
public static final int STEP_SELECTOR_DIALOG_PANE_WIDTH_MIN
STEP_SELECTOR_DIALOG_PANE_WIDTH_MIN = 100
public static final int STEP_SELECTOR_DIALOG_PANE_WIDTH_MAX
STEP_SELECTOR_DIALOG_PANE_WIDTH_MAX = 9999
public static final int STEP_SELECTOR_DIALOG_PANE_HEIGHT_DEFAULT
STEP_SELECTOR_DIALOG_PANE_HEIGHT_DEFAULT = 720
public static final int STEP_SELECTOR_DIALOG_PANE_HEIGHT_MIN
STEP_SELECTOR_DIALOG_PANE_HEIGHT_MIN = 100
public static final int STEP_SELECTOR_DIALOG_PANE_HEIGHT_MAX
STEP_SELECTOR_DIALOG_PANE_HEIGHT_MAX = 9999
public static final boolean OUTPUT_CURSOR_INSTRUMENTATION_DEFAULT
Controls whether or not "instrumentation" info messages are output by the ProofAsst for regression test purposes.
OUTPUT_CURSOR_INSTRUMENTATION_DEFAULT = false
public static final boolean AUTO_REFORMAT_DEFAULT
Controls whether or not proof step formulas are automatically reformatted after Work Variables are resolved.
AUTO_REFORMAT_DEFAULT = true
public static final boolean UNDO_REDO_ENABLED_DEFAULT
Controls whether or not the Proof Assistant GUI provides Undo/Redo support.
Normally this is turned on, but if desired, say for performance reasons, the user can disable Undo/Redo at start-up time via RunParm.
UNDO_REDO_ENABLED_DEFAULT = true
public static final boolean HIGHLIGHTING_ENABLED_DEFAULT
Controls whether or not the Proof Assistant GUI provides Syntax highlighting support.
Normally this is turned on, but if desired, say for performance reasons, the user can disable syntax highlighting at start-up time via RunParm.
HIGHLIGHTING_ENABLED_DEFAULT = true
public static final java.awt.Color DEFAULT_FOREGROUND_COLOR
DEFAULT_FOREGROUND_COLOR = Color.BLACK
public static final java.awt.Color DEFAULT_BACKGROUND_COLOR
DEFAULT_BACKGROUND_COLOR = Color.WHITE
public static final boolean AUTOCOMPLETE_ENABLED_DEFAULT
public static final boolean DERIVE_AUTOCOMPLETE_DEFAULT
public static final int AUX_FRAME_NBR_ROWS_DEFAULT
public static final int AUX_FRAME_NBR_COLUMNS_DEFAULT
public static final java.lang.String AUX_FRAME_TITLE_DEFAULT
public static final java.lang.String AUX_FRAME_TEXT_DEFAULT
public static final java.lang.String AUX_FRAME_FONT_FAMILY
public static final boolean REQUEST_MESSAGES_GUI_ENABLED
public static final java.lang.String REQUEST_MESSAGES_GUI_TITLE_DEFAULT
public static final java.lang.String REQUEST_MESSAGES_GUI_TEXT_DEFAULT
public static final java.lang.String PROOF_ASST_GUI_STARTUP_MSG
public static final java.lang.String PROOF_TEXT_FONT_FAMILY
public static final int PROOF_ASST_TEXT_ROWS_DEFAULT
public static final int PROOF_TEXT_TAB_LENGTH
public static final java.lang.String SAMPLE_PROOF_LABEL
public static final java.lang.String SAMPLE_PROOF_TEXT
public static final java.lang.String AUTOCOMPLETE_SAMPLE_PROOF_TEXT
public static final java.lang.String PROOF_ASST_FRAME_TITLE
public static final java.lang.String PA_GUI_FILE_CHOOSER_DESCRIPTION
public static final java.lang.String PA_GUI_FILE_CHOOSER_FILE_SUFFIX_TXT
public static final java.lang.String PA_GUI_FILE_CHOOSER_FILE_SUFFIX_MMP
public static final java.lang.String PA_GUI_DEFAULT_FILE_NAME_SUFFIX
public static final java.lang.String PA_GUI_SAVE_BEFORE_CLOSE_QUESTION
public static final java.lang.String PA_GUI_FILE_MENU_TITLE
public static final java.lang.String PA_GUI_FILE_MENU_NEW_ITEM_TEXT
public static final java.lang.String PA_GUI_FILE_MENU_NEW_NEXT_ITEM_TEXT
public static final java.lang.String PA_GUI_FILE_MENU_OPEN_ITEM_TEXT
public static final java.lang.String PA_GUI_FILE_MENU_GET_PROOF_ITEM_TEXT
public static final java.lang.String PA_GUI_FILE_MENU_GET_FWD_PROOF_ITEM_TEXT
public static final java.lang.String PA_GUI_FILE_MENU_GET_BWD_PROOF_ITEM_TEXT
public static final java.lang.String PA_GUI_FILE_MENU_CLOSE_ITEM_TEXT
public static final java.lang.String PA_GUI_FILE_MENU_SAVE_ITEM_TEXT
public static final java.lang.String PA_GUI_FILE_MENU_SAVE_AS_ITEM_TEXT
public static final java.lang.String PA_GUI_FILE_MENU_EXPORT_VIA_GMFF_ITEM_TEXT
public static final java.lang.String PA_GUI_FILE_MENU_LOAD_SETTINGS
public static final java.lang.String PA_GUI_FILE_MENU_SAVE_SETTINGS
public static final java.lang.String PA_GUI_FILE_MENU_EXIT_ITEM_TEXT
public static final java.lang.String PA_GUI_EDIT_MENU_TITLE
public static final java.lang.String PA_GUI_EDIT_MENU_UNDO_ITEM_TEXT
public static final java.lang.String PA_GUI_EDIT_MENU_REDO_ITEM_TEXT
public static final java.lang.String PA_GUI_EDIT_MENU_CUT_ITEM_TEXT
public static final java.lang.String PA_GUI_EDIT_MENU_COPY_ITEM_TEXT
public static final java.lang.String PA_GUI_EDIT_MENU_PASTE_ITEM_TEXT
public static final java.lang.String PA_GUI_EDIT_MENU_SET_FOREGROUND_ITEM_TEXT
public static final java.lang.String PA_GUI_EDIT_MENU_SET_BACKGROUND_ITEM_TEXT
public static final java.lang.String COLOR_CHOOSE_TITLE_2
public static final java.lang.String COLOR_CHOOSE_TITLE_SEPARATOR
public static final java.lang.String PA_GUI_EDIT_MENU_SET_FORMAT_NBR_ITEM_TEXT
public static final java.lang.String PA_GUI_EDIT_MENU_SET_INDENT_ITEM_TEXT
public static final java.lang.String PA_GUI_EDIT_MENU_SET_INCOMPLETE_STEP_CURSOR_ITEM_TEXT
public static final java.lang.String PA_GUI_EDIT_MENU_SET_SOFT_DJ_ERROR_ITEM_TEXT
public static final java.lang.String PA_GUI_EDIT_MENU_SET_FONT_FAMILY_ITEM_TEXT
public static final java.lang.String PA_GUI_EDIT_MENU_FONT_STYLE_BOLD_ITEM_TEXT
public static final java.lang.String PA_GUI_EDIT_MENU_FONT_STYLE_PLAIN_ITEM_TEXT
public static final java.lang.String PA_GUI_EDIT_MENU_INC_FONT_ITEM_TEXT
public static final java.lang.String PA_GUI_EDIT_MENU_DEC_FONT_ITEM_TEXT
public static final java.lang.String PA_GUI_EDIT_MENU_REFORMAT_ITEM_TEXT
public static final java.lang.String PA_GUI_POPUP_MENU_REFORMAT_STEP_TEXT
public static final java.lang.String PA_GUI_EDIT_MENU_REFORMAT_SWAP_ALT_ITEM_TEXT
public static final java.lang.String PA_GUI_POPUP_MENU_REFORMAT_SWAP_ALT_STEP_TEXT
public static final java.lang.String PA_GUI_CANCEL_MENU_TITLE
public static final java.lang.String PA_GUI_CANCEL_MENU_KILL_ITEM_TEXT
public static final java.lang.String PA_GUI_UNIFY_MENU_TITLE
public static final java.lang.String PA_GUI_UNIFY_MENU_START_ITEM_TEXT
public static final java.lang.String PA_GUI_UNIFY_MENU_START_UR_ITEM_TEXT
public static final java.lang.String PA_GUI_UNIFY_MENU_REDERIVE_ITEM_TEXT
public static final java.lang.String PA_GUI_UNIFY_MENU_NO_WV_ITEM_TEXT
public static final java.lang.String PA_GUI_UNIFY_MENU_ERASE_NO_WV_ITEM_TEXT
public static final java.lang.String PA_GUI_UNIFY_MENU_STEP_SELECTOR_SEARCH_ITEM_TEXT
public static final java.lang.String PA_GUI_UNIFY_MENU_RESHOW_STEP_SELECTOR_DIALOG_ITEM_TEXT
public static final java.lang.String PA_GUI_UNIFY_MENU_SET_MAX_RESULTS_ITEM_TEXT
public static final java.lang.String PA_GUI_UNIFY_MENU_SET_SHOW_SUBST_ITEM_TEXT
public static final java.lang.String PA_GUI_SET_MAX_RESULTS_OPTION_PROMPT
public static final java.lang.String PA_GUI_SET_SHOW_SUBST_OPTION_PROMPT
public static final java.lang.String PA_GUI_SEARCH_MENU_TITLE
public static final java.lang.String SEARCH_OPTIONS_ITEM_TEXT
public static final java.lang.String GENERAL_SEARCH_ITEM_TEXT
public static final java.lang.String STEP_SEARCH_ITEM_TEXT
public static final java.lang.String RESHOW_SEARCH_RESULTS_ITEM_TEXT
public static final java.lang.String PA_GUI_TL_MENU_TITLE
public static final java.lang.String PA_GUI_TL_MENU_DJ_VARS_OPTION
public static final java.lang.String PA_GUI_TL_MENU_MMT_FOLDER
public static final java.lang.String PA_GUI_TL_MENU_AUDIT_MESSAGES
public static final java.lang.String PA_GUI_TL_MENU_STORE_FORMULAS_AS_IS
public static final java.lang.String PA_GUI_TL_MENU_STORE_MM_INDENT_AMT
public static final java.lang.String PA_GUI_TL_MENU_COMPRESSION
public static final java.lang.String PA_GUI_TL_MENU_LOAD_THEOREMS
public static final java.lang.String PA_GUI_TL_MENU_EXTRACT_THEOREM
public static final java.lang.String PA_GUI_TL_MENU_UNIFY_PLUS_STORE
public static final java.lang.String PA_GUI_TL_MENU_UNIFY_PLUS_STORE_IN_LOG_SYS
public static final java.lang.String PA_GUI_TL_MENU_VERIFY_ALL_PROOFS
public static final java.lang.String PA_GUI_TL_MENU_STORE_MM_RIGHT_COL
public static final java.lang.String PA_GUI_SET_TL_AUDIT_MESSAGES_OPTION_PROMPT
public static final java.lang.String PA_GUI_SET_TL_STORE_FORMULAS_AS_IS_OPTION_PROMPT
public static final java.lang.String PA_GUI_SET_TL_STORE_MM_RIGHT_COL_OPTION_PROMPT
public static final java.lang.String PA_GUI_SET_TL_STORE_MM_INDENT_AMT_OPTION_PROMPT
public static final java.lang.String PA_GUI_SET_TL_DJ_VARS_OPTION_PROMPT
public static final java.lang.String PA_GUI_SET_TL_MMT_FOLDER_OPTION_PROMPT
public static final java.lang.String PA_GUI_SET_TL_MMT_FOLDER_OPTION_PROMPT_2
public static final java.lang.String PA_GUI_GMFF_MENU_TITLE
public static final java.lang.String PA_GUI_HELP_MENU_TITLE
public static final java.lang.String PA_GUI_HELP_MENU_GENERAL
public static final java.lang.String PA_GUI_HELP_ABOUT
public static final java.lang.String PA_GUI_HELP_MENU_BATCH_COMMAND_DOCUMENTATION
public static final java.lang.String PA_GUI_HELP_BATCH_COMMAND_DOCUMENTATION_TITLE
public static final java.lang.String PA_GUI_ACTION_BEFORE_SAVE_EXIT
public static final java.lang.String PA_GUI_ACTION_BEFORE_SAVE_CLOSE
public static final java.lang.String PA_GUI_ACTION_BEFORE_SAVE_NEW
public static final java.lang.String PA_GUI_ACTION_BEFORE_SAVE_OPEN
public static final java.lang.String PA_GUI_NEW_THEOREM_LABEL_PROMPT
public static final java.lang.String PA_GUI_GET_THEOREM_LABEL_PROMPT
public static final java.lang.String PA_GUI_GET_THEOREM_LABEL_PROMPT_2
public static final java.lang.String PA_GUI_YES_NO_CANCEL_TITLE
public static final java.lang.String PA_GUI_YES_NO_TITLE
public static final java.lang.String PA_GUI_SAVE_PROOF_TEXT_TITLE
public static final java.lang.String PA_UNKNOWN_THEOREM_LABEL
public static final java.lang.String PA_GUI_SET_FORMAT_NBR_PROMPT
public static final java.lang.String PA_GUI_SET_INDENT_PROMPT
public static final java.lang.String PA_GUI_SET_FONT_FAMILY_PROMPT
public static final java.lang.String PA_GUI_SET_SOFT_DJ_ERROR_OPTION_PROMPT
public static final java.lang.String ERROR_TEXT_SPACER_LINE
public static final java.lang.String HELP_ABOUT_TITLE
public static final java.lang.String HELP_ABOUT_TEXT
public static final java.lang.String GENERAL_HELP_FRAME_TITLE
public static final java.lang.String GENERAL_HELP_INFO_TEXT
public static final java.lang.String ERRMSG_TXT_LINE
public static final java.lang.String ERRMSG_TXT_COLUMN
public static final java.lang.String[] STATUS_DESC
This is used only for test output.
public static final java.lang.String PROOF_TEXT_HEADER_1
public static final java.lang.String PROOF_TEXT_HEADER_2
public static final java.lang.String DEFAULT_STMT_LABEL
public static final java.lang.String PROOF_WORKSHEET_COMMENT_STMT_IO_ERROR
public static final java.lang.String PROOF_TEXT_FOOTER
public static final java.lang.String HEADER_STMT_TOKEN
public static final java.lang.String HEADER_MM_TOKEN
public static final int HEADER_MM_TOKEN_CHUNK_INDEX
Chunk refers to tokens plus whitespace chunks.
public static final java.lang.String HEADER_PROOF_ASST_TOKEN
public static final int HEADER_PROOF_ASST_TOKEN_CHUNK_INDEX
Chunk refers to tokens plus whitespace chunks.
public static final java.lang.String HEADER_THEOREM_EQUAL_PREFIX
public static final int HEADER_THEOREM_EQUAL_PREFIX_CHUNK_INDEX
Chunk refers to tokens plus whitespace chunks.
public static final java.lang.String HEADER_LOC_AFTER_EQUAL_PREFIX
public static final int HEADER_LOC_AFTER_EQUAL_PREFIX_CHUNK_INDEX
Chunk refers to tokens plus whitespace chunks.
public static final java.lang.String FOOTER_STMT_TOKEN
public static final java.lang.String GENERATED_PROOF_STMT_TOKEN
public static final java.lang.String END_PROOF_STMT_TOKEN
public static final java.lang.String MACRO_STMT_TOKEN
public static final java.lang.String DISTINCT_VARIABLES_STMT_TOKEN
public static final java.lang.String QED_STEP_NBR_CAPS
public static final java.lang.String QED_STEP_NBR
public static final java.lang.String HYP_STEP_PREFIX
public static final java.lang.String AUTO_STEP_PREFIX
public static final java.lang.String COMMENT_STMT_TOKEN_PREFIX
public static final char FIELD_DELIMITER_COLON
public static final int MAX_FIELD_DELIMITER_COLONS
public static final char FIELD_DELIMITER_COMMA
public static final char LOCAL_REF_ESCAPE_CHAR
public static final java.lang.String PROOF_TEXT_READER_CAPTION
This is just a caption field used when creating a mmj.mmio.Tokenizer object
public static final java.lang.String DERIVE_STEP_PREFIX
This is used on steps generated by the derive feature.
public static final int GREATEST_STEP_NBR_INCREMENT_AMT
This is used to generate new greatestStepNbr values for the ProofUnifier Derive feature.
public static final int STEP_UNIFIER_APPLIED_ARRAY_LEN_INIT
Used for backout of unification updates.
public static final int STEP_UNIFIER_APPLIED_ARRAY_LEN_MAX
Used for backout of unification updates.
public static final java.lang.String STEP_SELECTOR_DIALOG_TITLE
public static final java.lang.String STEP_SELECTOR_DIALOG_HIDE_BUTTON_CAPTION
public static final java.lang.String STEP_SELECTOR_DIALOG_SET_BUTTON_CAPTION
public static final java.lang.String STEP_SELECTOR_DIALOG_POPUP_SET_BUTTON_CAPTION
public static final java.lang.String STEP_SELECTOR_DIALOG_LIST_CAPTION_PREFIX
public static final java.lang.String STEP_SELECTOR_DIALOG_LIST_CAPTION_SUFFIX
public static final int STEP_SELECTOR_SEARCH_HYP_LOOKUP_MAX
95% of set.mm theorems have 0, 1 or 2 logical hypotheses and it makes sense in StepSelectorSearch to use a binary search to establish the first search index for these theorem, otherwise, just scan forward.
public static final java.lang.String STEP_SELECTOR_SEARCH_FORMULA_INDENT
public static final java.lang.String STEP_SELECTOR_FORMULA_LABEL_SEPARATOR
public static final java.lang.String STEP_SELECTOR_FORMULA_LOG_HYP_SEPARATOR
public static final java.lang.String STEP_SELECTOR_FORMULA_YIELDS_SEPARATOR
public static final java.lang.String STEP_SELECTOR_LIST_MORE_LITERAL
public static final java.lang.String STEP_SELECTOR_LIST_END_LITERAL
public static final ErrorCode ERRMSG_PA_UNIFY_SEVERE_ERROR
public static final ErrorCode ERRMSG_PA_IMPORT_STRUCT_ERROR
public static final ErrorCode ERRMSG_PA_IMPORT_ERROR
public static final ErrorCode ERRMSG_PA_IMPORT_IO_ERROR
public static final ErrorCode ERRMSG_PA_IMPORT_SEVERE_ERROR
public static final ErrorCode ERRMSG_PA_EXPORT_PV_ERROR
public static final ErrorCode ERRMSG_PA_EXPORT_STRUCT_ERROR
public static final ErrorCode ERRMSG_PA_EXPORT_IO_ERROR
public static final ErrorCode ERRMSG_PA_NOTHING_TO_UNIFY
public static final ErrorCode ERRMSG_PA_PRINT_IO_ERROR
public static final ErrorCode ERRMSG_PA_TESTMSG_01
public static final ErrorCode ERRMSG_PA_TESTMSG_02
public static final ErrorCode ERRMSG_PA_TESTMSG_03
public static final ErrorCode ERRMSG_PA_FWD_BACK_SEARCH_NOTFND
public static final ErrorCode ERRMSG_SUPERFLUOUS_MANDFRAME_DJVARS
public static final ErrorCode ERRMSG_PA_RPN_PROOF_GENERATED
public static final ErrorCode ERRMSG_STEP_SELECTOR_BATCH_TEST_NO_RESULTS
public static final ErrorCode ERRMSG_STEP_SELECTOR_BATCH_TEST_INV_CHOICE
public static final ErrorCode ERRMSG_STEP_SELECTOR_BATCH_TEST_CHOICE
public static final ErrorCode ERRMSG_STEP_SELECTOR_RESULTS_PRINT
public static final ErrorCode ERRMSG_PA_GUI_EXPORT_VIA_GMFF_FAILED
public static final ErrorCode ERRMSG_PA_GET_THEOREM_NOT_FOUND
public static final ErrorCode ERRMSG_PA_START_THEOREM_NOT_FOUND
public static final ErrorCode ERRMSG_PA_TESTMSG_PROGRESS
public static final ErrorCode ERRMSG_PA_TIME_TOP_HEADER
public static final ErrorCode ERRMSG_PA_GUI_FILE_NOTFND
public static final ErrorCode ERRMSG_PA_GUI_SAVE_BEFORE_ACTION
public static final ErrorCode ERRMSG_PA_GUI_READ_PROOF_IO_ERR
public static final ErrorCode ERRMSG_PA_GUI_FILE_EXISTS
public static final ErrorCode ERRMSG_PA_GUI_SAVE_IO_ERROR
public static final ErrorCode ERRMSG_PA_GUI_VERIFY_ALL_PROOFS_OK
public static final ErrorCode ERRMSG_PA_GUI_LOAD_THEOREMS_OK
public static final ErrorCode ERRMSG_PA_GUI_EXTRACT_THEOREMS_OK
public static final ErrorCode ERRMSG_PA_GUI_EXPORT_VIA_GMFF_OK
public static final ErrorCode ERRMSG_NO_MESSAGES_MSG
public static final ErrorCode ERRMSG_PROOF_EMPTY
public static final ErrorCode ERRMSG_HDR_TOKEN_ERR
public static final ErrorCode ERRMSG_QED_MISSING
public static final ErrorCode ERRMSG_FOOTER_MISSING
public static final ErrorCode ERRMSG_COL1_ERROR
public static final ErrorCode ERRMSG_MULT_HDR_ERROR
public static final ErrorCode ERRMSG_QED_EMPTY
public static final ErrorCode ERRMSG_SHR_BAD
public static final ErrorCode ERRMSG_SHR_BAD2
public static final ErrorCode ERRMSG_QED_NOT_END
public static final ErrorCode ERRMSG_MULT_QED_ERROR
public static final ErrorCode ERRMSG_QED_NOT_END2
public static final ErrorCode ERRMSG_STEP_NBR_MISSING
public static final ErrorCode ERRMSG_QED_HYP_STEP
public static final ErrorCode ERRMSG_BAD_STEP
public static final ErrorCode ERRMSG_STEP_NBR_DUP
public static final MMJException.ErrorContext READER_POSITION_LITERAL
public static final ErrorCode ERRMSG_STMT_NOT_DONE
public static final ErrorCode ERRMSG_PREMATURE_END
public static final ErrorCode ERRMSG_PREMATURE_END2
public static final ErrorCode ERRMSG_EXTRA_TOKEN
public static final ErrorCode ERRMSG_BAD_HDR_TOKEN
public static final ErrorCode ERRMSG_BAD_HDR_TOKEN2
public static final ErrorCode ERRMSG_BAD_HDR_TOKEN3
public static final ErrorCode ERRMSG_BAD_THRM_VAL
public static final ErrorCode ERRMSG_BAD_LOC_TOKEN
public static final ErrorCode ERRMSG_BAD_LOC_VAL
public static final ErrorCode ERRMSG_BAD_LABEL_CHAR
public static final ErrorCode ERRMSG_PROHIB_LABEL
public static final ErrorCode ERRMSG_BAD_TYP_CD
public static final ErrorCode ERRMSG_NOT_A_THRM
public static final ErrorCode ERRMSG_LOC_NOTFND
public static final ErrorCode ERRMSG_BAD_TYP_CD2
public static final ErrorCode ERRMSG_SYM_NOTFND
public static final ErrorCode ERRMSG_VAR_SCOPE
public static final ErrorCode ERRMSG_SYM_MAXSEQ
public static final ErrorCode ERRMSG_PARSE_ERR
public static final ErrorCode ERRMSG_FORMULA_NOMATCH
public static final ErrorCode ERRMSG_REF_NOTFND
public static final ErrorCode ERRMSG_REF_MAXSEQ
public static final ErrorCode ERRMSG_REF_NOT_ASSRT
public static final ErrorCode ERRMSG_REF_BAD_TYP
public static final ErrorCode ERRMSG_BAD_HYP_STEP
public static final ErrorCode ERRMSG_HYP_STEP_NOTFND
public static final ErrorCode ERRMSG_REF_NBR_HYPS
public static final ErrorCode ERRMSG_DUP_LOG_HYPS
public static final ErrorCode ERRMSG_HYP_FORMULA_ERR
public static final ErrorCode ERRMSG_REF_NOTFND2
public static final ErrorCode ERRMSG_REF_NOT_LOGHYP
public static final ErrorCode ERRMSG_LOGHYP_MISMATCH
public static final ErrorCode ERRMSG_HYP_FORMULA_ERR2
public static final ErrorCode ERRMSG_REF_PROHIB
public static final ErrorCode ERRMSG_DUP_HYP_REF
public static final ErrorCode ERRMSG_DV_SYM_ERR
public static final ErrorCode ERRMSG_DV_SYM_MAXSEQ
public static final ErrorCode ERRMSG_DV_SYM_CNST
public static final ErrorCode ERRMSG_DV_VAR_DUP
public static final ErrorCode ERRMSG_REF_NBR_HYPS_LT_INPUT
public static final ErrorCode ERRMSG_CYCLIC_DEPENDENCY
public static final ErrorCode ERRMSG_STMT_LABEL_DUP_OF_SYM_ID
public static final ErrorCode ERRMSG_STMT_LABEL_DUP_OF_SYM_ID2
public static final ErrorCode ERRMSG_SMOOSH_FAILED
public static final ErrorCode ERRMSG_WV_LOC_ERR
public static final ErrorCode ERRMSG_HYP_HAS_LOCAL_REF
public static final ErrorCode ERRMSG_QED_HYP_LOCAL_REF
public static final ErrorCode ERRMSG_BAD_LOCAL_REF
public static final ErrorCode ERRMSG_HYP_HAS_SELECTOR_CHOICE
public static final ErrorCode ERRMSG_LOCAL_REF_HAS_SELECTOR_CHOICE
public static final ErrorCode ERRMSG_LOCAL_REF_HAS_SELECTOR_SEARCH
public static final ErrorCode ERRMSG_SELECTOR_SEARCH_STEP_NOTFND
public static final ErrorCode ERRMSG_SELECTOR_CHOICE_STEP_NOTFND
public static final ErrorCode ERRMSG_DV_VAR_SCOPE_ERR
public static final ErrorCode ERRMSG_MACRO_FAIL
public static final ErrorCode ERRMSG_STEP_REF_HYP_NBR_ERR
public static final ErrorCode ERRMSG_ALT_UNIFY_REFS
public static final ErrorCode ERRMSG_INCOMPLETE_HYPS
public static final ErrorCode ERRMSG_ASSRT_SUBST_SLOT
public static final ErrorCode ERRMSG_VERIFY_RECHECK_ERR
public static final ErrorCode ERRMSG_REARRANGE_HYPS_ERR
public static final ErrorCode ERRMSG_MERGE_LOGHYP_SUBST_ERR
public static final ErrorCode ERRMSG_INIT_FORMULA_SUBST_ERR
public static final ErrorCode ERRMSG_DV_VERIFY_ERR
public static final ErrorCode ERRMSG_REF_UNIFY_ERR
public static final ErrorCode ERRMSG_STEP_UNIFY_ERR
public static final ErrorCode ERRMSG_UNIFY_SEARCH_EXCLUDE
public static final ErrorCode ERRMSG_UNIFY_TABLES_NOT_INIT
public static final ErrorCode ERRMSG_WV_CLEANUP_SHORTAGE
public static final ErrorCode ERRMSG_UPD_WV_ASSIGNED_NULL_VALUE
public static final ErrorCode ERRMSG_HYP_STEP_CNT_IN_WORKSHEET_ERROR
public static final ErrorCode ERRMSG_NO_CONVERT_WV
public static final ErrorCode ERRMSG_POSSIBLE_SUBST
public static final ErrorCode ERRMSG_INVALID_FONT_FAMILY_NAME
public static final ErrorCode ERRMSG_INVALID_SOFT_DJ_VARS_ERROR_OPTION
public static final java.lang.String ERRMSG_INVALID_OPTION
public static final ErrorCode ERRMSG_INVALID_INCOMPLETE_STEP_CURSOR
public static final ErrorCode ERRMSG_INVALID_INCOMPLETE_STEP_CURSOR_OPTION_NBR
public static final ErrorCode ERRMSG_INVALID_INT_RANGE
public static final ErrorCode ERRMSG_INVALID_BOOLEAN
public static final ErrorCode ERRMSG_INVALID_PROOF_FORMAT
public static final ErrorCode ERRMSG_SET_LOOK_AND_FEEL
public static final ErrorCode ERRMSG_LOOK_AND_FEEL_MISSING
public static final ErrorCode ERRMSG_STORE_LOAD_FAIL
public static final ErrorCode ERRMSG_SUBST_TO_VARS_NOT_DJ
public static final ErrorCode ERRMSG_ADD_TO_APPLIED_ARRAY_OFLOW
public static final ErrorCode ERRMSG_PA_CURSOR_INSTRUMENTATION
public static final ErrorCode ERRMSG_SELECTOR_SEARCH_NULL_PARSE_TREE
public static final ErrorCode ERRMSG_SELECTOR_SEARCH_ASSRT_LIST_EMPTY
public static final java.lang.String PROOF_ASST_SETTINGS_FILE_DEFAULT
public static final java.lang.String BACKUP_SUFFIX
public static final org.json.JSONObject JSON_INTRODUCTION
public static final ErrorCode ERRMSG_ERASE_WFFS_ERROR
public static final ErrorCode ERRMSG_TOKENIZER_FAIL
public static void doStyleDefaults(java.util.Map<java.lang.String,javax.swing.text.SimpleAttributeSet> map)
map
- the style mappublic static void setStyle(javax.swing.text.SimpleAttributeSet style, java.awt.Color color, java.lang.Boolean bold, java.lang.Boolean italic)
style
- The style attribute setcolor
- the foreground colorbold
- true for bold, false for plain, null for inherititalic
- true for italic, false for plain, null for inherit