import { ParseTreeListener } from "antlr4ts/tree/ParseTreeListener";
import { StartContext } from "./CertusParser";
import { LocalBindContext } from "./CertusParser";
import { GlobalBindContext } from "./CertusParser";
import { AssignmentContext } from "./CertusParser";
import { DefinitionContext } from "./CertusParser";
import { OpDefContext } from "./CertusParser";
import { OpTypedParamContext } from "./CertusParser";
import { NodeTypeContext } from "./CertusParser";
import { BooleanExprContext } from "./CertusParser";
import { IndicatorContext } from "./CertusParser";
import { IndicatorCategoryContext } from "./CertusParser";
import { IndicatorExprContext } from "./CertusParser";
import { ArtifactContext } from "./CertusParser";
import { ArtifactExprContext } from "./CertusParser";
import { CasesExprContext } from "./CertusParser";
import { CaseContext } from "./CertusParser";
import { MacroExprContext } from "./CertusParser";
import { FuzzyExprContext } from "./CertusParser";
import { InvokedOpContext } from "./CertusParser";
import { FuzzySymContext } from "./CertusParser";
import { BuiltInOpContext } from "./CertusParser";
import { MinOpContext } from "./CertusParser";
import { MaxOpContext } from "./CertusParser";
import { InvertOpContext } from "./CertusParser";
import { CompOpContext } from "./CertusParser";
import { DefineSetContext } from "./CertusParser";
import { SetTrapContext } from "./CertusParser";
import { SetTriContext } from "./CertusParser";
import { SetUpContext } from "./CertusParser";
import { SetDownContext } from "./CertusParser";
import { SetConstContext } from "./CertusParser";
import { SetCrispContext } from "./CertusParser";
/**
 * This interface defines a complete listener for a parse tree produced by
 * `CertusParser`.
 */
