Interface ISMTLIBv2Listener

This interface defines a complete listener for a parse tree produced by SMTLIBv2Parser.

Namespace: GCore.Antlr.Grammers.Smtlibv2
Assembly: Smtlibv2.dll
Syntax
public interface ISMTLIBv2Listener : Antlr4.Runtime.Tree.IParseTreeListener

Methods

| Improve this Doc View Source

EnterAttribute(SMTLIBv2Parser.AttributeContext)

Enter a parse tree produced by attribute().

Declaration
void EnterAttribute(SMTLIBv2Parser.AttributeContext context)
Parameters
Type Name Description
SMTLIBv2Parser.AttributeContext context

The parse tree.
| Improve this Doc View Source

EnterAttribute_value(SMTLIBv2Parser.Attribute_valueContext)

Enter a parse tree produced by attribute_value().

Declaration
void EnterAttribute_value(SMTLIBv2Parser.Attribute_valueContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Attribute_valueContext context

The parse tree.
| Improve this Doc View Source

EnterB_value(SMTLIBv2Parser.B_valueContext)

Enter a parse tree produced by b_value().

Declaration
void EnterB_value(SMTLIBv2Parser.B_valueContext context)
Parameters
Type Name Description
SMTLIBv2Parser.B_valueContext context

The parse tree.
| Improve this Doc View Source

EnterBinary(SMTLIBv2Parser.BinaryContext)

Enter a parse tree produced by binary().

Declaration
void EnterBinary(SMTLIBv2Parser.BinaryContext context)
Parameters
Type Name Description
SMTLIBv2Parser.BinaryContext context

The parse tree.
| Improve this Doc View Source

EnterCheck_sat_response(SMTLIBv2Parser.Check_sat_responseContext)

Enter a parse tree produced by check_sat_response().

Declaration
void EnterCheck_sat_response(SMTLIBv2Parser.Check_sat_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Check_sat_responseContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_assert(SMTLIBv2Parser.Cmd_assertContext)

Enter a parse tree produced by cmd_assert().

Declaration
void EnterCmd_assert(SMTLIBv2Parser.Cmd_assertContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_assertContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_checkSat(SMTLIBv2Parser.Cmd_checkSatContext)

Enter a parse tree produced by cmd_checkSat().

Declaration
void EnterCmd_checkSat(SMTLIBv2Parser.Cmd_checkSatContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_checkSatContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_checkSatAssuming(SMTLIBv2Parser.Cmd_checkSatAssumingContext)

Enter a parse tree produced by cmd_checkSatAssuming().

Declaration
void EnterCmd_checkSatAssuming(SMTLIBv2Parser.Cmd_checkSatAssumingContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_checkSatAssumingContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_declareConst(SMTLIBv2Parser.Cmd_declareConstContext)

Enter a parse tree produced by cmd_declareConst().

Declaration
void EnterCmd_declareConst(SMTLIBv2Parser.Cmd_declareConstContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_declareConstContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_declareDatatype(SMTLIBv2Parser.Cmd_declareDatatypeContext)

Enter a parse tree produced by cmd_declareDatatype().

Declaration
void EnterCmd_declareDatatype(SMTLIBv2Parser.Cmd_declareDatatypeContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_declareDatatypeContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_declareDatatypes(SMTLIBv2Parser.Cmd_declareDatatypesContext)

Enter a parse tree produced by cmd_declareDatatypes().

Declaration
void EnterCmd_declareDatatypes(SMTLIBv2Parser.Cmd_declareDatatypesContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_declareDatatypesContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_declareFun(SMTLIBv2Parser.Cmd_declareFunContext)

Enter a parse tree produced by cmd_declareFun().

Declaration
void EnterCmd_declareFun(SMTLIBv2Parser.Cmd_declareFunContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_declareFunContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_declareSort(SMTLIBv2Parser.Cmd_declareSortContext)

Enter a parse tree produced by cmd_declareSort().

Declaration
void EnterCmd_declareSort(SMTLIBv2Parser.Cmd_declareSortContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_declareSortContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_defineFun(SMTLIBv2Parser.Cmd_defineFunContext)

Enter a parse tree produced by cmd_defineFun().

Declaration
void EnterCmd_defineFun(SMTLIBv2Parser.Cmd_defineFunContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_defineFunContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_defineFunRec(SMTLIBv2Parser.Cmd_defineFunRecContext)

Enter a parse tree produced by cmd_defineFunRec().

Declaration
void EnterCmd_defineFunRec(SMTLIBv2Parser.Cmd_defineFunRecContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_defineFunRecContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_defineFunsRec(SMTLIBv2Parser.Cmd_defineFunsRecContext)

Enter a parse tree produced by cmd_defineFunsRec().

Declaration
void EnterCmd_defineFunsRec(SMTLIBv2Parser.Cmd_defineFunsRecContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_defineFunsRecContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_defineSort(SMTLIBv2Parser.Cmd_defineSortContext)

Enter a parse tree produced by cmd_defineSort().

Declaration
void EnterCmd_defineSort(SMTLIBv2Parser.Cmd_defineSortContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_defineSortContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_echo(SMTLIBv2Parser.Cmd_echoContext)

Enter a parse tree produced by cmd_echo().

Declaration
void EnterCmd_echo(SMTLIBv2Parser.Cmd_echoContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_echoContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_exit(SMTLIBv2Parser.Cmd_exitContext)

Enter a parse tree produced by cmd_exit().

Declaration
void EnterCmd_exit(SMTLIBv2Parser.Cmd_exitContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_exitContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_getAssertions(SMTLIBv2Parser.Cmd_getAssertionsContext)

Enter a parse tree produced by cmd_getAssertions().

Declaration
void EnterCmd_getAssertions(SMTLIBv2Parser.Cmd_getAssertionsContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_getAssertionsContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_getAssignment(SMTLIBv2Parser.Cmd_getAssignmentContext)

Enter a parse tree produced by cmd_getAssignment().

Declaration
void EnterCmd_getAssignment(SMTLIBv2Parser.Cmd_getAssignmentContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_getAssignmentContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_getInfo(SMTLIBv2Parser.Cmd_getInfoContext)

Enter a parse tree produced by cmd_getInfo().

Declaration
void EnterCmd_getInfo(SMTLIBv2Parser.Cmd_getInfoContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_getInfoContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_getModel(SMTLIBv2Parser.Cmd_getModelContext)

Enter a parse tree produced by cmd_getModel().

Declaration
void EnterCmd_getModel(SMTLIBv2Parser.Cmd_getModelContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_getModelContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_getOption(SMTLIBv2Parser.Cmd_getOptionContext)

Enter a parse tree produced by cmd_getOption().

Declaration
void EnterCmd_getOption(SMTLIBv2Parser.Cmd_getOptionContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_getOptionContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_getProof(SMTLIBv2Parser.Cmd_getProofContext)

Enter a parse tree produced by cmd_getProof().

Declaration
void EnterCmd_getProof(SMTLIBv2Parser.Cmd_getProofContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_getProofContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_getUnsatAssumptions(SMTLIBv2Parser.Cmd_getUnsatAssumptionsContext)

Enter a parse tree produced by cmd_getUnsatAssumptions().

Declaration
void EnterCmd_getUnsatAssumptions(SMTLIBv2Parser.Cmd_getUnsatAssumptionsContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_getUnsatAssumptionsContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_getUnsatCore(SMTLIBv2Parser.Cmd_getUnsatCoreContext)

Enter a parse tree produced by cmd_getUnsatCore().

Declaration
void EnterCmd_getUnsatCore(SMTLIBv2Parser.Cmd_getUnsatCoreContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_getUnsatCoreContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_getValue(SMTLIBv2Parser.Cmd_getValueContext)

Enter a parse tree produced by cmd_getValue().

Declaration
void EnterCmd_getValue(SMTLIBv2Parser.Cmd_getValueContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_getValueContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_pop(SMTLIBv2Parser.Cmd_popContext)

Enter a parse tree produced by cmd_pop().

Declaration
void EnterCmd_pop(SMTLIBv2Parser.Cmd_popContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_popContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_push(SMTLIBv2Parser.Cmd_pushContext)

Enter a parse tree produced by cmd_push().

Declaration
void EnterCmd_push(SMTLIBv2Parser.Cmd_pushContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_pushContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_reset(SMTLIBv2Parser.Cmd_resetContext)

Enter a parse tree produced by cmd_reset().

Declaration
void EnterCmd_reset(SMTLIBv2Parser.Cmd_resetContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_resetContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_resetAssertions(SMTLIBv2Parser.Cmd_resetAssertionsContext)

Enter a parse tree produced by cmd_resetAssertions().

Declaration
void EnterCmd_resetAssertions(SMTLIBv2Parser.Cmd_resetAssertionsContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_resetAssertionsContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_setInfo(SMTLIBv2Parser.Cmd_setInfoContext)

Enter a parse tree produced by cmd_setInfo().

Declaration
void EnterCmd_setInfo(SMTLIBv2Parser.Cmd_setInfoContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_setInfoContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_setLogic(SMTLIBv2Parser.Cmd_setLogicContext)

Enter a parse tree produced by cmd_setLogic().

Declaration
void EnterCmd_setLogic(SMTLIBv2Parser.Cmd_setLogicContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_setLogicContext context

The parse tree.
| Improve this Doc View Source

EnterCmd_setOption(SMTLIBv2Parser.Cmd_setOptionContext)

Enter a parse tree produced by cmd_setOption().

Declaration
void EnterCmd_setOption(SMTLIBv2Parser.Cmd_setOptionContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_setOptionContext context

The parse tree.
| Improve this Doc View Source

EnterCommand(SMTLIBv2Parser.CommandContext)

Enter a parse tree produced by command().

Declaration
void EnterCommand(SMTLIBv2Parser.CommandContext context)
Parameters
Type Name Description
SMTLIBv2Parser.CommandContext context

The parse tree.
| Improve this Doc View Source

EnterConstructor_dec(SMTLIBv2Parser.Constructor_decContext)

Enter a parse tree produced by constructor_dec().

Declaration
void EnterConstructor_dec(SMTLIBv2Parser.Constructor_decContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Constructor_decContext context

The parse tree.
| Improve this Doc View Source

EnterDatatype_dec(SMTLIBv2Parser.Datatype_decContext)

Enter a parse tree produced by datatype_dec().

Declaration
void EnterDatatype_dec(SMTLIBv2Parser.Datatype_decContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Datatype_decContext context

The parse tree.
| Improve this Doc View Source

EnterDecimal(SMTLIBv2Parser.DecimalContext)

Enter a parse tree produced by .

Declaration
void EnterDecimal(SMTLIBv2Parser.DecimalContext context)
Parameters
Type Name Description
SMTLIBv2Parser.DecimalContext context

The parse tree.
| Improve this Doc View Source

EnterEcho_response(SMTLIBv2Parser.Echo_responseContext)

Enter a parse tree produced by echo_response().

Declaration
void EnterEcho_response(SMTLIBv2Parser.Echo_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Echo_responseContext context

The parse tree.
| Improve this Doc View Source

EnterError_behaviour(SMTLIBv2Parser.Error_behaviourContext)

Enter a parse tree produced by error_behaviour().

Declaration
void EnterError_behaviour(SMTLIBv2Parser.Error_behaviourContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Error_behaviourContext context

The parse tree.
| Improve this Doc View Source

EnterFun_symbol_decl(SMTLIBv2Parser.Fun_symbol_declContext)

Enter a parse tree produced by fun_symbol_decl().

Declaration
void EnterFun_symbol_decl(SMTLIBv2Parser.Fun_symbol_declContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Fun_symbol_declContext context

The parse tree.
| Improve this Doc View Source

EnterFunction_dec(SMTLIBv2Parser.Function_decContext)

Enter a parse tree produced by function_dec().

Declaration
void EnterFunction_dec(SMTLIBv2Parser.Function_decContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Function_decContext context

The parse tree.
| Improve this Doc View Source

EnterFunction_def(SMTLIBv2Parser.Function_defContext)

Enter a parse tree produced by function_def().

Declaration
void EnterFunction_def(SMTLIBv2Parser.Function_defContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Function_defContext context

The parse tree.
| Improve this Doc View Source

EnterGeneral_response(SMTLIBv2Parser.General_responseContext)

Enter a parse tree produced by general_response().

Declaration
void EnterGeneral_response(SMTLIBv2Parser.General_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.General_responseContext context

The parse tree.
| Improve this Doc View Source

EnterGeneralReservedWord(SMTLIBv2Parser.GeneralReservedWordContext)

Enter a parse tree produced by generalReservedWord().

Declaration
void EnterGeneralReservedWord(SMTLIBv2Parser.GeneralReservedWordContext context)
Parameters
Type Name Description
SMTLIBv2Parser.GeneralReservedWordContext context

The parse tree.
| Improve this Doc View Source

EnterGet_assertions_response(SMTLIBv2Parser.Get_assertions_responseContext)

Enter a parse tree produced by get_assertions_response().

Declaration
void EnterGet_assertions_response(SMTLIBv2Parser.Get_assertions_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Get_assertions_responseContext context

The parse tree.
| Improve this Doc View Source

EnterGet_assignment_response(SMTLIBv2Parser.Get_assignment_responseContext)

Enter a parse tree produced by get_assignment_response().

Declaration
void EnterGet_assignment_response(SMTLIBv2Parser.Get_assignment_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Get_assignment_responseContext context

The parse tree.
| Improve this Doc View Source

EnterGet_info_response(SMTLIBv2Parser.Get_info_responseContext)

Enter a parse tree produced by get_info_response().

Declaration
void EnterGet_info_response(SMTLIBv2Parser.Get_info_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Get_info_responseContext context

The parse tree.
| Improve this Doc View Source

EnterGet_model_response(SMTLIBv2Parser.Get_model_responseContext)

Enter a parse tree produced by get_model_response().

Declaration
void EnterGet_model_response(SMTLIBv2Parser.Get_model_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Get_model_responseContext context

The parse tree.
| Improve this Doc View Source

EnterGet_option_response(SMTLIBv2Parser.Get_option_responseContext)

Enter a parse tree produced by get_option_response().

Declaration
void EnterGet_option_response(SMTLIBv2Parser.Get_option_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Get_option_responseContext context

The parse tree.
| Improve this Doc View Source

EnterGet_proof_response(SMTLIBv2Parser.Get_proof_responseContext)

Enter a parse tree produced by get_proof_response().

Declaration
void EnterGet_proof_response(SMTLIBv2Parser.Get_proof_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Get_proof_responseContext context

The parse tree.
| Improve this Doc View Source

EnterGet_unsat_assump_response(SMTLIBv2Parser.Get_unsat_assump_responseContext)

Enter a parse tree produced by get_unsat_assump_response().

Declaration
void EnterGet_unsat_assump_response(SMTLIBv2Parser.Get_unsat_assump_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Get_unsat_assump_responseContext context

The parse tree.
| Improve this Doc View Source

EnterGet_unsat_core_response(SMTLIBv2Parser.Get_unsat_core_responseContext)

Enter a parse tree produced by get_unsat_core_response().

Declaration
void EnterGet_unsat_core_response(SMTLIBv2Parser.Get_unsat_core_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Get_unsat_core_responseContext context

The parse tree.
| Improve this Doc View Source

EnterGet_value_response(SMTLIBv2Parser.Get_value_responseContext)

Enter a parse tree produced by get_value_response().

Declaration
void EnterGet_value_response(SMTLIBv2Parser.Get_value_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Get_value_responseContext context

The parse tree.
| Improve this Doc View Source

EnterHexadecimal(SMTLIBv2Parser.HexadecimalContext)

Enter a parse tree produced by hexadecimal().

Declaration
void EnterHexadecimal(SMTLIBv2Parser.HexadecimalContext context)
Parameters
Type Name Description
SMTLIBv2Parser.HexadecimalContext context

The parse tree.
| Improve this Doc View Source

EnterIdentifier(SMTLIBv2Parser.IdentifierContext)

Enter a parse tree produced by identifier().

Declaration
void EnterIdentifier(SMTLIBv2Parser.IdentifierContext context)
Parameters
Type Name Description
SMTLIBv2Parser.IdentifierContext context

The parse tree.
| Improve this Doc View Source

EnterIndex(SMTLIBv2Parser.IndexContext)

Enter a parse tree produced by index().

Declaration
void EnterIndex(SMTLIBv2Parser.IndexContext context)
Parameters
Type Name Description
SMTLIBv2Parser.IndexContext context

The parse tree.
| Improve this Doc View Source

EnterInfo_flag(SMTLIBv2Parser.Info_flagContext)

Enter a parse tree produced by info_flag().

Declaration
void EnterInfo_flag(SMTLIBv2Parser.Info_flagContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Info_flagContext context

The parse tree.
| Improve this Doc View Source

EnterInfo_response(SMTLIBv2Parser.Info_responseContext)

Enter a parse tree produced by info_response().

Declaration
void EnterInfo_response(SMTLIBv2Parser.Info_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Info_responseContext context

The parse tree.
| Improve this Doc View Source

EnterKeyword(SMTLIBv2Parser.KeywordContext)

Enter a parse tree produced by keyword().

Declaration
void EnterKeyword(SMTLIBv2Parser.KeywordContext context)
Parameters
Type Name Description
SMTLIBv2Parser.KeywordContext context

The parse tree.
| Improve this Doc View Source

EnterLogic(SMTLIBv2Parser.LogicContext)

Enter a parse tree produced by logic().

Declaration
void EnterLogic(SMTLIBv2Parser.LogicContext context)
Parameters
Type Name Description
SMTLIBv2Parser.LogicContext context

The parse tree.
| Improve this Doc View Source

EnterLogic_attribue(SMTLIBv2Parser.Logic_attribueContext)

Enter a parse tree produced by logic_attribue().

Declaration
void EnterLogic_attribue(SMTLIBv2Parser.Logic_attribueContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Logic_attribueContext context

The parse tree.
| Improve this Doc View Source

EnterMatch_case(SMTLIBv2Parser.Match_caseContext)

Enter a parse tree produced by match_case().

Declaration
void EnterMatch_case(SMTLIBv2Parser.Match_caseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Match_caseContext context

The parse tree.
| Improve this Doc View Source

EnterMeta_spec_constant(SMTLIBv2Parser.Meta_spec_constantContext)

Enter a parse tree produced by meta_spec_constant().

Declaration
void EnterMeta_spec_constant(SMTLIBv2Parser.Meta_spec_constantContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Meta_spec_constantContext context

The parse tree.
| Improve this Doc View Source

EnterModel_response(SMTLIBv2Parser.Model_responseContext)

Enter a parse tree produced by model_response().

Declaration
void EnterModel_response(SMTLIBv2Parser.Model_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Model_responseContext context

The parse tree.
| Improve this Doc View Source

EnterNumeral(SMTLIBv2Parser.NumeralContext)

Enter a parse tree produced by numeral().

Declaration
void EnterNumeral(SMTLIBv2Parser.NumeralContext context)
Parameters
Type Name Description
SMTLIBv2Parser.NumeralContext context

The parse tree.
| Improve this Doc View Source

EnterOption(SMTLIBv2Parser.OptionContext)

Enter a parse tree produced by option().

Declaration
void EnterOption(SMTLIBv2Parser.OptionContext context)
Parameters
Type Name Description
SMTLIBv2Parser.OptionContext context

The parse tree.
| Improve this Doc View Source

EnterPar_fun_symbol_decl(SMTLIBv2Parser.Par_fun_symbol_declContext)

Enter a parse tree produced by par_fun_symbol_decl().

Declaration
void EnterPar_fun_symbol_decl(SMTLIBv2Parser.Par_fun_symbol_declContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Par_fun_symbol_declContext context

The parse tree.
| Improve this Doc View Source

EnterPattern(SMTLIBv2Parser.PatternContext)

Enter a parse tree produced by pattern().

Declaration
void EnterPattern(SMTLIBv2Parser.PatternContext context)
Parameters
Type Name Description
SMTLIBv2Parser.PatternContext context

The parse tree.
| Improve this Doc View Source

EnterPredefKeyword(SMTLIBv2Parser.PredefKeywordContext)

Enter a parse tree produced by predefKeyword().

Declaration
void EnterPredefKeyword(SMTLIBv2Parser.PredefKeywordContext context)
Parameters
Type Name Description
SMTLIBv2Parser.PredefKeywordContext context

The parse tree.
| Improve this Doc View Source

EnterPredefSymbol(SMTLIBv2Parser.PredefSymbolContext)

Enter a parse tree produced by predefSymbol().

Declaration
void EnterPredefSymbol(SMTLIBv2Parser.PredefSymbolContext context)
Parameters
Type Name Description
SMTLIBv2Parser.PredefSymbolContext context

The parse tree.
| Improve this Doc View Source

EnterProp_literal(SMTLIBv2Parser.Prop_literalContext)

Enter a parse tree produced by prop_literal().

Declaration
void EnterProp_literal(SMTLIBv2Parser.Prop_literalContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Prop_literalContext context

The parse tree.
| Improve this Doc View Source

EnterQual_identifer(SMTLIBv2Parser.Qual_identiferContext)

Enter a parse tree produced by qual_identifer().

Declaration
void EnterQual_identifer(SMTLIBv2Parser.Qual_identiferContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Qual_identiferContext context

The parse tree.
| Improve this Doc View Source

EnterQuotedSymbol(SMTLIBv2Parser.QuotedSymbolContext)

Enter a parse tree produced by quotedSymbol().

Declaration
void EnterQuotedSymbol(SMTLIBv2Parser.QuotedSymbolContext context)
Parameters
Type Name Description
SMTLIBv2Parser.QuotedSymbolContext context

The parse tree.
| Improve this Doc View Source

EnterReason_unknown(SMTLIBv2Parser.Reason_unknownContext)

Enter a parse tree produced by reason_unknown().

Declaration
void EnterReason_unknown(SMTLIBv2Parser.Reason_unknownContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Reason_unknownContext context

The parse tree.
| Improve this Doc View Source

EnterS_expr(SMTLIBv2Parser.S_exprContext)

Enter a parse tree produced by s_expr().

Declaration
void EnterS_expr(SMTLIBv2Parser.S_exprContext context)
Parameters
Type Name Description
SMTLIBv2Parser.S_exprContext context

The parse tree.
| Improve this Doc View Source

EnterScript(SMTLIBv2Parser.ScriptContext)

Enter a parse tree produced by script().

Declaration
void EnterScript(SMTLIBv2Parser.ScriptContext context)
Parameters
Type Name Description
SMTLIBv2Parser.ScriptContext context

The parse tree.
| Improve this Doc View Source

EnterSelector_dec(SMTLIBv2Parser.Selector_decContext)

Enter a parse tree produced by selector_dec().

Declaration
void EnterSelector_dec(SMTLIBv2Parser.Selector_decContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Selector_decContext context

The parse tree.
| Improve this Doc View Source

EnterSimpleSymbol(SMTLIBv2Parser.SimpleSymbolContext)

Enter a parse tree produced by simpleSymbol().

Declaration
void EnterSimpleSymbol(SMTLIBv2Parser.SimpleSymbolContext context)
Parameters
Type Name Description
SMTLIBv2Parser.SimpleSymbolContext context

The parse tree.
| Improve this Doc View Source

EnterSort(SMTLIBv2Parser.SortContext)

Enter a parse tree produced by sort().

Declaration
void EnterSort(SMTLIBv2Parser.SortContext context)
Parameters
Type Name Description
SMTLIBv2Parser.SortContext context

The parse tree.
| Improve this Doc View Source

EnterSort_dec(SMTLIBv2Parser.Sort_decContext)

Enter a parse tree produced by sort_dec().

Declaration
void EnterSort_dec(SMTLIBv2Parser.Sort_decContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Sort_decContext context

The parse tree.
| Improve this Doc View Source

EnterSort_symbol_decl(SMTLIBv2Parser.Sort_symbol_declContext)

Enter a parse tree produced by sort_symbol_decl().

Declaration
void EnterSort_symbol_decl(SMTLIBv2Parser.Sort_symbol_declContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Sort_symbol_declContext context

The parse tree.
| Improve this Doc View Source

EnterSorted_var(SMTLIBv2Parser.Sorted_varContext)

Enter a parse tree produced by sorted_var().

Declaration
void EnterSorted_var(SMTLIBv2Parser.Sorted_varContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Sorted_varContext context

The parse tree.
| Improve this Doc View Source

EnterSpec_constant(SMTLIBv2Parser.Spec_constantContext)

Enter a parse tree produced by spec_constant().

Declaration
void EnterSpec_constant(SMTLIBv2Parser.Spec_constantContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Spec_constantContext context

The parse tree.
| Improve this Doc View Source

EnterSpecific_success_response(SMTLIBv2Parser.Specific_success_responseContext)

Enter a parse tree produced by specific_success_response().

Declaration
void EnterSpecific_success_response(SMTLIBv2Parser.Specific_success_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Specific_success_responseContext context

The parse tree.
| Improve this Doc View Source

EnterStart(SMTLIBv2Parser.StartContext)

Enter a parse tree produced by start().

Declaration
void EnterStart(SMTLIBv2Parser.StartContext context)
Parameters
Type Name Description
SMTLIBv2Parser.StartContext context

The parse tree.
| Improve this Doc View Source

EnterString(SMTLIBv2Parser.StringContext)

Enter a parse tree produced by .

Declaration
void EnterString(SMTLIBv2Parser.StringContext context)
Parameters
Type Name Description
SMTLIBv2Parser.StringContext context

The parse tree.
| Improve this Doc View Source

EnterSymbol(SMTLIBv2Parser.SymbolContext)

Enter a parse tree produced by symbol().

Declaration
void EnterSymbol(SMTLIBv2Parser.SymbolContext context)
Parameters
Type Name Description
SMTLIBv2Parser.SymbolContext context

The parse tree.
| Improve this Doc View Source

EnterT_valuation_pair(SMTLIBv2Parser.T_valuation_pairContext)

Enter a parse tree produced by t_valuation_pair().

Declaration
void EnterT_valuation_pair(SMTLIBv2Parser.T_valuation_pairContext context)
Parameters
Type Name Description
SMTLIBv2Parser.T_valuation_pairContext context

The parse tree.
| Improve this Doc View Source

EnterTerm(SMTLIBv2Parser.TermContext)

Enter a parse tree produced by term().

Declaration
void EnterTerm(SMTLIBv2Parser.TermContext context)
Parameters
Type Name Description
SMTLIBv2Parser.TermContext context

The parse tree.
| Improve this Doc View Source

EnterTheory_attribute(SMTLIBv2Parser.Theory_attributeContext)

Enter a parse tree produced by theory_attribute().

Declaration
void EnterTheory_attribute(SMTLIBv2Parser.Theory_attributeContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Theory_attributeContext context

The parse tree.
| Improve this Doc View Source

EnterTheory_decl(SMTLIBv2Parser.Theory_declContext)

Enter a parse tree produced by theory_decl().

Declaration
void EnterTheory_decl(SMTLIBv2Parser.Theory_declContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Theory_declContext context

The parse tree.
| Improve this Doc View Source

EnterValuation_pair(SMTLIBv2Parser.Valuation_pairContext)

Enter a parse tree produced by valuation_pair().

Declaration
void EnterValuation_pair(SMTLIBv2Parser.Valuation_pairContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Valuation_pairContext context

The parse tree.
| Improve this Doc View Source

EnterVar_binding(SMTLIBv2Parser.Var_bindingContext)

Enter a parse tree produced by var_binding().

Declaration
void EnterVar_binding(SMTLIBv2Parser.Var_bindingContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Var_bindingContext context

The parse tree.
| Improve this Doc View Source

ExitAttribute(SMTLIBv2Parser.AttributeContext)

Exit a parse tree produced by attribute().

Declaration
void ExitAttribute(SMTLIBv2Parser.AttributeContext context)
Parameters
Type Name Description
SMTLIBv2Parser.AttributeContext context

The parse tree.
| Improve this Doc View Source

ExitAttribute_value(SMTLIBv2Parser.Attribute_valueContext)

Exit a parse tree produced by attribute_value().

Declaration
void ExitAttribute_value(SMTLIBv2Parser.Attribute_valueContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Attribute_valueContext context

The parse tree.
| Improve this Doc View Source

ExitB_value(SMTLIBv2Parser.B_valueContext)

Exit a parse tree produced by b_value().

Declaration
void ExitB_value(SMTLIBv2Parser.B_valueContext context)
Parameters
Type Name Description
SMTLIBv2Parser.B_valueContext context

The parse tree.
| Improve this Doc View Source

ExitBinary(SMTLIBv2Parser.BinaryContext)

Exit a parse tree produced by binary().

Declaration
void ExitBinary(SMTLIBv2Parser.BinaryContext context)
Parameters
Type Name Description
SMTLIBv2Parser.BinaryContext context

The parse tree.
| Improve this Doc View Source

ExitCheck_sat_response(SMTLIBv2Parser.Check_sat_responseContext)

Exit a parse tree produced by check_sat_response().

Declaration
void ExitCheck_sat_response(SMTLIBv2Parser.Check_sat_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Check_sat_responseContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_assert(SMTLIBv2Parser.Cmd_assertContext)

Exit a parse tree produced by cmd_assert().

Declaration
void ExitCmd_assert(SMTLIBv2Parser.Cmd_assertContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_assertContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_checkSat(SMTLIBv2Parser.Cmd_checkSatContext)

Exit a parse tree produced by cmd_checkSat().

Declaration
void ExitCmd_checkSat(SMTLIBv2Parser.Cmd_checkSatContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_checkSatContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_checkSatAssuming(SMTLIBv2Parser.Cmd_checkSatAssumingContext)

Exit a parse tree produced by cmd_checkSatAssuming().

Declaration
void ExitCmd_checkSatAssuming(SMTLIBv2Parser.Cmd_checkSatAssumingContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_checkSatAssumingContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_declareConst(SMTLIBv2Parser.Cmd_declareConstContext)

Exit a parse tree produced by cmd_declareConst().

Declaration
void ExitCmd_declareConst(SMTLIBv2Parser.Cmd_declareConstContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_declareConstContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_declareDatatype(SMTLIBv2Parser.Cmd_declareDatatypeContext)

Exit a parse tree produced by cmd_declareDatatype().

Declaration
void ExitCmd_declareDatatype(SMTLIBv2Parser.Cmd_declareDatatypeContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_declareDatatypeContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_declareDatatypes(SMTLIBv2Parser.Cmd_declareDatatypesContext)

Exit a parse tree produced by cmd_declareDatatypes().

Declaration
void ExitCmd_declareDatatypes(SMTLIBv2Parser.Cmd_declareDatatypesContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_declareDatatypesContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_declareFun(SMTLIBv2Parser.Cmd_declareFunContext)

Exit a parse tree produced by cmd_declareFun().

Declaration
void ExitCmd_declareFun(SMTLIBv2Parser.Cmd_declareFunContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_declareFunContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_declareSort(SMTLIBv2Parser.Cmd_declareSortContext)

Exit a parse tree produced by cmd_declareSort().

Declaration
void ExitCmd_declareSort(SMTLIBv2Parser.Cmd_declareSortContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_declareSortContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_defineFun(SMTLIBv2Parser.Cmd_defineFunContext)

Exit a parse tree produced by cmd_defineFun().

Declaration
void ExitCmd_defineFun(SMTLIBv2Parser.Cmd_defineFunContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_defineFunContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_defineFunRec(SMTLIBv2Parser.Cmd_defineFunRecContext)

Exit a parse tree produced by cmd_defineFunRec().

Declaration
void ExitCmd_defineFunRec(SMTLIBv2Parser.Cmd_defineFunRecContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_defineFunRecContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_defineFunsRec(SMTLIBv2Parser.Cmd_defineFunsRecContext)

Exit a parse tree produced by cmd_defineFunsRec().

Declaration
void ExitCmd_defineFunsRec(SMTLIBv2Parser.Cmd_defineFunsRecContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_defineFunsRecContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_defineSort(SMTLIBv2Parser.Cmd_defineSortContext)

Exit a parse tree produced by cmd_defineSort().

Declaration
void ExitCmd_defineSort(SMTLIBv2Parser.Cmd_defineSortContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_defineSortContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_echo(SMTLIBv2Parser.Cmd_echoContext)

Exit a parse tree produced by cmd_echo().

Declaration
void ExitCmd_echo(SMTLIBv2Parser.Cmd_echoContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_echoContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_exit(SMTLIBv2Parser.Cmd_exitContext)

Exit a parse tree produced by cmd_exit().

Declaration
void ExitCmd_exit(SMTLIBv2Parser.Cmd_exitContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_exitContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_getAssertions(SMTLIBv2Parser.Cmd_getAssertionsContext)

Exit a parse tree produced by cmd_getAssertions().

Declaration
void ExitCmd_getAssertions(SMTLIBv2Parser.Cmd_getAssertionsContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_getAssertionsContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_getAssignment(SMTLIBv2Parser.Cmd_getAssignmentContext)

Exit a parse tree produced by cmd_getAssignment().

Declaration
void ExitCmd_getAssignment(SMTLIBv2Parser.Cmd_getAssignmentContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_getAssignmentContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_getInfo(SMTLIBv2Parser.Cmd_getInfoContext)

Exit a parse tree produced by cmd_getInfo().

Declaration
void ExitCmd_getInfo(SMTLIBv2Parser.Cmd_getInfoContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_getInfoContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_getModel(SMTLIBv2Parser.Cmd_getModelContext)

Exit a parse tree produced by cmd_getModel().

Declaration
void ExitCmd_getModel(SMTLIBv2Parser.Cmd_getModelContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_getModelContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_getOption(SMTLIBv2Parser.Cmd_getOptionContext)

Exit a parse tree produced by cmd_getOption().

Declaration
void ExitCmd_getOption(SMTLIBv2Parser.Cmd_getOptionContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_getOptionContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_getProof(SMTLIBv2Parser.Cmd_getProofContext)

Exit a parse tree produced by cmd_getProof().

Declaration
void ExitCmd_getProof(SMTLIBv2Parser.Cmd_getProofContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_getProofContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_getUnsatAssumptions(SMTLIBv2Parser.Cmd_getUnsatAssumptionsContext)

Exit a parse tree produced by cmd_getUnsatAssumptions().

Declaration
void ExitCmd_getUnsatAssumptions(SMTLIBv2Parser.Cmd_getUnsatAssumptionsContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_getUnsatAssumptionsContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_getUnsatCore(SMTLIBv2Parser.Cmd_getUnsatCoreContext)

Exit a parse tree produced by cmd_getUnsatCore().

Declaration
void ExitCmd_getUnsatCore(SMTLIBv2Parser.Cmd_getUnsatCoreContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_getUnsatCoreContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_getValue(SMTLIBv2Parser.Cmd_getValueContext)

Exit a parse tree produced by cmd_getValue().

Declaration
void ExitCmd_getValue(SMTLIBv2Parser.Cmd_getValueContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_getValueContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_pop(SMTLIBv2Parser.Cmd_popContext)

Exit a parse tree produced by cmd_pop().

Declaration
void ExitCmd_pop(SMTLIBv2Parser.Cmd_popContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_popContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_push(SMTLIBv2Parser.Cmd_pushContext)

Exit a parse tree produced by cmd_push().

Declaration
void ExitCmd_push(SMTLIBv2Parser.Cmd_pushContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_pushContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_reset(SMTLIBv2Parser.Cmd_resetContext)

Exit a parse tree produced by cmd_reset().

Declaration
void ExitCmd_reset(SMTLIBv2Parser.Cmd_resetContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_resetContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_resetAssertions(SMTLIBv2Parser.Cmd_resetAssertionsContext)

Exit a parse tree produced by cmd_resetAssertions().

Declaration
void ExitCmd_resetAssertions(SMTLIBv2Parser.Cmd_resetAssertionsContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_resetAssertionsContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_setInfo(SMTLIBv2Parser.Cmd_setInfoContext)

Exit a parse tree produced by cmd_setInfo().

Declaration
void ExitCmd_setInfo(SMTLIBv2Parser.Cmd_setInfoContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_setInfoContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_setLogic(SMTLIBv2Parser.Cmd_setLogicContext)

Exit a parse tree produced by cmd_setLogic().

Declaration
void ExitCmd_setLogic(SMTLIBv2Parser.Cmd_setLogicContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_setLogicContext context

The parse tree.
| Improve this Doc View Source

ExitCmd_setOption(SMTLIBv2Parser.Cmd_setOptionContext)

Exit a parse tree produced by cmd_setOption().

Declaration
void ExitCmd_setOption(SMTLIBv2Parser.Cmd_setOptionContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Cmd_setOptionContext context

The parse tree.
| Improve this Doc View Source

ExitCommand(SMTLIBv2Parser.CommandContext)

Exit a parse tree produced by command().

Declaration
void ExitCommand(SMTLIBv2Parser.CommandContext context)
Parameters
Type Name Description
SMTLIBv2Parser.CommandContext context

The parse tree.
| Improve this Doc View Source

ExitConstructor_dec(SMTLIBv2Parser.Constructor_decContext)

Exit a parse tree produced by constructor_dec().

Declaration
void ExitConstructor_dec(SMTLIBv2Parser.Constructor_decContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Constructor_decContext context

The parse tree.
| Improve this Doc View Source

ExitDatatype_dec(SMTLIBv2Parser.Datatype_decContext)

Exit a parse tree produced by datatype_dec().

Declaration
void ExitDatatype_dec(SMTLIBv2Parser.Datatype_decContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Datatype_decContext context

The parse tree.
| Improve this Doc View Source

ExitDecimal(SMTLIBv2Parser.DecimalContext)

Exit a parse tree produced by .

Declaration
void ExitDecimal(SMTLIBv2Parser.DecimalContext context)
Parameters
Type Name Description
SMTLIBv2Parser.DecimalContext context

The parse tree.
| Improve this Doc View Source

ExitEcho_response(SMTLIBv2Parser.Echo_responseContext)

Exit a parse tree produced by echo_response().

Declaration
void ExitEcho_response(SMTLIBv2Parser.Echo_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Echo_responseContext context

The parse tree.
| Improve this Doc View Source

ExitError_behaviour(SMTLIBv2Parser.Error_behaviourContext)

Exit a parse tree produced by error_behaviour().

Declaration
void ExitError_behaviour(SMTLIBv2Parser.Error_behaviourContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Error_behaviourContext context

The parse tree.
| Improve this Doc View Source

ExitFun_symbol_decl(SMTLIBv2Parser.Fun_symbol_declContext)

Exit a parse tree produced by fun_symbol_decl().

Declaration
void ExitFun_symbol_decl(SMTLIBv2Parser.Fun_symbol_declContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Fun_symbol_declContext context

The parse tree.
| Improve this Doc View Source

ExitFunction_dec(SMTLIBv2Parser.Function_decContext)

Exit a parse tree produced by function_dec().

Declaration
void ExitFunction_dec(SMTLIBv2Parser.Function_decContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Function_decContext context

The parse tree.
| Improve this Doc View Source

ExitFunction_def(SMTLIBv2Parser.Function_defContext)

Exit a parse tree produced by function_def().

Declaration
void ExitFunction_def(SMTLIBv2Parser.Function_defContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Function_defContext context

The parse tree.
| Improve this Doc View Source

ExitGeneral_response(SMTLIBv2Parser.General_responseContext)

Exit a parse tree produced by general_response().

Declaration
void ExitGeneral_response(SMTLIBv2Parser.General_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.General_responseContext context

The parse tree.
| Improve this Doc View Source

ExitGeneralReservedWord(SMTLIBv2Parser.GeneralReservedWordContext)

Exit a parse tree produced by generalReservedWord().

Declaration
void ExitGeneralReservedWord(SMTLIBv2Parser.GeneralReservedWordContext context)
Parameters
Type Name Description
SMTLIBv2Parser.GeneralReservedWordContext context

The parse tree.
| Improve this Doc View Source

ExitGet_assertions_response(SMTLIBv2Parser.Get_assertions_responseContext)

Exit a parse tree produced by get_assertions_response().

Declaration
void ExitGet_assertions_response(SMTLIBv2Parser.Get_assertions_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Get_assertions_responseContext context

The parse tree.
| Improve this Doc View Source

ExitGet_assignment_response(SMTLIBv2Parser.Get_assignment_responseContext)

Exit a parse tree produced by get_assignment_response().

Declaration
void ExitGet_assignment_response(SMTLIBv2Parser.Get_assignment_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Get_assignment_responseContext context

The parse tree.
| Improve this Doc View Source

ExitGet_info_response(SMTLIBv2Parser.Get_info_responseContext)

Exit a parse tree produced by get_info_response().

Declaration
void ExitGet_info_response(SMTLIBv2Parser.Get_info_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Get_info_responseContext context

The parse tree.
| Improve this Doc View Source

ExitGet_model_response(SMTLIBv2Parser.Get_model_responseContext)

Exit a parse tree produced by get_model_response().

Declaration
void ExitGet_model_response(SMTLIBv2Parser.Get_model_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Get_model_responseContext context

The parse tree.
| Improve this Doc View Source

ExitGet_option_response(SMTLIBv2Parser.Get_option_responseContext)

Exit a parse tree produced by get_option_response().

Declaration
void ExitGet_option_response(SMTLIBv2Parser.Get_option_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Get_option_responseContext context

The parse tree.
| Improve this Doc View Source

ExitGet_proof_response(SMTLIBv2Parser.Get_proof_responseContext)

Exit a parse tree produced by get_proof_response().

Declaration
void ExitGet_proof_response(SMTLIBv2Parser.Get_proof_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Get_proof_responseContext context

The parse tree.
| Improve this Doc View Source

ExitGet_unsat_assump_response(SMTLIBv2Parser.Get_unsat_assump_responseContext)

Exit a parse tree produced by get_unsat_assump_response().

Declaration
void ExitGet_unsat_assump_response(SMTLIBv2Parser.Get_unsat_assump_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Get_unsat_assump_responseContext context

The parse tree.
| Improve this Doc View Source

ExitGet_unsat_core_response(SMTLIBv2Parser.Get_unsat_core_responseContext)

Exit a parse tree produced by get_unsat_core_response().

Declaration
void ExitGet_unsat_core_response(SMTLIBv2Parser.Get_unsat_core_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Get_unsat_core_responseContext context

The parse tree.
| Improve this Doc View Source

ExitGet_value_response(SMTLIBv2Parser.Get_value_responseContext)

Exit a parse tree produced by get_value_response().

Declaration
void ExitGet_value_response(SMTLIBv2Parser.Get_value_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Get_value_responseContext context

The parse tree.
| Improve this Doc View Source

ExitHexadecimal(SMTLIBv2Parser.HexadecimalContext)

Exit a parse tree produced by hexadecimal().

Declaration
void ExitHexadecimal(SMTLIBv2Parser.HexadecimalContext context)
Parameters
Type Name Description
SMTLIBv2Parser.HexadecimalContext context

The parse tree.
| Improve this Doc View Source

ExitIdentifier(SMTLIBv2Parser.IdentifierContext)

Exit a parse tree produced by identifier().

Declaration
void ExitIdentifier(SMTLIBv2Parser.IdentifierContext context)
Parameters
Type Name Description
SMTLIBv2Parser.IdentifierContext context

The parse tree.
| Improve this Doc View Source

ExitIndex(SMTLIBv2Parser.IndexContext)

Exit a parse tree produced by index().

Declaration
void ExitIndex(SMTLIBv2Parser.IndexContext context)
Parameters
Type Name Description
SMTLIBv2Parser.IndexContext context

The parse tree.
| Improve this Doc View Source

ExitInfo_flag(SMTLIBv2Parser.Info_flagContext)

Exit a parse tree produced by info_flag().

Declaration
void ExitInfo_flag(SMTLIBv2Parser.Info_flagContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Info_flagContext context

The parse tree.
| Improve this Doc View Source

ExitInfo_response(SMTLIBv2Parser.Info_responseContext)

Exit a parse tree produced by info_response().

Declaration
void ExitInfo_response(SMTLIBv2Parser.Info_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Info_responseContext context

The parse tree.
| Improve this Doc View Source

ExitKeyword(SMTLIBv2Parser.KeywordContext)

Exit a parse tree produced by keyword().

Declaration
void ExitKeyword(SMTLIBv2Parser.KeywordContext context)
Parameters
Type Name Description
SMTLIBv2Parser.KeywordContext context

The parse tree.
| Improve this Doc View Source

ExitLogic(SMTLIBv2Parser.LogicContext)

Exit a parse tree produced by logic().

Declaration
void ExitLogic(SMTLIBv2Parser.LogicContext context)
Parameters
Type Name Description
SMTLIBv2Parser.LogicContext context

The parse tree.
| Improve this Doc View Source

ExitLogic_attribue(SMTLIBv2Parser.Logic_attribueContext)

Exit a parse tree produced by logic_attribue().

Declaration
void ExitLogic_attribue(SMTLIBv2Parser.Logic_attribueContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Logic_attribueContext context

The parse tree.
| Improve this Doc View Source

ExitMatch_case(SMTLIBv2Parser.Match_caseContext)

Exit a parse tree produced by match_case().

Declaration
void ExitMatch_case(SMTLIBv2Parser.Match_caseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Match_caseContext context

The parse tree.
| Improve this Doc View Source

ExitMeta_spec_constant(SMTLIBv2Parser.Meta_spec_constantContext)

Exit a parse tree produced by meta_spec_constant().

Declaration
void ExitMeta_spec_constant(SMTLIBv2Parser.Meta_spec_constantContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Meta_spec_constantContext context

The parse tree.
| Improve this Doc View Source

ExitModel_response(SMTLIBv2Parser.Model_responseContext)

Exit a parse tree produced by model_response().

Declaration
void ExitModel_response(SMTLIBv2Parser.Model_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Model_responseContext context

The parse tree.
| Improve this Doc View Source

ExitNumeral(SMTLIBv2Parser.NumeralContext)

Exit a parse tree produced by numeral().

Declaration
void ExitNumeral(SMTLIBv2Parser.NumeralContext context)
Parameters
Type Name Description
SMTLIBv2Parser.NumeralContext context

The parse tree.
| Improve this Doc View Source

ExitOption(SMTLIBv2Parser.OptionContext)

Exit a parse tree produced by option().

Declaration
void ExitOption(SMTLIBv2Parser.OptionContext context)
Parameters
Type Name Description
SMTLIBv2Parser.OptionContext context

The parse tree.
| Improve this Doc View Source

ExitPar_fun_symbol_decl(SMTLIBv2Parser.Par_fun_symbol_declContext)

Exit a parse tree produced by par_fun_symbol_decl().

Declaration
void ExitPar_fun_symbol_decl(SMTLIBv2Parser.Par_fun_symbol_declContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Par_fun_symbol_declContext context

The parse tree.
| Improve this Doc View Source

ExitPattern(SMTLIBv2Parser.PatternContext)

Exit a parse tree produced by pattern().

Declaration
void ExitPattern(SMTLIBv2Parser.PatternContext context)
Parameters
Type Name Description
SMTLIBv2Parser.PatternContext context

The parse tree.
| Improve this Doc View Source

ExitPredefKeyword(SMTLIBv2Parser.PredefKeywordContext)

Exit a parse tree produced by predefKeyword().

Declaration
void ExitPredefKeyword(SMTLIBv2Parser.PredefKeywordContext context)
Parameters
Type Name Description
SMTLIBv2Parser.PredefKeywordContext context

The parse tree.
| Improve this Doc View Source

ExitPredefSymbol(SMTLIBv2Parser.PredefSymbolContext)

Exit a parse tree produced by predefSymbol().

Declaration
void ExitPredefSymbol(SMTLIBv2Parser.PredefSymbolContext context)
Parameters
Type Name Description
SMTLIBv2Parser.PredefSymbolContext context

The parse tree.
| Improve this Doc View Source

ExitProp_literal(SMTLIBv2Parser.Prop_literalContext)

Exit a parse tree produced by prop_literal().

Declaration
void ExitProp_literal(SMTLIBv2Parser.Prop_literalContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Prop_literalContext context

The parse tree.
| Improve this Doc View Source

ExitQual_identifer(SMTLIBv2Parser.Qual_identiferContext)

Exit a parse tree produced by qual_identifer().

Declaration
void ExitQual_identifer(SMTLIBv2Parser.Qual_identiferContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Qual_identiferContext context

The parse tree.
| Improve this Doc View Source

ExitQuotedSymbol(SMTLIBv2Parser.QuotedSymbolContext)

Exit a parse tree produced by quotedSymbol().

Declaration
void ExitQuotedSymbol(SMTLIBv2Parser.QuotedSymbolContext context)
Parameters
Type Name Description
SMTLIBv2Parser.QuotedSymbolContext context

The parse tree.
| Improve this Doc View Source

ExitReason_unknown(SMTLIBv2Parser.Reason_unknownContext)

Exit a parse tree produced by reason_unknown().

Declaration
void ExitReason_unknown(SMTLIBv2Parser.Reason_unknownContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Reason_unknownContext context

The parse tree.
| Improve this Doc View Source

ExitS_expr(SMTLIBv2Parser.S_exprContext)

Exit a parse tree produced by s_expr().

Declaration
void ExitS_expr(SMTLIBv2Parser.S_exprContext context)
Parameters
Type Name Description
SMTLIBv2Parser.S_exprContext context

The parse tree.
| Improve this Doc View Source

ExitScript(SMTLIBv2Parser.ScriptContext)

Exit a parse tree produced by script().

Declaration
void ExitScript(SMTLIBv2Parser.ScriptContext context)
Parameters
Type Name Description
SMTLIBv2Parser.ScriptContext context

The parse tree.
| Improve this Doc View Source

ExitSelector_dec(SMTLIBv2Parser.Selector_decContext)

Exit a parse tree produced by selector_dec().

Declaration
void ExitSelector_dec(SMTLIBv2Parser.Selector_decContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Selector_decContext context

The parse tree.
| Improve this Doc View Source

ExitSimpleSymbol(SMTLIBv2Parser.SimpleSymbolContext)

Exit a parse tree produced by simpleSymbol().

Declaration
void ExitSimpleSymbol(SMTLIBv2Parser.SimpleSymbolContext context)
Parameters
Type Name Description
SMTLIBv2Parser.SimpleSymbolContext context

The parse tree.
| Improve this Doc View Source

ExitSort(SMTLIBv2Parser.SortContext)

Exit a parse tree produced by sort().

Declaration
void ExitSort(SMTLIBv2Parser.SortContext context)
Parameters
Type Name Description
SMTLIBv2Parser.SortContext context

The parse tree.
| Improve this Doc View Source

ExitSort_dec(SMTLIBv2Parser.Sort_decContext)

Exit a parse tree produced by sort_dec().

Declaration
void ExitSort_dec(SMTLIBv2Parser.Sort_decContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Sort_decContext context

The parse tree.
| Improve this Doc View Source

ExitSort_symbol_decl(SMTLIBv2Parser.Sort_symbol_declContext)

Exit a parse tree produced by sort_symbol_decl().

Declaration
void ExitSort_symbol_decl(SMTLIBv2Parser.Sort_symbol_declContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Sort_symbol_declContext context

The parse tree.
| Improve this Doc View Source

ExitSorted_var(SMTLIBv2Parser.Sorted_varContext)

Exit a parse tree produced by sorted_var().

Declaration
void ExitSorted_var(SMTLIBv2Parser.Sorted_varContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Sorted_varContext context

The parse tree.
| Improve this Doc View Source

ExitSpec_constant(SMTLIBv2Parser.Spec_constantContext)

Exit a parse tree produced by spec_constant().

Declaration
void ExitSpec_constant(SMTLIBv2Parser.Spec_constantContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Spec_constantContext context

The parse tree.
| Improve this Doc View Source

ExitSpecific_success_response(SMTLIBv2Parser.Specific_success_responseContext)

Exit a parse tree produced by specific_success_response().

Declaration
void ExitSpecific_success_response(SMTLIBv2Parser.Specific_success_responseContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Specific_success_responseContext context

The parse tree.
| Improve this Doc View Source

ExitStart(SMTLIBv2Parser.StartContext)

Exit a parse tree produced by start().

Declaration
void ExitStart(SMTLIBv2Parser.StartContext context)
Parameters
Type Name Description
SMTLIBv2Parser.StartContext context

The parse tree.
| Improve this Doc View Source

ExitString(SMTLIBv2Parser.StringContext)

Exit a parse tree produced by .

Declaration
void ExitString(SMTLIBv2Parser.StringContext context)
Parameters
Type Name Description
SMTLIBv2Parser.StringContext context

The parse tree.
| Improve this Doc View Source

ExitSymbol(SMTLIBv2Parser.SymbolContext)

Exit a parse tree produced by symbol().

Declaration
void ExitSymbol(SMTLIBv2Parser.SymbolContext context)
Parameters
Type Name Description
SMTLIBv2Parser.SymbolContext context

The parse tree.
| Improve this Doc View Source

ExitT_valuation_pair(SMTLIBv2Parser.T_valuation_pairContext)

Exit a parse tree produced by t_valuation_pair().

Declaration
void ExitT_valuation_pair(SMTLIBv2Parser.T_valuation_pairContext context)
Parameters
Type Name Description
SMTLIBv2Parser.T_valuation_pairContext context

The parse tree.
| Improve this Doc View Source

ExitTerm(SMTLIBv2Parser.TermContext)

Exit a parse tree produced by term().

Declaration
void ExitTerm(SMTLIBv2Parser.TermContext context)
Parameters
Type Name Description
SMTLIBv2Parser.TermContext context

The parse tree.
| Improve this Doc View Source

ExitTheory_attribute(SMTLIBv2Parser.Theory_attributeContext)

Exit a parse tree produced by theory_attribute().

Declaration
void ExitTheory_attribute(SMTLIBv2Parser.Theory_attributeContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Theory_attributeContext context

The parse tree.
| Improve this Doc View Source

ExitTheory_decl(SMTLIBv2Parser.Theory_declContext)

Exit a parse tree produced by theory_decl().

Declaration
void ExitTheory_decl(SMTLIBv2Parser.Theory_declContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Theory_declContext context

The parse tree.
| Improve this Doc View Source

ExitValuation_pair(SMTLIBv2Parser.Valuation_pairContext)

Exit a parse tree produced by valuation_pair().

Declaration
void ExitValuation_pair(SMTLIBv2Parser.Valuation_pairContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Valuation_pairContext context

The parse tree.
| Improve this Doc View Source

ExitVar_binding(SMTLIBv2Parser.Var_bindingContext)

Exit a parse tree produced by var_binding().

Declaration
void ExitVar_binding(SMTLIBv2Parser.Var_bindingContext context)
Parameters
Type Name Description
SMTLIBv2Parser.Var_bindingContext context

The parse tree.