Class SMTLIBv2BaseListener

This class provides an empty implementation of ISMTLIBv2Listener, which can be extended to create a listener which only needs to handle a subset of the available methods.

Inheritance

System.Object

SMTLIBv2BaseListener

Implements

ISMTLIBv2Listener

Antlr4.Runtime.Tree.IParseTreeListener

Namespace: GCore.Antlr.Grammers.Smtlibv2

Assembly: Smtlibv2.dll

Syntax

public class SMTLIBv2BaseListener : object, ISMTLIBv2Listener, Antlr4.Runtime.Tree.IParseTreeListener

Methods

EnterAttribute(SMTLIBv2Parser.AttributeContext)

Enter a parse tree produced by attribute().

The default implementation does nothing.

Declaration

public virtual void EnterAttribute(SMTLIBv2Parser.AttributeContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.AttributeContext	context	The parse tree.

EnterAttribute_value(SMTLIBv2Parser.Attribute_valueContext)

Enter a parse tree produced by attribute_value().

The default implementation does nothing.

Declaration

public virtual void EnterAttribute_value(SMTLIBv2Parser.Attribute_valueContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Attribute_valueContext	context	The parse tree.

EnterB_value(SMTLIBv2Parser.B_valueContext)

Enter a parse tree produced by b_value().

The default implementation does nothing.

Declaration

public virtual void EnterB_value(SMTLIBv2Parser.B_valueContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.B_valueContext	context	The parse tree.

EnterBinary(SMTLIBv2Parser.BinaryContext)

Enter a parse tree produced by binary().

The default implementation does nothing.

Declaration

public virtual void EnterBinary(SMTLIBv2Parser.BinaryContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.BinaryContext	context	The parse tree.

EnterCheck_sat_response(SMTLIBv2Parser.Check_sat_responseContext)

Enter a parse tree produced by check_sat_response().

The default implementation does nothing.

Declaration

public virtual void EnterCheck_sat_response(SMTLIBv2Parser.Check_sat_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Check_sat_responseContext	context	The parse tree.

EnterCmd_assert(SMTLIBv2Parser.Cmd_assertContext)

Enter a parse tree produced by cmd_assert().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_assert(SMTLIBv2Parser.Cmd_assertContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_assertContext	context	The parse tree.

EnterCmd_checkSat(SMTLIBv2Parser.Cmd_checkSatContext)

Enter a parse tree produced by cmd_checkSat().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_checkSat(SMTLIBv2Parser.Cmd_checkSatContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_checkSatContext	context	The parse tree.

EnterCmd_checkSatAssuming(SMTLIBv2Parser.Cmd_checkSatAssumingContext)

Enter a parse tree produced by cmd_checkSatAssuming().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_checkSatAssuming(SMTLIBv2Parser.Cmd_checkSatAssumingContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_checkSatAssumingContext	context	The parse tree.

EnterCmd_declareConst(SMTLIBv2Parser.Cmd_declareConstContext)

Enter a parse tree produced by cmd_declareConst().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_declareConst(SMTLIBv2Parser.Cmd_declareConstContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_declareConstContext	context	The parse tree.

EnterCmd_declareDatatype(SMTLIBv2Parser.Cmd_declareDatatypeContext)

Enter a parse tree produced by cmd_declareDatatype().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_declareDatatype(SMTLIBv2Parser.Cmd_declareDatatypeContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_declareDatatypeContext	context	The parse tree.

EnterCmd_declareDatatypes(SMTLIBv2Parser.Cmd_declareDatatypesContext)

Enter a parse tree produced by cmd_declareDatatypes().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_declareDatatypes(SMTLIBv2Parser.Cmd_declareDatatypesContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_declareDatatypesContext	context	The parse tree.

EnterCmd_declareFun(SMTLIBv2Parser.Cmd_declareFunContext)

Enter a parse tree produced by cmd_declareFun().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_declareFun(SMTLIBv2Parser.Cmd_declareFunContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_declareFunContext	context	The parse tree.

EnterCmd_declareSort(SMTLIBv2Parser.Cmd_declareSortContext)

Enter a parse tree produced by cmd_declareSort().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_declareSort(SMTLIBv2Parser.Cmd_declareSortContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_declareSortContext	context	The parse tree.

EnterCmd_defineFun(SMTLIBv2Parser.Cmd_defineFunContext)

Enter a parse tree produced by cmd_defineFun().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_defineFun(SMTLIBv2Parser.Cmd_defineFunContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_defineFunContext	context	The parse tree.

EnterCmd_defineFunRec(SMTLIBv2Parser.Cmd_defineFunRecContext)

Enter a parse tree produced by cmd_defineFunRec().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_defineFunRec(SMTLIBv2Parser.Cmd_defineFunRecContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_defineFunRecContext	context	The parse tree.

EnterCmd_defineFunsRec(SMTLIBv2Parser.Cmd_defineFunsRecContext)

Enter a parse tree produced by cmd_defineFunsRec().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_defineFunsRec(SMTLIBv2Parser.Cmd_defineFunsRecContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_defineFunsRecContext	context	The parse tree.

EnterCmd_defineSort(SMTLIBv2Parser.Cmd_defineSortContext)

Enter a parse tree produced by cmd_defineSort().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_defineSort(SMTLIBv2Parser.Cmd_defineSortContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_defineSortContext	context	The parse tree.

EnterCmd_echo(SMTLIBv2Parser.Cmd_echoContext)

Enter a parse tree produced by cmd_echo().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_echo(SMTLIBv2Parser.Cmd_echoContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_echoContext	context	The parse tree.

EnterCmd_exit(SMTLIBv2Parser.Cmd_exitContext)

Enter a parse tree produced by cmd_exit().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_exit(SMTLIBv2Parser.Cmd_exitContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_exitContext	context	The parse tree.

EnterCmd_getAssertions(SMTLIBv2Parser.Cmd_getAssertionsContext)

Enter a parse tree produced by cmd_getAssertions().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_getAssertions(SMTLIBv2Parser.Cmd_getAssertionsContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_getAssertionsContext	context	The parse tree.

EnterCmd_getAssignment(SMTLIBv2Parser.Cmd_getAssignmentContext)

Enter a parse tree produced by cmd_getAssignment().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_getAssignment(SMTLIBv2Parser.Cmd_getAssignmentContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_getAssignmentContext	context	The parse tree.

EnterCmd_getInfo(SMTLIBv2Parser.Cmd_getInfoContext)

Enter a parse tree produced by cmd_getInfo().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_getInfo(SMTLIBv2Parser.Cmd_getInfoContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_getInfoContext	context	The parse tree.

EnterCmd_getModel(SMTLIBv2Parser.Cmd_getModelContext)

Enter a parse tree produced by cmd_getModel().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_getModel(SMTLIBv2Parser.Cmd_getModelContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_getModelContext	context	The parse tree.

EnterCmd_getOption(SMTLIBv2Parser.Cmd_getOptionContext)

Enter a parse tree produced by cmd_getOption().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_getOption(SMTLIBv2Parser.Cmd_getOptionContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_getOptionContext	context	The parse tree.

EnterCmd_getProof(SMTLIBv2Parser.Cmd_getProofContext)

Enter a parse tree produced by cmd_getProof().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_getProof(SMTLIBv2Parser.Cmd_getProofContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_getProofContext	context	The parse tree.

EnterCmd_getUnsatAssumptions(SMTLIBv2Parser.Cmd_getUnsatAssumptionsContext)

Enter a parse tree produced by cmd_getUnsatAssumptions().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_getUnsatAssumptions(SMTLIBv2Parser.Cmd_getUnsatAssumptionsContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_getUnsatAssumptionsContext	context	The parse tree.

EnterCmd_getUnsatCore(SMTLIBv2Parser.Cmd_getUnsatCoreContext)

Enter a parse tree produced by cmd_getUnsatCore().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_getUnsatCore(SMTLIBv2Parser.Cmd_getUnsatCoreContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_getUnsatCoreContext	context	The parse tree.

EnterCmd_getValue(SMTLIBv2Parser.Cmd_getValueContext)

Enter a parse tree produced by cmd_getValue().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_getValue(SMTLIBv2Parser.Cmd_getValueContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_getValueContext	context	The parse tree.

EnterCmd_pop(SMTLIBv2Parser.Cmd_popContext)

Enter a parse tree produced by cmd_pop().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_pop(SMTLIBv2Parser.Cmd_popContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_popContext	context	The parse tree.

EnterCmd_push(SMTLIBv2Parser.Cmd_pushContext)

Enter a parse tree produced by cmd_push().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_push(SMTLIBv2Parser.Cmd_pushContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_pushContext	context	The parse tree.

EnterCmd_reset(SMTLIBv2Parser.Cmd_resetContext)

Enter a parse tree produced by cmd_reset().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_reset(SMTLIBv2Parser.Cmd_resetContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_resetContext	context	The parse tree.

EnterCmd_resetAssertions(SMTLIBv2Parser.Cmd_resetAssertionsContext)

Enter a parse tree produced by cmd_resetAssertions().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_resetAssertions(SMTLIBv2Parser.Cmd_resetAssertionsContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_resetAssertionsContext	context	The parse tree.

EnterCmd_setInfo(SMTLIBv2Parser.Cmd_setInfoContext)

Enter a parse tree produced by cmd_setInfo().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_setInfo(SMTLIBv2Parser.Cmd_setInfoContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_setInfoContext	context	The parse tree.

EnterCmd_setLogic(SMTLIBv2Parser.Cmd_setLogicContext)

Enter a parse tree produced by cmd_setLogic().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_setLogic(SMTLIBv2Parser.Cmd_setLogicContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_setLogicContext	context	The parse tree.

EnterCmd_setOption(SMTLIBv2Parser.Cmd_setOptionContext)

Enter a parse tree produced by cmd_setOption().

The default implementation does nothing.

Declaration

public virtual void EnterCmd_setOption(SMTLIBv2Parser.Cmd_setOptionContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_setOptionContext	context	The parse tree.

EnterCommand(SMTLIBv2Parser.CommandContext)

Enter a parse tree produced by command().

The default implementation does nothing.

Declaration

public virtual void EnterCommand(SMTLIBv2Parser.CommandContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.CommandContext	context	The parse tree.

EnterConstructor_dec(SMTLIBv2Parser.Constructor_decContext)

Enter a parse tree produced by constructor_dec().

The default implementation does nothing.

Declaration

public virtual void EnterConstructor_dec(SMTLIBv2Parser.Constructor_decContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Constructor_decContext	context	The parse tree.

EnterDatatype_dec(SMTLIBv2Parser.Datatype_decContext)

Enter a parse tree produced by datatype_dec().

The default implementation does nothing.

Declaration

public virtual void EnterDatatype_dec(SMTLIBv2Parser.Datatype_decContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Datatype_decContext	context	The parse tree.

EnterDecimal(SMTLIBv2Parser.DecimalContext)

Enter a parse tree produced by .

The default implementation does nothing.

Declaration

public virtual void EnterDecimal(SMTLIBv2Parser.DecimalContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.DecimalContext	context	The parse tree.

EnterEcho_response(SMTLIBv2Parser.Echo_responseContext)

Enter a parse tree produced by echo_response().

The default implementation does nothing.

Declaration

public virtual void EnterEcho_response(SMTLIBv2Parser.Echo_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Echo_responseContext	context	The parse tree.

EnterError_behaviour(SMTLIBv2Parser.Error_behaviourContext)

Enter a parse tree produced by error_behaviour().

The default implementation does nothing.

Declaration

public virtual void EnterError_behaviour(SMTLIBv2Parser.Error_behaviourContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Error_behaviourContext	context	The parse tree.

EnterEveryRule(Antlr4.Runtime.ParserRuleContext)

Declaration

public virtual void EnterEveryRule(Antlr4.Runtime.ParserRuleContext context)

Parameters

Type	Name	Description
Antlr4.Runtime.ParserRuleContext	context

Remarks

The default implementation does nothing.

EnterFun_symbol_decl(SMTLIBv2Parser.Fun_symbol_declContext)

Enter a parse tree produced by fun_symbol_decl().

The default implementation does nothing.

Declaration

public virtual void EnterFun_symbol_decl(SMTLIBv2Parser.Fun_symbol_declContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Fun_symbol_declContext	context	The parse tree.

EnterFunction_dec(SMTLIBv2Parser.Function_decContext)

Enter a parse tree produced by function_dec().

The default implementation does nothing.

Declaration

public virtual void EnterFunction_dec(SMTLIBv2Parser.Function_decContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Function_decContext	context	The parse tree.

EnterFunction_def(SMTLIBv2Parser.Function_defContext)

Enter a parse tree produced by function_def().

The default implementation does nothing.

Declaration

public virtual void EnterFunction_def(SMTLIBv2Parser.Function_defContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Function_defContext	context	The parse tree.

EnterGeneral_response(SMTLIBv2Parser.General_responseContext)

Enter a parse tree produced by general_response().

The default implementation does nothing.

Declaration

public virtual void EnterGeneral_response(SMTLIBv2Parser.General_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.General_responseContext	context	The parse tree.

EnterGeneralReservedWord(SMTLIBv2Parser.GeneralReservedWordContext)

Enter a parse tree produced by generalReservedWord().

The default implementation does nothing.

Declaration

public virtual void EnterGeneralReservedWord(SMTLIBv2Parser.GeneralReservedWordContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.GeneralReservedWordContext	context	The parse tree.

EnterGet_assertions_response(SMTLIBv2Parser.Get_assertions_responseContext)

Enter a parse tree produced by get_assertions_response().

The default implementation does nothing.

Declaration

public virtual void EnterGet_assertions_response(SMTLIBv2Parser.Get_assertions_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Get_assertions_responseContext	context	The parse tree.

EnterGet_assignment_response(SMTLIBv2Parser.Get_assignment_responseContext)

Enter a parse tree produced by get_assignment_response().

The default implementation does nothing.

Declaration

public virtual void EnterGet_assignment_response(SMTLIBv2Parser.Get_assignment_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Get_assignment_responseContext	context	The parse tree.

EnterGet_info_response(SMTLIBv2Parser.Get_info_responseContext)

Enter a parse tree produced by get_info_response().

The default implementation does nothing.

Declaration

public virtual void EnterGet_info_response(SMTLIBv2Parser.Get_info_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Get_info_responseContext	context	The parse tree.

EnterGet_model_response(SMTLIBv2Parser.Get_model_responseContext)

Enter a parse tree produced by get_model_response().

The default implementation does nothing.

Declaration

public virtual void EnterGet_model_response(SMTLIBv2Parser.Get_model_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Get_model_responseContext	context	The parse tree.

EnterGet_option_response(SMTLIBv2Parser.Get_option_responseContext)

Enter a parse tree produced by get_option_response().

The default implementation does nothing.

Declaration

public virtual void EnterGet_option_response(SMTLIBv2Parser.Get_option_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Get_option_responseContext	context	The parse tree.

EnterGet_proof_response(SMTLIBv2Parser.Get_proof_responseContext)

Enter a parse tree produced by get_proof_response().

The default implementation does nothing.

Declaration

public virtual void EnterGet_proof_response(SMTLIBv2Parser.Get_proof_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Get_proof_responseContext	context	The parse tree.

EnterGet_unsat_assump_response(SMTLIBv2Parser.Get_unsat_assump_responseContext)

Enter a parse tree produced by get_unsat_assump_response().

The default implementation does nothing.

Declaration

public virtual void EnterGet_unsat_assump_response(SMTLIBv2Parser.Get_unsat_assump_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Get_unsat_assump_responseContext	context	The parse tree.

EnterGet_unsat_core_response(SMTLIBv2Parser.Get_unsat_core_responseContext)

Enter a parse tree produced by get_unsat_core_response().

The default implementation does nothing.

Declaration

public virtual void EnterGet_unsat_core_response(SMTLIBv2Parser.Get_unsat_core_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Get_unsat_core_responseContext	context	The parse tree.

EnterGet_value_response(SMTLIBv2Parser.Get_value_responseContext)

Enter a parse tree produced by get_value_response().

The default implementation does nothing.

Declaration

public virtual void EnterGet_value_response(SMTLIBv2Parser.Get_value_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Get_value_responseContext	context	The parse tree.

EnterHexadecimal(SMTLIBv2Parser.HexadecimalContext)

Enter a parse tree produced by hexadecimal().

The default implementation does nothing.

Declaration

public virtual void EnterHexadecimal(SMTLIBv2Parser.HexadecimalContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.HexadecimalContext	context	The parse tree.

EnterIdentifier(SMTLIBv2Parser.IdentifierContext)

Enter a parse tree produced by identifier().

The default implementation does nothing.

Declaration

public virtual void EnterIdentifier(SMTLIBv2Parser.IdentifierContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.IdentifierContext	context	The parse tree.

EnterIndex(SMTLIBv2Parser.IndexContext)

Enter a parse tree produced by index().

The default implementation does nothing.

Declaration

public virtual void EnterIndex(SMTLIBv2Parser.IndexContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.IndexContext	context	The parse tree.

EnterInfo_flag(SMTLIBv2Parser.Info_flagContext)

Enter a parse tree produced by info_flag().

The default implementation does nothing.

Declaration

public virtual void EnterInfo_flag(SMTLIBv2Parser.Info_flagContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Info_flagContext	context	The parse tree.

EnterInfo_response(SMTLIBv2Parser.Info_responseContext)

Enter a parse tree produced by info_response().

The default implementation does nothing.

Declaration

public virtual void EnterInfo_response(SMTLIBv2Parser.Info_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Info_responseContext	context	The parse tree.

EnterKeyword(SMTLIBv2Parser.KeywordContext)

Enter a parse tree produced by keyword().

The default implementation does nothing.

Declaration

public virtual void EnterKeyword(SMTLIBv2Parser.KeywordContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.KeywordContext	context	The parse tree.

EnterLogic(SMTLIBv2Parser.LogicContext)

Enter a parse tree produced by logic().

The default implementation does nothing.

Declaration

public virtual void EnterLogic(SMTLIBv2Parser.LogicContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.LogicContext	context	The parse tree.

EnterLogic_attribue(SMTLIBv2Parser.Logic_attribueContext)

Enter a parse tree produced by logic_attribue().

The default implementation does nothing.

Declaration

public virtual void EnterLogic_attribue(SMTLIBv2Parser.Logic_attribueContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Logic_attribueContext	context	The parse tree.

EnterMatch_case(SMTLIBv2Parser.Match_caseContext)

Enter a parse tree produced by match_case().

The default implementation does nothing.

Declaration

public virtual void EnterMatch_case(SMTLIBv2Parser.Match_caseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Match_caseContext	context	The parse tree.

EnterMeta_spec_constant(SMTLIBv2Parser.Meta_spec_constantContext)

Enter a parse tree produced by meta_spec_constant().

The default implementation does nothing.

Declaration

public virtual void EnterMeta_spec_constant(SMTLIBv2Parser.Meta_spec_constantContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Meta_spec_constantContext	context	The parse tree.

EnterModel_response(SMTLIBv2Parser.Model_responseContext)

Enter a parse tree produced by model_response().

The default implementation does nothing.

Declaration

public virtual void EnterModel_response(SMTLIBv2Parser.Model_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Model_responseContext	context	The parse tree.

EnterNumeral(SMTLIBv2Parser.NumeralContext)

Enter a parse tree produced by numeral().

The default implementation does nothing.

Declaration

public virtual void EnterNumeral(SMTLIBv2Parser.NumeralContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.NumeralContext	context	The parse tree.

EnterOption(SMTLIBv2Parser.OptionContext)

Enter a parse tree produced by option().

The default implementation does nothing.

Declaration

public virtual void EnterOption(SMTLIBv2Parser.OptionContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.OptionContext	context	The parse tree.

EnterPar_fun_symbol_decl(SMTLIBv2Parser.Par_fun_symbol_declContext)

Enter a parse tree produced by par_fun_symbol_decl().

The default implementation does nothing.

Declaration

public virtual void EnterPar_fun_symbol_decl(SMTLIBv2Parser.Par_fun_symbol_declContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Par_fun_symbol_declContext	context	The parse tree.

EnterPattern(SMTLIBv2Parser.PatternContext)

Enter a parse tree produced by pattern().

The default implementation does nothing.

Declaration

public virtual void EnterPattern(SMTLIBv2Parser.PatternContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.PatternContext	context	The parse tree.

EnterPredefKeyword(SMTLIBv2Parser.PredefKeywordContext)

Enter a parse tree produced by predefKeyword().

The default implementation does nothing.

Declaration

public virtual void EnterPredefKeyword(SMTLIBv2Parser.PredefKeywordContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.PredefKeywordContext	context	The parse tree.

EnterPredefSymbol(SMTLIBv2Parser.PredefSymbolContext)

Enter a parse tree produced by predefSymbol().

The default implementation does nothing.

Declaration

public virtual void EnterPredefSymbol(SMTLIBv2Parser.PredefSymbolContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.PredefSymbolContext	context	The parse tree.

EnterProp_literal(SMTLIBv2Parser.Prop_literalContext)

Enter a parse tree produced by prop_literal().

The default implementation does nothing.

Declaration

public virtual void EnterProp_literal(SMTLIBv2Parser.Prop_literalContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Prop_literalContext	context	The parse tree.

EnterQual_identifer(SMTLIBv2Parser.Qual_identiferContext)

Enter a parse tree produced by qual_identifer().

The default implementation does nothing.

Declaration

public virtual void EnterQual_identifer(SMTLIBv2Parser.Qual_identiferContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Qual_identiferContext	context	The parse tree.

EnterQuotedSymbol(SMTLIBv2Parser.QuotedSymbolContext)

Enter a parse tree produced by quotedSymbol().

The default implementation does nothing.

Declaration

public virtual void EnterQuotedSymbol(SMTLIBv2Parser.QuotedSymbolContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.QuotedSymbolContext	context	The parse tree.

EnterReason_unknown(SMTLIBv2Parser.Reason_unknownContext)

Enter a parse tree produced by reason_unknown().

The default implementation does nothing.

Declaration

public virtual void EnterReason_unknown(SMTLIBv2Parser.Reason_unknownContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Reason_unknownContext	context	The parse tree.

EnterS_expr(SMTLIBv2Parser.S_exprContext)

Enter a parse tree produced by s_expr().

The default implementation does nothing.

Declaration

public virtual void EnterS_expr(SMTLIBv2Parser.S_exprContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.S_exprContext	context	The parse tree.

EnterScript(SMTLIBv2Parser.ScriptContext)

Enter a parse tree produced by script().

The default implementation does nothing.

Declaration

public virtual void EnterScript(SMTLIBv2Parser.ScriptContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.ScriptContext	context	The parse tree.

EnterSelector_dec(SMTLIBv2Parser.Selector_decContext)

Enter a parse tree produced by selector_dec().

The default implementation does nothing.

Declaration

public virtual void EnterSelector_dec(SMTLIBv2Parser.Selector_decContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Selector_decContext	context	The parse tree.

EnterSimpleSymbol(SMTLIBv2Parser.SimpleSymbolContext)

Enter a parse tree produced by simpleSymbol().

The default implementation does nothing.

Declaration

public virtual void EnterSimpleSymbol(SMTLIBv2Parser.SimpleSymbolContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.SimpleSymbolContext	context	The parse tree.

EnterSort(SMTLIBv2Parser.SortContext)

Enter a parse tree produced by sort().

The default implementation does nothing.

Declaration

public virtual void EnterSort(SMTLIBv2Parser.SortContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.SortContext	context	The parse tree.

EnterSort_dec(SMTLIBv2Parser.Sort_decContext)

Enter a parse tree produced by sort_dec().

The default implementation does nothing.

Declaration

public virtual void EnterSort_dec(SMTLIBv2Parser.Sort_decContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Sort_decContext	context	The parse tree.

EnterSort_symbol_decl(SMTLIBv2Parser.Sort_symbol_declContext)

Enter a parse tree produced by sort_symbol_decl().

The default implementation does nothing.

Declaration

public virtual void EnterSort_symbol_decl(SMTLIBv2Parser.Sort_symbol_declContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Sort_symbol_declContext	context	The parse tree.

EnterSorted_var(SMTLIBv2Parser.Sorted_varContext)

Enter a parse tree produced by sorted_var().

The default implementation does nothing.

Declaration

public virtual void EnterSorted_var(SMTLIBv2Parser.Sorted_varContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Sorted_varContext	context	The parse tree.

EnterSpec_constant(SMTLIBv2Parser.Spec_constantContext)

Enter a parse tree produced by spec_constant().

The default implementation does nothing.

Declaration

public virtual void EnterSpec_constant(SMTLIBv2Parser.Spec_constantContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Spec_constantContext	context	The parse tree.

EnterSpecific_success_response(SMTLIBv2Parser.Specific_success_responseContext)

Enter a parse tree produced by specific_success_response().

The default implementation does nothing.

Declaration

public virtual void EnterSpecific_success_response(SMTLIBv2Parser.Specific_success_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Specific_success_responseContext	context	The parse tree.

EnterStart(SMTLIBv2Parser.StartContext)

Enter a parse tree produced by start().

The default implementation does nothing.

Declaration

public virtual void EnterStart(SMTLIBv2Parser.StartContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.StartContext	context	The parse tree.

EnterString(SMTLIBv2Parser.StringContext)

Enter a parse tree produced by .

The default implementation does nothing.

Declaration

public virtual void EnterString(SMTLIBv2Parser.StringContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.StringContext	context	The parse tree.

EnterSymbol(SMTLIBv2Parser.SymbolContext)

Enter a parse tree produced by symbol().

The default implementation does nothing.

Declaration

public virtual void EnterSymbol(SMTLIBv2Parser.SymbolContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.SymbolContext	context	The parse tree.

EnterT_valuation_pair(SMTLIBv2Parser.T_valuation_pairContext)

Enter a parse tree produced by t_valuation_pair().

The default implementation does nothing.

Declaration

public virtual void EnterT_valuation_pair(SMTLIBv2Parser.T_valuation_pairContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.T_valuation_pairContext	context	The parse tree.

EnterTerm(SMTLIBv2Parser.TermContext)

Enter a parse tree produced by term().

The default implementation does nothing.

Declaration

public virtual void EnterTerm(SMTLIBv2Parser.TermContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.TermContext	context	The parse tree.

EnterTheory_attribute(SMTLIBv2Parser.Theory_attributeContext)

Enter a parse tree produced by theory_attribute().

The default implementation does nothing.

Declaration

public virtual void EnterTheory_attribute(SMTLIBv2Parser.Theory_attributeContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Theory_attributeContext	context	The parse tree.

EnterTheory_decl(SMTLIBv2Parser.Theory_declContext)

Enter a parse tree produced by theory_decl().

The default implementation does nothing.

Declaration

public virtual void EnterTheory_decl(SMTLIBv2Parser.Theory_declContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Theory_declContext	context	The parse tree.

EnterValuation_pair(SMTLIBv2Parser.Valuation_pairContext)

Enter a parse tree produced by valuation_pair().

The default implementation does nothing.

Declaration

public virtual void EnterValuation_pair(SMTLIBv2Parser.Valuation_pairContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Valuation_pairContext	context	The parse tree.

EnterVar_binding(SMTLIBv2Parser.Var_bindingContext)

Enter a parse tree produced by var_binding().

The default implementation does nothing.

Declaration

public virtual void EnterVar_binding(SMTLIBv2Parser.Var_bindingContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Var_bindingContext	context	The parse tree.

ExitAttribute(SMTLIBv2Parser.AttributeContext)

Exit a parse tree produced by attribute().

The default implementation does nothing.

Declaration

public virtual void ExitAttribute(SMTLIBv2Parser.AttributeContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.AttributeContext	context	The parse tree.

ExitAttribute_value(SMTLIBv2Parser.Attribute_valueContext)

Exit a parse tree produced by attribute_value().

The default implementation does nothing.

Declaration

public virtual void ExitAttribute_value(SMTLIBv2Parser.Attribute_valueContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Attribute_valueContext	context	The parse tree.

ExitB_value(SMTLIBv2Parser.B_valueContext)

Exit a parse tree produced by b_value().

The default implementation does nothing.

Declaration

public virtual void ExitB_value(SMTLIBv2Parser.B_valueContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.B_valueContext	context	The parse tree.

ExitBinary(SMTLIBv2Parser.BinaryContext)

Exit a parse tree produced by binary().

The default implementation does nothing.

Declaration

public virtual void ExitBinary(SMTLIBv2Parser.BinaryContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.BinaryContext	context	The parse tree.

ExitCheck_sat_response(SMTLIBv2Parser.Check_sat_responseContext)

Exit a parse tree produced by check_sat_response().

The default implementation does nothing.

Declaration

public virtual void ExitCheck_sat_response(SMTLIBv2Parser.Check_sat_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Check_sat_responseContext	context	The parse tree.

ExitCmd_assert(SMTLIBv2Parser.Cmd_assertContext)

Exit a parse tree produced by cmd_assert().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_assert(SMTLIBv2Parser.Cmd_assertContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_assertContext	context	The parse tree.

ExitCmd_checkSat(SMTLIBv2Parser.Cmd_checkSatContext)

Exit a parse tree produced by cmd_checkSat().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_checkSat(SMTLIBv2Parser.Cmd_checkSatContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_checkSatContext	context	The parse tree.

ExitCmd_checkSatAssuming(SMTLIBv2Parser.Cmd_checkSatAssumingContext)

Exit a parse tree produced by cmd_checkSatAssuming().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_checkSatAssuming(SMTLIBv2Parser.Cmd_checkSatAssumingContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_checkSatAssumingContext	context	The parse tree.

ExitCmd_declareConst(SMTLIBv2Parser.Cmd_declareConstContext)

Exit a parse tree produced by cmd_declareConst().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_declareConst(SMTLIBv2Parser.Cmd_declareConstContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_declareConstContext	context	The parse tree.

ExitCmd_declareDatatype(SMTLIBv2Parser.Cmd_declareDatatypeContext)

Exit a parse tree produced by cmd_declareDatatype().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_declareDatatype(SMTLIBv2Parser.Cmd_declareDatatypeContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_declareDatatypeContext	context	The parse tree.

ExitCmd_declareDatatypes(SMTLIBv2Parser.Cmd_declareDatatypesContext)

Exit a parse tree produced by cmd_declareDatatypes().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_declareDatatypes(SMTLIBv2Parser.Cmd_declareDatatypesContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_declareDatatypesContext	context	The parse tree.

ExitCmd_declareFun(SMTLIBv2Parser.Cmd_declareFunContext)

Exit a parse tree produced by cmd_declareFun().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_declareFun(SMTLIBv2Parser.Cmd_declareFunContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_declareFunContext	context	The parse tree.

ExitCmd_declareSort(SMTLIBv2Parser.Cmd_declareSortContext)

Exit a parse tree produced by cmd_declareSort().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_declareSort(SMTLIBv2Parser.Cmd_declareSortContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_declareSortContext	context	The parse tree.

ExitCmd_defineFun(SMTLIBv2Parser.Cmd_defineFunContext)

Exit a parse tree produced by cmd_defineFun().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_defineFun(SMTLIBv2Parser.Cmd_defineFunContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_defineFunContext	context	The parse tree.

ExitCmd_defineFunRec(SMTLIBv2Parser.Cmd_defineFunRecContext)

Exit a parse tree produced by cmd_defineFunRec().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_defineFunRec(SMTLIBv2Parser.Cmd_defineFunRecContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_defineFunRecContext	context	The parse tree.

ExitCmd_defineFunsRec(SMTLIBv2Parser.Cmd_defineFunsRecContext)

Exit a parse tree produced by cmd_defineFunsRec().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_defineFunsRec(SMTLIBv2Parser.Cmd_defineFunsRecContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_defineFunsRecContext	context	The parse tree.

ExitCmd_defineSort(SMTLIBv2Parser.Cmd_defineSortContext)

Exit a parse tree produced by cmd_defineSort().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_defineSort(SMTLIBv2Parser.Cmd_defineSortContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_defineSortContext	context	The parse tree.

ExitCmd_echo(SMTLIBv2Parser.Cmd_echoContext)

Exit a parse tree produced by cmd_echo().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_echo(SMTLIBv2Parser.Cmd_echoContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_echoContext	context	The parse tree.

ExitCmd_exit(SMTLIBv2Parser.Cmd_exitContext)

Exit a parse tree produced by cmd_exit().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_exit(SMTLIBv2Parser.Cmd_exitContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_exitContext	context	The parse tree.

ExitCmd_getAssertions(SMTLIBv2Parser.Cmd_getAssertionsContext)

Exit a parse tree produced by cmd_getAssertions().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_getAssertions(SMTLIBv2Parser.Cmd_getAssertionsContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_getAssertionsContext	context	The parse tree.

ExitCmd_getAssignment(SMTLIBv2Parser.Cmd_getAssignmentContext)

Exit a parse tree produced by cmd_getAssignment().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_getAssignment(SMTLIBv2Parser.Cmd_getAssignmentContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_getAssignmentContext	context	The parse tree.

ExitCmd_getInfo(SMTLIBv2Parser.Cmd_getInfoContext)

Exit a parse tree produced by cmd_getInfo().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_getInfo(SMTLIBv2Parser.Cmd_getInfoContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_getInfoContext	context	The parse tree.

ExitCmd_getModel(SMTLIBv2Parser.Cmd_getModelContext)

Exit a parse tree produced by cmd_getModel().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_getModel(SMTLIBv2Parser.Cmd_getModelContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_getModelContext	context	The parse tree.

ExitCmd_getOption(SMTLIBv2Parser.Cmd_getOptionContext)

Exit a parse tree produced by cmd_getOption().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_getOption(SMTLIBv2Parser.Cmd_getOptionContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_getOptionContext	context	The parse tree.

ExitCmd_getProof(SMTLIBv2Parser.Cmd_getProofContext)

Exit a parse tree produced by cmd_getProof().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_getProof(SMTLIBv2Parser.Cmd_getProofContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_getProofContext	context	The parse tree.

ExitCmd_getUnsatAssumptions(SMTLIBv2Parser.Cmd_getUnsatAssumptionsContext)

Exit a parse tree produced by cmd_getUnsatAssumptions().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_getUnsatAssumptions(SMTLIBv2Parser.Cmd_getUnsatAssumptionsContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_getUnsatAssumptionsContext	context	The parse tree.

ExitCmd_getUnsatCore(SMTLIBv2Parser.Cmd_getUnsatCoreContext)

Exit a parse tree produced by cmd_getUnsatCore().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_getUnsatCore(SMTLIBv2Parser.Cmd_getUnsatCoreContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_getUnsatCoreContext	context	The parse tree.

ExitCmd_getValue(SMTLIBv2Parser.Cmd_getValueContext)

Exit a parse tree produced by cmd_getValue().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_getValue(SMTLIBv2Parser.Cmd_getValueContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_getValueContext	context	The parse tree.

ExitCmd_pop(SMTLIBv2Parser.Cmd_popContext)

Exit a parse tree produced by cmd_pop().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_pop(SMTLIBv2Parser.Cmd_popContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_popContext	context	The parse tree.

ExitCmd_push(SMTLIBv2Parser.Cmd_pushContext)

Exit a parse tree produced by cmd_push().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_push(SMTLIBv2Parser.Cmd_pushContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_pushContext	context	The parse tree.

ExitCmd_reset(SMTLIBv2Parser.Cmd_resetContext)

Exit a parse tree produced by cmd_reset().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_reset(SMTLIBv2Parser.Cmd_resetContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_resetContext	context	The parse tree.

ExitCmd_resetAssertions(SMTLIBv2Parser.Cmd_resetAssertionsContext)

Exit a parse tree produced by cmd_resetAssertions().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_resetAssertions(SMTLIBv2Parser.Cmd_resetAssertionsContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_resetAssertionsContext	context	The parse tree.

ExitCmd_setInfo(SMTLIBv2Parser.Cmd_setInfoContext)

Exit a parse tree produced by cmd_setInfo().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_setInfo(SMTLIBv2Parser.Cmd_setInfoContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_setInfoContext	context	The parse tree.

ExitCmd_setLogic(SMTLIBv2Parser.Cmd_setLogicContext)

Exit a parse tree produced by cmd_setLogic().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_setLogic(SMTLIBv2Parser.Cmd_setLogicContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_setLogicContext	context	The parse tree.

ExitCmd_setOption(SMTLIBv2Parser.Cmd_setOptionContext)

Exit a parse tree produced by cmd_setOption().

The default implementation does nothing.

Declaration

public virtual void ExitCmd_setOption(SMTLIBv2Parser.Cmd_setOptionContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Cmd_setOptionContext	context	The parse tree.

ExitCommand(SMTLIBv2Parser.CommandContext)

Exit a parse tree produced by command().

The default implementation does nothing.

Declaration

public virtual void ExitCommand(SMTLIBv2Parser.CommandContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.CommandContext	context	The parse tree.

ExitConstructor_dec(SMTLIBv2Parser.Constructor_decContext)

Exit a parse tree produced by constructor_dec().

The default implementation does nothing.

Declaration

public virtual void ExitConstructor_dec(SMTLIBv2Parser.Constructor_decContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Constructor_decContext	context	The parse tree.

ExitDatatype_dec(SMTLIBv2Parser.Datatype_decContext)

Exit a parse tree produced by datatype_dec().

The default implementation does nothing.

Declaration

public virtual void ExitDatatype_dec(SMTLIBv2Parser.Datatype_decContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Datatype_decContext	context	The parse tree.

ExitDecimal(SMTLIBv2Parser.DecimalContext)

Exit a parse tree produced by .

The default implementation does nothing.

Declaration

public virtual void ExitDecimal(SMTLIBv2Parser.DecimalContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.DecimalContext	context	The parse tree.

ExitEcho_response(SMTLIBv2Parser.Echo_responseContext)

Exit a parse tree produced by echo_response().

The default implementation does nothing.

Declaration

public virtual void ExitEcho_response(SMTLIBv2Parser.Echo_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Echo_responseContext	context	The parse tree.

ExitError_behaviour(SMTLIBv2Parser.Error_behaviourContext)

Exit a parse tree produced by error_behaviour().

The default implementation does nothing.

Declaration

public virtual void ExitError_behaviour(SMTLIBv2Parser.Error_behaviourContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Error_behaviourContext	context	The parse tree.

ExitEveryRule(Antlr4.Runtime.ParserRuleContext)

Declaration

public virtual void ExitEveryRule(Antlr4.Runtime.ParserRuleContext context)

Parameters

Type	Name	Description
Antlr4.Runtime.ParserRuleContext	context

Remarks

The default implementation does nothing.

ExitFun_symbol_decl(SMTLIBv2Parser.Fun_symbol_declContext)

Exit a parse tree produced by fun_symbol_decl().

The default implementation does nothing.

Declaration

public virtual void ExitFun_symbol_decl(SMTLIBv2Parser.Fun_symbol_declContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Fun_symbol_declContext	context	The parse tree.

ExitFunction_dec(SMTLIBv2Parser.Function_decContext)

Exit a parse tree produced by function_dec().

The default implementation does nothing.

Declaration

public virtual void ExitFunction_dec(SMTLIBv2Parser.Function_decContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Function_decContext	context	The parse tree.

ExitFunction_def(SMTLIBv2Parser.Function_defContext)

Exit a parse tree produced by function_def().

The default implementation does nothing.

Declaration

public virtual void ExitFunction_def(SMTLIBv2Parser.Function_defContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Function_defContext	context	The parse tree.

ExitGeneral_response(SMTLIBv2Parser.General_responseContext)

Exit a parse tree produced by general_response().

The default implementation does nothing.

Declaration

public virtual void ExitGeneral_response(SMTLIBv2Parser.General_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.General_responseContext	context	The parse tree.

ExitGeneralReservedWord(SMTLIBv2Parser.GeneralReservedWordContext)

Exit a parse tree produced by generalReservedWord().

The default implementation does nothing.

Declaration

public virtual void ExitGeneralReservedWord(SMTLIBv2Parser.GeneralReservedWordContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.GeneralReservedWordContext	context	The parse tree.

ExitGet_assertions_response(SMTLIBv2Parser.Get_assertions_responseContext)

Exit a parse tree produced by get_assertions_response().

The default implementation does nothing.

Declaration

public virtual void ExitGet_assertions_response(SMTLIBv2Parser.Get_assertions_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Get_assertions_responseContext	context	The parse tree.

ExitGet_assignment_response(SMTLIBv2Parser.Get_assignment_responseContext)

Exit a parse tree produced by get_assignment_response().

The default implementation does nothing.

Declaration

public virtual void ExitGet_assignment_response(SMTLIBv2Parser.Get_assignment_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Get_assignment_responseContext	context	The parse tree.

ExitGet_info_response(SMTLIBv2Parser.Get_info_responseContext)

Exit a parse tree produced by get_info_response().

The default implementation does nothing.

Declaration

public virtual void ExitGet_info_response(SMTLIBv2Parser.Get_info_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Get_info_responseContext	context	The parse tree.

ExitGet_model_response(SMTLIBv2Parser.Get_model_responseContext)

Exit a parse tree produced by get_model_response().

The default implementation does nothing.

Declaration

public virtual void ExitGet_model_response(SMTLIBv2Parser.Get_model_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Get_model_responseContext	context	The parse tree.

ExitGet_option_response(SMTLIBv2Parser.Get_option_responseContext)

Exit a parse tree produced by get_option_response().

The default implementation does nothing.

Declaration

public virtual void ExitGet_option_response(SMTLIBv2Parser.Get_option_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Get_option_responseContext	context	The parse tree.

ExitGet_proof_response(SMTLIBv2Parser.Get_proof_responseContext)

Exit a parse tree produced by get_proof_response().

The default implementation does nothing.

Declaration

public virtual void ExitGet_proof_response(SMTLIBv2Parser.Get_proof_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Get_proof_responseContext	context	The parse tree.

ExitGet_unsat_assump_response(SMTLIBv2Parser.Get_unsat_assump_responseContext)

Exit a parse tree produced by get_unsat_assump_response().

The default implementation does nothing.

Declaration

public virtual void ExitGet_unsat_assump_response(SMTLIBv2Parser.Get_unsat_assump_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Get_unsat_assump_responseContext	context	The parse tree.

ExitGet_unsat_core_response(SMTLIBv2Parser.Get_unsat_core_responseContext)

Exit a parse tree produced by get_unsat_core_response().

The default implementation does nothing.

Declaration

public virtual void ExitGet_unsat_core_response(SMTLIBv2Parser.Get_unsat_core_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Get_unsat_core_responseContext	context	The parse tree.

ExitGet_value_response(SMTLIBv2Parser.Get_value_responseContext)

Exit a parse tree produced by get_value_response().

The default implementation does nothing.

Declaration

public virtual void ExitGet_value_response(SMTLIBv2Parser.Get_value_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Get_value_responseContext	context	The parse tree.

ExitHexadecimal(SMTLIBv2Parser.HexadecimalContext)

Exit a parse tree produced by hexadecimal().

The default implementation does nothing.

Declaration

public virtual void ExitHexadecimal(SMTLIBv2Parser.HexadecimalContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.HexadecimalContext	context	The parse tree.

ExitIdentifier(SMTLIBv2Parser.IdentifierContext)

Exit a parse tree produced by identifier().

The default implementation does nothing.

Declaration

public virtual void ExitIdentifier(SMTLIBv2Parser.IdentifierContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.IdentifierContext	context	The parse tree.

ExitIndex(SMTLIBv2Parser.IndexContext)

Exit a parse tree produced by index().

The default implementation does nothing.

Declaration

public virtual void ExitIndex(SMTLIBv2Parser.IndexContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.IndexContext	context	The parse tree.

ExitInfo_flag(SMTLIBv2Parser.Info_flagContext)

Exit a parse tree produced by info_flag().

The default implementation does nothing.

Declaration

public virtual void ExitInfo_flag(SMTLIBv2Parser.Info_flagContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Info_flagContext	context	The parse tree.

ExitInfo_response(SMTLIBv2Parser.Info_responseContext)

Exit a parse tree produced by info_response().

The default implementation does nothing.

Declaration

public virtual void ExitInfo_response(SMTLIBv2Parser.Info_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Info_responseContext	context	The parse tree.

ExitKeyword(SMTLIBv2Parser.KeywordContext)

Exit a parse tree produced by keyword().

The default implementation does nothing.

Declaration

public virtual void ExitKeyword(SMTLIBv2Parser.KeywordContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.KeywordContext	context	The parse tree.

ExitLogic(SMTLIBv2Parser.LogicContext)

Exit a parse tree produced by logic().

The default implementation does nothing.

Declaration

public virtual void ExitLogic(SMTLIBv2Parser.LogicContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.LogicContext	context	The parse tree.

ExitLogic_attribue(SMTLIBv2Parser.Logic_attribueContext)

Exit a parse tree produced by logic_attribue().

The default implementation does nothing.

Declaration

public virtual void ExitLogic_attribue(SMTLIBv2Parser.Logic_attribueContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Logic_attribueContext	context	The parse tree.

ExitMatch_case(SMTLIBv2Parser.Match_caseContext)

Exit a parse tree produced by match_case().

The default implementation does nothing.

Declaration

public virtual void ExitMatch_case(SMTLIBv2Parser.Match_caseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Match_caseContext	context	The parse tree.

ExitMeta_spec_constant(SMTLIBv2Parser.Meta_spec_constantContext)

Exit a parse tree produced by meta_spec_constant().

The default implementation does nothing.

Declaration

public virtual void ExitMeta_spec_constant(SMTLIBv2Parser.Meta_spec_constantContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Meta_spec_constantContext	context	The parse tree.

ExitModel_response(SMTLIBv2Parser.Model_responseContext)

Exit a parse tree produced by model_response().

The default implementation does nothing.

Declaration

public virtual void ExitModel_response(SMTLIBv2Parser.Model_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Model_responseContext	context	The parse tree.

ExitNumeral(SMTLIBv2Parser.NumeralContext)

Exit a parse tree produced by numeral().

The default implementation does nothing.

Declaration

public virtual void ExitNumeral(SMTLIBv2Parser.NumeralContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.NumeralContext	context	The parse tree.

ExitOption(SMTLIBv2Parser.OptionContext)

Exit a parse tree produced by option().

The default implementation does nothing.

Declaration

public virtual void ExitOption(SMTLIBv2Parser.OptionContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.OptionContext	context	The parse tree.

ExitPar_fun_symbol_decl(SMTLIBv2Parser.Par_fun_symbol_declContext)

Exit a parse tree produced by par_fun_symbol_decl().

The default implementation does nothing.

Declaration

public virtual void ExitPar_fun_symbol_decl(SMTLIBv2Parser.Par_fun_symbol_declContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Par_fun_symbol_declContext	context	The parse tree.

ExitPattern(SMTLIBv2Parser.PatternContext)

Exit a parse tree produced by pattern().

The default implementation does nothing.

Declaration

public virtual void ExitPattern(SMTLIBv2Parser.PatternContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.PatternContext	context	The parse tree.

ExitPredefKeyword(SMTLIBv2Parser.PredefKeywordContext)

Exit a parse tree produced by predefKeyword().

The default implementation does nothing.

Declaration

public virtual void ExitPredefKeyword(SMTLIBv2Parser.PredefKeywordContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.PredefKeywordContext	context	The parse tree.

ExitPredefSymbol(SMTLIBv2Parser.PredefSymbolContext)

Exit a parse tree produced by predefSymbol().

The default implementation does nothing.

Declaration

public virtual void ExitPredefSymbol(SMTLIBv2Parser.PredefSymbolContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.PredefSymbolContext	context	The parse tree.

ExitProp_literal(SMTLIBv2Parser.Prop_literalContext)

Exit a parse tree produced by prop_literal().

The default implementation does nothing.

Declaration

public virtual void ExitProp_literal(SMTLIBv2Parser.Prop_literalContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Prop_literalContext	context	The parse tree.

ExitQual_identifer(SMTLIBv2Parser.Qual_identiferContext)

Exit a parse tree produced by qual_identifer().

The default implementation does nothing.

Declaration

public virtual void ExitQual_identifer(SMTLIBv2Parser.Qual_identiferContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Qual_identiferContext	context	The parse tree.

ExitQuotedSymbol(SMTLIBv2Parser.QuotedSymbolContext)

Exit a parse tree produced by quotedSymbol().

The default implementation does nothing.

Declaration

public virtual void ExitQuotedSymbol(SMTLIBv2Parser.QuotedSymbolContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.QuotedSymbolContext	context	The parse tree.

ExitReason_unknown(SMTLIBv2Parser.Reason_unknownContext)

Exit a parse tree produced by reason_unknown().

The default implementation does nothing.

Declaration

public virtual void ExitReason_unknown(SMTLIBv2Parser.Reason_unknownContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Reason_unknownContext	context	The parse tree.

ExitS_expr(SMTLIBv2Parser.S_exprContext)

Exit a parse tree produced by s_expr().

The default implementation does nothing.

Declaration

public virtual void ExitS_expr(SMTLIBv2Parser.S_exprContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.S_exprContext	context	The parse tree.

ExitScript(SMTLIBv2Parser.ScriptContext)

Exit a parse tree produced by script().

The default implementation does nothing.

Declaration

public virtual void ExitScript(SMTLIBv2Parser.ScriptContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.ScriptContext	context	The parse tree.

ExitSelector_dec(SMTLIBv2Parser.Selector_decContext)

Exit a parse tree produced by selector_dec().

The default implementation does nothing.

Declaration

public virtual void ExitSelector_dec(SMTLIBv2Parser.Selector_decContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Selector_decContext	context	The parse tree.

ExitSimpleSymbol(SMTLIBv2Parser.SimpleSymbolContext)

Exit a parse tree produced by simpleSymbol().

The default implementation does nothing.

Declaration

public virtual void ExitSimpleSymbol(SMTLIBv2Parser.SimpleSymbolContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.SimpleSymbolContext	context	The parse tree.

ExitSort(SMTLIBv2Parser.SortContext)

Exit a parse tree produced by sort().

The default implementation does nothing.

Declaration

public virtual void ExitSort(SMTLIBv2Parser.SortContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.SortContext	context	The parse tree.

ExitSort_dec(SMTLIBv2Parser.Sort_decContext)

Exit a parse tree produced by sort_dec().

The default implementation does nothing.

Declaration

public virtual void ExitSort_dec(SMTLIBv2Parser.Sort_decContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Sort_decContext	context	The parse tree.

ExitSort_symbol_decl(SMTLIBv2Parser.Sort_symbol_declContext)

Exit a parse tree produced by sort_symbol_decl().

The default implementation does nothing.

Declaration

public virtual void ExitSort_symbol_decl(SMTLIBv2Parser.Sort_symbol_declContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Sort_symbol_declContext	context	The parse tree.

ExitSorted_var(SMTLIBv2Parser.Sorted_varContext)

Exit a parse tree produced by sorted_var().

The default implementation does nothing.

Declaration

public virtual void ExitSorted_var(SMTLIBv2Parser.Sorted_varContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Sorted_varContext	context	The parse tree.

ExitSpec_constant(SMTLIBv2Parser.Spec_constantContext)

Exit a parse tree produced by spec_constant().

The default implementation does nothing.

Declaration

public virtual void ExitSpec_constant(SMTLIBv2Parser.Spec_constantContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Spec_constantContext	context	The parse tree.

ExitSpecific_success_response(SMTLIBv2Parser.Specific_success_responseContext)

Exit a parse tree produced by specific_success_response().

The default implementation does nothing.

Declaration

public virtual void ExitSpecific_success_response(SMTLIBv2Parser.Specific_success_responseContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Specific_success_responseContext	context	The parse tree.

ExitStart(SMTLIBv2Parser.StartContext)

Exit a parse tree produced by start().

The default implementation does nothing.

Declaration

public virtual void ExitStart(SMTLIBv2Parser.StartContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.StartContext	context	The parse tree.

ExitString(SMTLIBv2Parser.StringContext)

Exit a parse tree produced by .

The default implementation does nothing.

Declaration

public virtual void ExitString(SMTLIBv2Parser.StringContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.StringContext	context	The parse tree.

ExitSymbol(SMTLIBv2Parser.SymbolContext)

Exit a parse tree produced by symbol().

The default implementation does nothing.

Declaration

public virtual void ExitSymbol(SMTLIBv2Parser.SymbolContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.SymbolContext	context	The parse tree.

ExitT_valuation_pair(SMTLIBv2Parser.T_valuation_pairContext)

Exit a parse tree produced by t_valuation_pair().

The default implementation does nothing.

Declaration

public virtual void ExitT_valuation_pair(SMTLIBv2Parser.T_valuation_pairContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.T_valuation_pairContext	context	The parse tree.

ExitTerm(SMTLIBv2Parser.TermContext)

Exit a parse tree produced by term().

The default implementation does nothing.

Declaration

public virtual void ExitTerm(SMTLIBv2Parser.TermContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.TermContext	context	The parse tree.

ExitTheory_attribute(SMTLIBv2Parser.Theory_attributeContext)

Exit a parse tree produced by theory_attribute().

The default implementation does nothing.

Declaration

public virtual void ExitTheory_attribute(SMTLIBv2Parser.Theory_attributeContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Theory_attributeContext	context	The parse tree.

ExitTheory_decl(SMTLIBv2Parser.Theory_declContext)

Exit a parse tree produced by theory_decl().

The default implementation does nothing.

Declaration

public virtual void ExitTheory_decl(SMTLIBv2Parser.Theory_declContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Theory_declContext	context	The parse tree.

ExitValuation_pair(SMTLIBv2Parser.Valuation_pairContext)

Exit a parse tree produced by valuation_pair().

The default implementation does nothing.

Declaration

public virtual void ExitValuation_pair(SMTLIBv2Parser.Valuation_pairContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Valuation_pairContext	context	The parse tree.

ExitVar_binding(SMTLIBv2Parser.Var_bindingContext)

Exit a parse tree produced by var_binding().

The default implementation does nothing.

Declaration

public virtual void ExitVar_binding(SMTLIBv2Parser.Var_bindingContext context)

Parameters

Type	Name	Description
SMTLIBv2Parser.Var_bindingContext	context	The parse tree.

VisitErrorNode(Antlr4.Runtime.Tree.IErrorNode)

Declaration

public virtual void VisitErrorNode(Antlr4.Runtime.Tree.IErrorNode node)

Parameters

Type	Name	Description
Antlr4.Runtime.Tree.IErrorNode	node

Remarks

The default implementation does nothing.

VisitTerminal(Antlr4.Runtime.Tree.ITerminalNode)

Declaration

public virtual void VisitTerminal(Antlr4.Runtime.Tree.ITerminalNode node)

Parameters

Type	Name	Description
Antlr4.Runtime.Tree.ITerminalNode	node

Remarks

The default implementation does nothing.

Implements

ISMTLIBv2Listener

Antlr4.Runtime.Tree.IParseTreeListener