# 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" );
