|
# SPDX-License-Identifier: GPL-2.0-or-later
# CAP: Categories, Algorithms, Programming
#
# Declarations
#
#! @Chapter Theorem parsers
DeclareGlobalFunction( "STRING_REPRESENTS_INTEGER" );
DeclareGlobalFunction( "Int_SAVE" );
DeclareGlobalFunction( "READ_LOGIC_FILE" );
DeclareGlobalFunction( "PARSE_THEOREM_FROM_LATEX" );
DeclareGlobalFunction( "READ_THEOREM_FILE" );
DeclareGlobalFunction( "PARSE_PREDICATE_IMPLICATION_FROM_LATEX" );
DeclareGlobalFunction( "READ_PREDICATE_IMPLICATION_FILE" );
DeclareGlobalFunction( "SPLIT_SINGLE_PART_RECURSIVE" );
DeclareGlobalFunction( "SEARCH_FOR_VARIABLE_NAME_APPEARANCE" );
DeclareGlobalFunction( "SEARCH_FOR_INT_VARIABLE_APPEARANCE" );
DeclareGlobalFunction( "TOKENIZE_INPUT_JUDGEMENT" );
DeclareGlobalFunction( "REPLACE_VARIABLE" );
DeclareGlobalFunction( "REPLACE_INTEGER_VARIABLE" );
DeclareGlobalFunction( "FIND_COMMAND_POSITIONS" );
DeclareGlobalFunction( "PARSE_EVAL_RULE_FROM_LATEX" );
DeclareGlobalFunction( "READ_EVAL_RULE_FILE" );
DeclareGlobalFunction( "GIVE_VARIABLE_NAMES_WITH_POSITIONS_RECURSIVE" );
DeclareGlobalFunction( "REPLACE_INTEGER_STRINGS_BY_INTS_AND_VARIABLES_BY_FAIL_RECURSIVE" );
DeclareGlobalFunction( "IS_LIST_WITH_INDEX" );
DeclareGlobalFunction( "SPLIT_INTO_LIST_NAME_AND_INDEX" );
[ Dauer der Verarbeitung: 0.18 Sekunden
(vorverarbeitet)
]
|