export interface CertusListener extends ParseTreeListener {
    /**
     * Enter a parse tree produced by `CertusParser.start`.
     * @param ctx the parse tree
     */
    enterStart?: (ctx: StartContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.start`.
     * @param ctx the parse tree
     */
    exitStart?: (ctx: StartContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.localBind`.
     * @param ctx the parse tree
     */
    enterLocalBind?: (ctx: LocalBindContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.localBind`.
     * @param ctx the parse tree
     */
    exitLocalBind?: (ctx: LocalBindContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.globalBind`.
     * @param ctx the parse tree
     */
    enterGlobalBind?: (ctx: GlobalBindContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.globalBind`.
     * @param ctx the parse tree
     */
    exitGlobalBind?: (ctx: GlobalBindContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.assignment`.
     * @param ctx the parse tree
     */
    enterAssignment?: (ctx: AssignmentContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.assignment`.
     * @param ctx the parse tree
     */
    exitAssignment?: (ctx: AssignmentContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.definition`.
     * @param ctx the parse tree
     */
    enterDefinition?: (ctx: DefinitionContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.definition`.
     * @param ctx the parse tree
     */
    exitDefinition?: (ctx: DefinitionContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.opDef`.
     * @param ctx the parse tree
     */
    enterOpDef?: (ctx: OpDefContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.opDef`.
     * @param ctx the parse tree
     */
    exitOpDef?: (ctx: OpDefContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.opTypedParam`.
     * @param ctx the parse tree
     */
    enterOpTypedParam?: (ctx: OpTypedParamContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.opTypedParam`.
     * @param ctx the parse tree
     */
    exitOpTypedParam?: (ctx: OpTypedParamContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.nodeType`.
     * @param ctx the parse tree
     */
    enterNodeType?: (ctx: NodeTypeContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.nodeType`.
     * @param ctx the parse tree
     */
    exitNodeType?: (ctx: NodeTypeContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.booleanExpr`.
     * @param ctx the parse tree
     */
    enterBooleanExpr?: (ctx: BooleanExprContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.booleanExpr`.
     * @param ctx the parse tree
     */
    exitBooleanExpr?: (ctx: BooleanExprContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.indicator`.
     * @param ctx the parse tree
     */
    enterIndicator?: (ctx: IndicatorContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.indicator`.
     * @param ctx the parse tree
     */
    exitIndicator?: (ctx: IndicatorContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.indicatorCategory`.
     * @param ctx the parse tree
     */
    enterIndicatorCategory?: (ctx: IndicatorCategoryContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.indicatorCategory`.
     * @param ctx the parse tree
     */
    exitIndicatorCategory?: (ctx: IndicatorCategoryContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.indicatorExpr`.
     * @param ctx the parse tree
     */
    enterIndicatorExpr?: (ctx: IndicatorExprContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.indicatorExpr`.
     * @param ctx the parse tree
     */
    exitIndicatorExpr?: (ctx: IndicatorExprContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.artifact`.
     * @param ctx the parse tree
     */
    enterArtifact?: (ctx: ArtifactContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.artifact`.
     * @param ctx the parse tree
     */
    exitArtifact?: (ctx: ArtifactContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.artifactExpr`.
     * @param ctx the parse tree
     */
    enterArtifactExpr?: (ctx: ArtifactExprContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.artifactExpr`.
     * @param ctx the parse tree
     */
    exitArtifactExpr?: (ctx: ArtifactExprContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.casesExpr`.
     * @param ctx the parse tree
     */
    enterCasesExpr?: (ctx: CasesExprContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.casesExpr`.
     * @param ctx the parse tree
     */
    exitCasesExpr?: (ctx: CasesExprContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.case`.
     * @param ctx the parse tree
     */
    enterCase?: (ctx: CaseContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.case`.
     * @param ctx the parse tree
     */
    exitCase?: (ctx: CaseContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.macroExpr`.
     * @param ctx the parse tree
     */
    enterMacroExpr?: (ctx: MacroExprContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.macroExpr`.
     * @param ctx the parse tree
     */
    exitMacroExpr?: (ctx: MacroExprContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.fuzzyExpr`.
     * @param ctx the parse tree
     */
    enterFuzzyExpr?: (ctx: FuzzyExprContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.fuzzyExpr`.
     * @param ctx the parse tree
     */
    exitFuzzyExpr?: (ctx: FuzzyExprContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.invokedOp`.
     * @param ctx the parse tree
     */
    enterInvokedOp?: (ctx: InvokedOpContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.invokedOp`.
     * @param ctx the parse tree
     */
    exitInvokedOp?: (ctx: InvokedOpContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.fuzzySym`.
     * @param ctx the parse tree
     */
    enterFuzzySym?: (ctx: FuzzySymContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.fuzzySym`.
     * @param ctx the parse tree
     */
    exitFuzzySym?: (ctx: FuzzySymContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.builtInOp`.
     * @param ctx the parse tree
     */
    enterBuiltInOp?: (ctx: BuiltInOpContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.builtInOp`.
     * @param ctx the parse tree
     */
    exitBuiltInOp?: (ctx: BuiltInOpContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.minOp`.
     * @param ctx the parse tree
     */
    enterMinOp?: (ctx: MinOpContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.minOp`.
     * @param ctx the parse tree
     */
    exitMinOp?: (ctx: MinOpContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.maxOp`.
     * @param ctx the parse tree
     */
    enterMaxOp?: (ctx: MaxOpContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.maxOp`.
     * @param ctx the parse tree
     */
    exitMaxOp?: (ctx: MaxOpContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.invertOp`.
     * @param ctx the parse tree
     */
    enterInvertOp?: (ctx: InvertOpContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.invertOp`.
     * @param ctx the parse tree
     */
    exitInvertOp?: (ctx: InvertOpContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.compOp`.
     * @param ctx the parse tree
     */
    enterCompOp?: (ctx: CompOpContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.compOp`.
     * @param ctx the parse tree
     */
    exitCompOp?: (ctx: CompOpContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.defineSet`.
     * @param ctx the parse tree
     */
    enterDefineSet?: (ctx: DefineSetContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.defineSet`.
     * @param ctx the parse tree
     */
    exitDefineSet?: (ctx: DefineSetContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.setTrap`.
     * @param ctx the parse tree
     */
    enterSetTrap?: (ctx: SetTrapContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.setTrap`.
     * @param ctx the parse tree
     */
    exitSetTrap?: (ctx: SetTrapContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.setTri`.
     * @param ctx the parse tree
     */
    enterSetTri?: (ctx: SetTriContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.setTri`.
     * @param ctx the parse tree
     */
    exitSetTri?: (ctx: SetTriContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.setUp`.
     * @param ctx the parse tree
     */
    enterSetUp?: (ctx: SetUpContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.setUp`.
     * @param ctx the parse tree
     */
    exitSetUp?: (ctx: SetUpContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.setDown`.
     * @param ctx the parse tree
     */
    enterSetDown?: (ctx: SetDownContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.setDown`.
     * @param ctx the parse tree
     */
    exitSetDown?: (ctx: SetDownContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.setConst`.
     * @param ctx the parse tree
     */
    enterSetConst?: (ctx: SetConstContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.setConst`.
     * @param ctx the parse tree
     */
    exitSetConst?: (ctx: SetConstContext) => void;
    /**
     * Enter a parse tree produced by `CertusParser.setCrisp`.
     * @param ctx the parse tree
     */
    enterSetCrisp?: (ctx: SetCrispContext) => void;
    /**
     * Exit a parse tree produced by `CertusParser.setCrisp`.
     * @param ctx the parse tree
     */
    exitSetCrisp?: (ctx: SetCrispContext) => void;
}
//# sourceMappingURL=CertusListener.d.ts.map