import { ATN } from "antlr4ts/atn/ATN";
import { FailedPredicateException } from "antlr4ts/FailedPredicateException";
import { Parser } from "antlr4ts/Parser";
import { ParserRuleContext } from "antlr4ts/ParserRuleContext";
import { RuleContext } from "antlr4ts/RuleContext";
import { TerminalNode } from "antlr4ts/tree/TerminalNode";
import { TokenStream } from "antlr4ts/TokenStream";
import { Vocabulary } from "antlr4ts/Vocabulary";
import { CertusListener } from "./CertusListener";
import { CertusVisitor } from "./CertusVisitor";
export declare class CertusParser extends Parser {
    static readonly T__0 = 1;
    static readonly T__1 = 2;
    static readonly T__2 = 3;
    static readonly T__3 = 4;
    static readonly T__4 = 5;
    static readonly T__5 = 6;
    static readonly T__6 = 7;
    static readonly T__7 = 8;
    static readonly T__8 = 9;
    static readonly T__9 = 10;
    static readonly T__10 = 11;
    static readonly T__11 = 12;
    static readonly T__12 = 13;
    static readonly T__13 = 14;
    static readonly ARROW = 15;
    static readonly ASSIGN = 16;
    static readonly HAS = 17;
    static readonly CONTAIN = 18;
    static readonly OVERLAP = 19;
    static readonly EXACTLY = 20;
    static readonly UNION = 21;
    static readonly INTERSECT = 22;
    static readonly WITH = 23;
    static readonly GLOBAL = 24;
    static readonly END = 25;
    static readonly AS = 26;
    static readonly NOT = 27;
    static readonly INVERT = 28;
    static readonly COMP = 29;
    static readonly AND = 30;
    static readonly OR = 31;
    static readonly NEQ = 32;
    static readonly EQ = 33;
    static readonly GT = 34;
    static readonly LT = 35;
    static readonly GEQ = 36;
    static readonly LEQ = 37;
    static readonly MACRO_PREFIX = 38;
    static readonly INDICATOR_PREFIX = 39;
    static readonly ARTIFACT_PREFIX = 40;
    static readonly CASES = 41;
    static readonly OTHERWISE = 42;
    static readonly FLOAT = 43;
    static readonly ARG_SEP = 44;
    static readonly STMT_SEP = 45;
    static readonly ID = 46;
    static readonly WS = 47;
    static readonly RULE_start = 0;
    static readonly RULE_localBind = 1;
    static readonly RULE_globalBind = 2;
    static readonly RULE_assignment = 3;
    static readonly RULE_definition = 4;
    static readonly RULE_opDef = 5;
    static readonly RULE_opTypedParam = 6;
    static readonly RULE_nodeType = 7;
    static readonly RULE_booleanExpr = 8;
    static readonly RULE_indicator = 9;
    static readonly RULE_indicatorCategory = 10;
    static readonly RULE_indicatorExpr = 11;
    static readonly RULE_artifact = 12;
    static readonly RULE_artifactExpr = 13;
    static readonly RULE_casesExpr = 14;
    static readonly RULE_case = 15;
    static readonly RULE_macroExpr = 16;
    static readonly RULE_fuzzyExpr = 17;
    static readonly RULE_invokedOp = 18;
    static readonly RULE_fuzzySym = 19;
    static readonly RULE_builtInOp = 20;
    static readonly RULE_minOp = 21;
    static readonly RULE_maxOp = 22;
    static readonly RULE_invertOp = 23;
    static readonly RULE_compOp = 24;
    static readonly RULE_defineSet = 25;
    static readonly RULE_setTrap = 26;
    static readonly RULE_setTri = 27;
    static readonly RULE_setUp = 28;
    static readonly RULE_setDown = 29;
    static readonly RULE_setConst = 30;
    static readonly RULE_setCrisp = 31;
    static readonly ruleNames: string[];
    private static readonly _LITERAL_NAMES;
    private static readonly _SYMBOLIC_NAMES;
    static readonly VOCABULARY: Vocabulary;
    get vocabulary(): Vocabulary;
    get grammarFileName(): string;
    get ruleNames(): string[];
    get serializedATN(): string;
    protected createFailedPredicateException(predicate?: string, message?: string): FailedPredicateException;
    constructor(input: TokenStream);
    start(): StartContext;
    localBind(): LocalBindContext;
    globalBind(): GlobalBindContext;
    assignment(): AssignmentContext;
    definition(): DefinitionContext;
    opDef(): OpDefContext;
    opTypedParam(): OpTypedParamContext;
    nodeType(): NodeTypeContext;
    booleanExpr(): BooleanExprContext;
    booleanExpr(_p: number): BooleanExprContext;
    indicator(): IndicatorContext;
    indicatorCategory(): IndicatorCategoryContext;
    indicatorExpr(): IndicatorExprContext;
    artifact(): ArtifactContext;
    artifactExpr(): ArtifactExprContext;
    casesExpr(): CasesExprContext;
    case(): CaseContext;
    macroExpr(): MacroExprContext;
    fuzzyExpr(): FuzzyExprContext;
    fuzzyExpr(_p: number): FuzzyExprContext;
    invokedOp(): InvokedOpContext;
    fuzzySym(): FuzzySymContext;
    builtInOp(): BuiltInOpContext;
    minOp(): MinOpContext;
    maxOp(): MaxOpContext;
    invertOp(): InvertOpContext;
    compOp(): CompOpContext;
    defineSet(): DefineSetContext;
    setTrap(): SetTrapContext;
    setTri(): SetTriContext;
    setUp(): SetUpContext;
    setDown(): SetDownContext;
    setConst(): SetConstContext;
    setCrisp(): SetCrispContext;
    sempred(_localctx: RuleContext, ruleIndex: number, predIndex: number): boolean;
    private booleanExpr_sempred;
    private fuzzyExpr_sempred;
    static readonly _serializedATN: string;
    static __ATN: ATN;
    static get _ATN(): ATN;
}
export declare class StartContext extends ParserRuleContext {
    globalBind(): GlobalBindContext | undefined;
    EOF(): TerminalNode;
    localBind(): LocalBindContext | undefined;
    assignment(): AssignmentContext | undefined;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class LocalBindContext extends ParserRuleContext {
    WITH(): TerminalNode;
    definition(): DefinitionContext[];
    definition(i: number): DefinitionContext;
    END(): TerminalNode;
    STMT_SEP(): TerminalNode[];
    STMT_SEP(i: number): TerminalNode;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class GlobalBindContext extends ParserRuleContext {
    GLOBAL(): TerminalNode;
    definition(): DefinitionContext[];
    definition(i: number): DefinitionContext;
    END(): TerminalNode;
    STMT_SEP(): TerminalNode[];
    STMT_SEP(i: number): TerminalNode;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class AssignmentContext extends ParserRuleContext {
    ID(): TerminalNode;
    ASSIGN(): TerminalNode;
    fuzzyExpr(): FuzzyExprContext | undefined;
    macroExpr(): MacroExprContext | undefined;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class DefinitionContext extends ParserRuleContext {
    ID(): TerminalNode | undefined;
    AS(): TerminalNode;
    fuzzyExpr(): FuzzyExprContext;
    opDef(): OpDefContext | undefined;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class OpDefContext extends ParserRuleContext {
    ID(): TerminalNode;
    opTypedParam(): OpTypedParamContext[];
    opTypedParam(i: number): OpTypedParamContext;
    ARG_SEP(): TerminalNode[];
    ARG_SEP(i: number): TerminalNode;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class OpTypedParamContext extends ParserRuleContext {
    ID(): TerminalNode;
    nodeType(): NodeTypeContext;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class NodeTypeContext extends ParserRuleContext {
    ID(): TerminalNode;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class BooleanExprContext extends ParserRuleContext {
    booleanExpr(): BooleanExprContext[];
    booleanExpr(i: number): BooleanExprContext;
    indicatorExpr(): IndicatorExprContext | undefined;
    artifactExpr(): ArtifactExprContext | undefined;
    NOT(): TerminalNode | undefined;
    AND(): TerminalNode | undefined;
    OR(): TerminalNode | undefined;
    fuzzyExpr(): FuzzyExprContext[];
    fuzzyExpr(i: number): FuzzyExprContext;
    LT(): TerminalNode | undefined;
    LEQ(): TerminalNode | undefined;
    GT(): TerminalNode | undefined;
    GEQ(): TerminalNode | undefined;
    EQ(): TerminalNode | undefined;
    NEQ(): TerminalNode | undefined;
    EXACTLY(): TerminalNode | undefined;
    ASSIGN(): TerminalNode | undefined;
    CONTAIN(): TerminalNode | undefined;
    OVERLAP(): TerminalNode | undefined;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class IndicatorContext extends ParserRuleContext {
    INDICATOR_PREFIX(): TerminalNode;
    ID(): TerminalNode[];
    ID(i: number): TerminalNode;
    WS(): TerminalNode[];
    WS(i: number): TerminalNode;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class IndicatorCategoryContext extends ParserRuleContext {
    ID(): TerminalNode;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class IndicatorExprContext extends ParserRuleContext {
    indicator(): IndicatorContext[];
    indicator(i: number): IndicatorContext;
    ASSIGN(): TerminalNode | undefined;
    indicatorCategory(): IndicatorCategoryContext | undefined;
    EQ(): TerminalNode | undefined;
    EXACTLY(): TerminalNode | undefined;
    LT(): TerminalNode | undefined;
    LEQ(): TerminalNode | undefined;
    GT(): TerminalNode | undefined;
    GEQ(): TerminalNode | undefined;
    NEQ(): TerminalNode | undefined;
    FLOAT(): TerminalNode | undefined;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class ArtifactContext extends ParserRuleContext {
    ARTIFACT_PREFIX(): TerminalNode;
    ID(): TerminalNode[];
    ID(i: number): TerminalNode;
    WS(): TerminalNode[];
    WS(i: number): TerminalNode;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class ArtifactExprContext extends ParserRuleContext {
    HAS(): TerminalNode;
    artifact(): ArtifactContext;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class CasesExprContext extends ParserRuleContext {
    CASES(): TerminalNode;
    OTHERWISE(): TerminalNode;
    fuzzyExpr(): FuzzyExprContext;
    case(): CaseContext[];
    case(i: number): CaseContext;
    ARG_SEP(): TerminalNode[];
    ARG_SEP(i: number): TerminalNode;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class CaseContext extends ParserRuleContext {
    booleanExpr(): BooleanExprContext;
    ARROW(): TerminalNode;
    fuzzyExpr(): FuzzyExprContext;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class MacroExprContext extends ParserRuleContext {
    MACRO_PREFIX(): TerminalNode;
    ID(): TerminalNode;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class FuzzyExprContext extends ParserRuleContext {
    fuzzyExpr(): FuzzyExprContext[];
    fuzzyExpr(i: number): FuzzyExprContext;
    INTERSECT(): TerminalNode | undefined;
    UNION(): TerminalNode | undefined;
    casesExpr(): CasesExprContext | undefined;
    defineSet(): DefineSetContext | undefined;
    builtInOp(): BuiltInOpContext | undefined;
    invokedOp(): InvokedOpContext | undefined;
    fuzzySym(): FuzzySymContext | undefined;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class InvokedOpContext extends ParserRuleContext {
    ID(): TerminalNode[];
    ID(i: number): TerminalNode;
    ARG_SEP(): TerminalNode[];
    ARG_SEP(i: number): TerminalNode;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class FuzzySymContext extends ParserRuleContext {
    ID(): TerminalNode;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class BuiltInOpContext extends ParserRuleContext {
    minOp(): MinOpContext | undefined;
    maxOp(): MaxOpContext | undefined;
    invertOp(): InvertOpContext | undefined;
    compOp(): CompOpContext | undefined;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class MinOpContext extends ParserRuleContext {
    fuzzyExpr(): FuzzyExprContext[];
    fuzzyExpr(i: number): FuzzyExprContext;
    ARG_SEP(): TerminalNode[];
    ARG_SEP(i: number): TerminalNode;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class MaxOpContext extends ParserRuleContext {
    fuzzyExpr(): FuzzyExprContext[];
    fuzzyExpr(i: number): FuzzyExprContext;
    ARG_SEP(): TerminalNode[];
    ARG_SEP(i: number): TerminalNode;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class InvertOpContext extends ParserRuleContext {
    INVERT(): TerminalNode;
    fuzzyExpr(): FuzzyExprContext;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class CompOpContext extends ParserRuleContext {
    COMP(): TerminalNode;
    fuzzyExpr(): FuzzyExprContext;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class DefineSetContext extends ParserRuleContext {
    setTrap(): SetTrapContext | undefined;
    setTri(): SetTriContext | undefined;
    setUp(): SetUpContext | undefined;
    setDown(): SetDownContext | undefined;
    setConst(): SetConstContext | undefined;
    setCrisp(): SetCrispContext | undefined;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class SetTrapContext extends ParserRuleContext {
    FLOAT(): TerminalNode[];
    FLOAT(i: number): TerminalNode;
    ARG_SEP(): TerminalNode[];
    ARG_SEP(i: number): TerminalNode;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class SetTriContext extends ParserRuleContext {
    FLOAT(): TerminalNode[];
    FLOAT(i: number): TerminalNode;
    ARG_SEP(): TerminalNode[];
    ARG_SEP(i: number): TerminalNode;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class SetUpContext extends ParserRuleContext {
    FLOAT(): TerminalNode[];
    FLOAT(i: number): TerminalNode;
    ARG_SEP(): TerminalNode;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class SetDownContext extends ParserRuleContext {
    FLOAT(): TerminalNode[];
    FLOAT(i: number): TerminalNode;
    ARG_SEP(): TerminalNode;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class SetConstContext extends ParserRuleContext {
    FLOAT(): TerminalNode;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
export declare class SetCrispContext extends ParserRuleContext {
    FLOAT(): TerminalNode[];
    FLOAT(i: number): TerminalNode;
    ARG_SEP(): TerminalNode;
    constructor(parent: ParserRuleContext | undefined, invokingState: number);
    get ruleIndex(): number;
    enterRule(listener: CertusListener): void;
    exitRule(listener: CertusListener): void;
    accept<Result>(visitor: CertusVisitor<Result>): Result;
}
//# sourceMappingURL=CertusParser.d.ts.map