import { ParseTreeVisitor } from "antlr4ts/tree/ParseTreeVisitor";
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 generic visitor for a parse tree produced
 * by `CertusParser`.
 *
 * @param <Result> The return type of the visit operation. Use `void` for
 * operations with no return type.
 */
export interface CertusVisitor<Result> extends ParseTreeVisitor<Result> {
    /**
     * Visit a parse tree produced by `CertusParser.start`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitStart?: (ctx: StartContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.localBind`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitLocalBind?: (ctx: LocalBindContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.globalBind`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitGlobalBind?: (ctx: GlobalBindContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.assignment`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitAssignment?: (ctx: AssignmentContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.definition`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitDefinition?: (ctx: DefinitionContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.opDef`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitOpDef?: (ctx: OpDefContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.opTypedParam`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitOpTypedParam?: (ctx: OpTypedParamContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.nodeType`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitNodeType?: (ctx: NodeTypeContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.booleanExpr`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitBooleanExpr?: (ctx: BooleanExprContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.indicator`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitIndicator?: (ctx: IndicatorContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.indicatorCategory`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitIndicatorCategory?: (ctx: IndicatorCategoryContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.indicatorExpr`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitIndicatorExpr?: (ctx: IndicatorExprContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.artifact`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitArtifact?: (ctx: ArtifactContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.artifactExpr`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitArtifactExpr?: (ctx: ArtifactExprContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.casesExpr`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitCasesExpr?: (ctx: CasesExprContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.case`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitCase?: (ctx: CaseContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.macroExpr`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitMacroExpr?: (ctx: MacroExprContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.fuzzyExpr`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitFuzzyExpr?: (ctx: FuzzyExprContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.invokedOp`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitInvokedOp?: (ctx: InvokedOpContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.fuzzySym`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitFuzzySym?: (ctx: FuzzySymContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.builtInOp`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitBuiltInOp?: (ctx: BuiltInOpContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.minOp`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitMinOp?: (ctx: MinOpContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.maxOp`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitMaxOp?: (ctx: MaxOpContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.invertOp`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitInvertOp?: (ctx: InvertOpContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.compOp`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitCompOp?: (ctx: CompOpContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.defineSet`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitDefineSet?: (ctx: DefineSetContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.setTrap`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitSetTrap?: (ctx: SetTrapContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.setTri`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitSetTri?: (ctx: SetTriContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.setUp`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitSetUp?: (ctx: SetUpContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.setDown`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitSetDown?: (ctx: SetDownContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.setConst`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitSetConst?: (ctx: SetConstContext) => Result;
    /**
     * Visit a parse tree produced by `CertusParser.setCrisp`.
     * @param ctx the parse tree
     * @return the visitor result
     */
    visitSetCrisp?: (ctx: SetCrispContext) => Result;
}
//# sourceMappingURL=CertusVisitor.d.ts.map