# Generated from PW_explorer/Input_Parsers/Clingo_Parser/Antlr_Files/Clingo.g4 by ANTLR 4.7.1
from antlr4 import *
from io import StringIO
from typing.io import TextIO
import sys


def serializedATN():
    with StringIO() as buf:
        buf.write("\3\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\2\20")
        buf.write("\u0094\b\1\4\2\t\2\4\3\t\3\4\4\t\4\4\5\t\5\4\6\t\6\4\7")
        buf.write("\t\7\4\b\t\b\4\t\t\t\4\n\t\n\4\13\t\13\4\f\t\f\4\r\t\r")
        buf.write("\4\16\t\16\4\17\t\17\3\2\3\2\3\2\3\2\3\2\3\2\3\2\3\2\3")
        buf.write("\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3")
        buf.write("\3\4\3\4\3\5\3\5\3\6\3\6\3\7\3\7\3\7\3\7\3\7\3\7\3\7\3")
        buf.write("\b\3\b\3\t\3\t\3\n\3\n\3\n\3\n\3\n\3\n\3\n\3\n\3\13\3")
        buf.write("\13\3\13\3\13\3\13\3\13\3\13\3\13\3\13\3\13\3\13\3\13")
        buf.write("\3\13\3\f\3\f\3\f\3\f\3\f\3\f\3\r\3\r\3\r\3\r\3\r\3\r")
        buf.write("\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3")
        buf.write("\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r")
        buf.write("\3\r\3\r\3\r\3\r\5\r\u0087\n\r\3\16\6\16\u008a\n\16\r")
        buf.write("\16\16\16\u008b\3\17\6\17\u008f\n\17\r\17\16\17\u0090")
        buf.write("\3\17\3\17\2\2\20\3\3\5\4\7\5\t\6\13\7\r\b\17\t\21\n\23")
        buf.write("\13\25\f\27\r\31\16\33\17\35\20\3\2\4\t\2#$/<>@C\\^^a")
        buf.write("ac|\5\2\13\f\16\17\"\"\2\u0097\2\3\3\2\2\2\2\5\3\2\2\2")
        buf.write("\2\7\3\2\2\2\2\t\3\2\2\2\2\13\3\2\2\2\2\r\3\2\2\2\2\17")
        buf.write("\3\2\2\2\2\21\3\2\2\2\2\23\3\2\2\2\2\25\3\2\2\2\2\27\3")
        buf.write("\2\2\2\2\31\3\2\2\2\2\33\3\2\2\2\2\35\3\2\2\2\3\37\3\2")
        buf.write("\2\2\5\'\3\2\2\2\7\65\3\2\2\2\t\67\3\2\2\2\139\3\2\2\2")
        buf.write("\r;\3\2\2\2\17B\3\2\2\2\21D\3\2\2\2\23F\3\2\2\2\25N\3")
        buf.write("\2\2\2\27[\3\2\2\2\31\u0086\3\2\2\2\33\u0089\3\2\2\2\35")
        buf.write("\u008e\3\2\2\2\37 \7C\2\2 !\7p\2\2!\"\7u\2\2\"#\7y\2\2")
        buf.write("#$\7g\2\2$%\7t\2\2%&\7<\2\2&\4\3\2\2\2\'(\7Q\2\2()\7r")
        buf.write("\2\2)*\7v\2\2*+\7k\2\2+,\7o\2\2,-\7k\2\2-.\7|\2\2./\7")
        buf.write("c\2\2/\60\7v\2\2\60\61\7k\2\2\61\62\7q\2\2\62\63\7p\2")
        buf.write("\2\63\64\7<\2\2\64\6\3\2\2\2\65\66\7*\2\2\66\b\3\2\2\2")
        buf.write("\678\7+\2\28\n\3\2\2\29:\7.\2\2:\f\3\2\2\2;<\7O\2\2<=")
        buf.write("\7q\2\2=>\7f\2\2>?\7g\2\2?@\7n\2\2@A\7u\2\2A\16\3\2\2")
        buf.write("\2BC\7<\2\2C\20\3\2\2\2DE\7-\2\2E\22\3\2\2\2FG\7Q\2\2")
        buf.write("GH\7r\2\2HI\7v\2\2IJ\7k\2\2JK\7o\2\2KL\7w\2\2LM\7o\2\2")
        buf.write("M\24\3\2\2\2NO\7Q\2\2OP\7r\2\2PQ\7v\2\2QR\7k\2\2RS\7o")
        buf.write("\2\2ST\7k\2\2TU\7|\2\2UV\7c\2\2VW\7v\2\2WX\7k\2\2XY\7")
        buf.write("q\2\2YZ\7p\2\2Z\26\3\2\2\2[\\\7E\2\2\\]\7c\2\2]^\7n\2")
        buf.write("\2^_\7n\2\2_`\7u\2\2`\30\3\2\2\2ab\7Q\2\2bc\7R\2\2cd\7")
        buf.write("V\2\2de\7K\2\2ef\7O\2\2fg\7W\2\2gh\7O\2\2hi\7\"\2\2ij")
        buf.write("\7H\2\2jk\7Q\2\2kl\7W\2\2lm\7P\2\2m\u0087\7F\2\2no\7W")
        buf.write("\2\2op\7P\2\2pq\7U\2\2qr\7C\2\2rs\7V\2\2st\7K\2\2tu\7")
        buf.write("U\2\2uv\7H\2\2vw\7K\2\2wx\7C\2\2xy\7D\2\2yz\7N\2\2z\u0087")
        buf.write("\7G\2\2{|\7U\2\2|}\7C\2\2}~\7V\2\2~\177\7K\2\2\177\u0080")
        buf.write("\7U\2\2\u0080\u0081\7H\2\2\u0081\u0082\7K\2\2\u0082\u0083")
        buf.write("\7C\2\2\u0083\u0084\7D\2\2\u0084\u0085\7N\2\2\u0085\u0087")
        buf.write("\7G\2\2\u0086a\3\2\2\2\u0086n\3\2\2\2\u0086{\3\2\2\2\u0087")
        buf.write("\32\3\2\2\2\u0088\u008a\t\2\2\2\u0089\u0088\3\2\2\2\u008a")
        buf.write("\u008b\3\2\2\2\u008b\u0089\3\2\2\2\u008b\u008c\3\2\2\2")
        buf.write("\u008c\34\3\2\2\2\u008d\u008f\t\3\2\2\u008e\u008d\3\2")
        buf.write("\2\2\u008f\u0090\3\2\2\2\u0090\u008e\3\2\2\2\u0090\u0091")
        buf.write("\3\2\2\2\u0091\u0092\3\2\2\2\u0092\u0093\b\17\2\2\u0093")
        buf.write("\36\3\2\2\2\6\2\u0086\u008b\u0090\3\b\2\2")
        return buf.getvalue()


class ClingoLexer(Lexer):

    atn = ATNDeserializer().deserialize(serializedATN())

    decisionsToDFA = [ DFA(ds, i) for i, ds in enumerate(atn.decisionToState) ]

    T__0 = 1
    T__1 = 2
    T__2 = 3
    T__3 = 4
    T__4 = 5
    T__5 = 6
    T__6 = 7
    T__7 = 8
    T__8 = 9
    T__9 = 10
    T__10 = 11
    OPTIMUM_FOUND = 12
    TEXT = 13
    WHITESPACE = 14

    channelNames = [ u"DEFAULT_TOKEN_CHANNEL", u"HIDDEN" ]

    modeNames = [ "DEFAULT_MODE" ]

    literalNames = [ "<INVALID>",
            "'Answer:'", "'Optimization:'", "'('", "')'", "','", "'Models'", 
            "':'", "'+'", "'Optimum'", "'Optimization'", "'Calls'" ]

    symbolicNames = [ "<INVALID>",
            "OPTIMUM_FOUND", "TEXT", "WHITESPACE" ]

    ruleNames = [ "T__0", "T__1", "T__2", "T__3", "T__4", "T__5", "T__6", 
                  "T__7", "T__8", "T__9", "T__10", "OPTIMUM_FOUND", "TEXT", 
                  "WHITESPACE" ]

    grammarFileName = "Clingo.g4"

    def __init__(self, input=None, output:TextIO = sys.stdout):
        super().__init__(input, output)
        self.checkVersion("4.7.1")
        self._interp = LexerATNSimulator(self, self.atn, self.decisionsToDFA, PredictionContextCache())
        self._actions = None
        self._predicates = None



# Generated from PW_explorer/Input_Parsers/Clingo_Parser/Antlr_Files/Clingo.g4 by ANTLR 4.7.1
from antlr4 import *
from io import StringIO
from typing.io import TextIO
import sys


def serializedATN():
    with StringIO() as buf:
        buf.write("\3\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\2\20")
        buf.write("\u0094\b\1\4\2\t\2\4\3\t\3\4\4\t\4\4\5\t\5\4\6\t\6\4\7")
        buf.write("\t\7\4\b\t\b\4\t\t\t\4\n\t\n\4\13\t\13\4\f\t\f\4\r\t\r")
        buf.write("\4\16\t\16\4\17\t\17\3\2\3\2\3\2\3\2\3\2\3\2\3\2\3\2\3")
        buf.write("\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3")
        buf.write("\3\4\3\4\3\5\3\5\3\6\3\6\3\7\3\7\3\7\3\7\3\7\3\7\3\7\3")
        buf.write("\b\3\b\3\t\3\t\3\n\3\n\3\n\3\n\3\n\3\n\3\n\3\n\3\13\3")
        buf.write("\13\3\13\3\13\3\13\3\13\3\13\3\13\3\13\3\13\3\13\3\13")
        buf.write("\3\13\3\f\3\f\3\f\3\f\3\f\3\f\3\r\3\r\3\r\3\r\3\r\3\r")
        buf.write("\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3")
        buf.write("\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r")
        buf.write("\3\r\3\r\3\r\3\r\5\r\u0087\n\r\3\16\6\16\u008a\n\16\r")
        buf.write("\16\16\16\u008b\3\17\6\17\u008f\n\17\r\17\16\17\u0090")
        buf.write("\3\17\3\17\2\2\20\3\3\5\4\7\5\t\6\13\7\r\b\17\t\21\n\23")
        buf.write("\13\25\f\27\r\31\16\33\17\35\20\3\2\4\t\2#$/<>@C\\^^a")
        buf.write("ac|\5\2\13\f\16\17\"\"\2\u0097\2\3\3\2\2\2\2\5\3\2\2\2")
        buf.write("\2\7\3\2\2\2\2\t\3\2\2\2\2\13\3\2\2\2\2\r\3\2\2\2\2\17")
        buf.write("\3\2\2\2\2\21\3\2\2\2\2\23\3\2\2\2\2\25\3\2\2\2\2\27\3")
        buf.write("\2\2\2\2\31\3\2\2\2\2\33\3\2\2\2\2\35\3\2\2\2\3\37\3\2")
        buf.write("\2\2\5\'\3\2\2\2\7\65\3\2\2\2\t\67\3\2\2\2\139\3\2\2\2")
        buf.write("\r;\3\2\2\2\17B\3\2\2\2\21D\3\2\2\2\23F\3\2\2\2\25N\3")
        buf.write("\2\2\2\27[\3\2\2\2\31\u0086\3\2\2\2\33\u0089\3\2\2\2\35")
        buf.write("\u008e\3\2\2\2\37 \7C\2\2 !\7p\2\2!\"\7u\2\2\"#\7y\2\2")
        buf.write("#$\7g\2\2$%\7t\2\2%&\7<\2\2&\4\3\2\2\2\'(\7Q\2\2()\7r")
        buf.write("\2\2)*\7v\2\2*+\7k\2\2+,\7o\2\2,-\7k\2\2-.\7|\2\2./\7")
        buf.write("c\2\2/\60\7v\2\2\60\61\7k\2\2\61\62\7q\2\2\62\63\7p\2")
        buf.write("\2\63\64\7<\2\2\64\6\3\2\2\2\65\66\7*\2\2\66\b\3\2\2\2")
        buf.write("\678\7+\2\28\n\3\2\2\29:\7.\2\2:\f\3\2\2\2;<\7O\2\2<=")
        buf.write("\7q\2\2=>\7f\2\2>?\7g\2\2?@\7n\2\2@A\7u\2\2A\16\3\2\2")
        buf.write("\2BC\7<\2\2C\20\3\2\2\2DE\7-\2\2E\22\3\2\2\2FG\7Q\2\2")
        buf.write("GH\7r\2\2HI\7v\2\2IJ\7k\2\2JK\7o\2\2KL\7w\2\2LM\7o\2\2")
        buf.write("M\24\3\2\2\2NO\7Q\2\2OP\7r\2\2PQ\7v\2\2QR\7k\2\2RS\7o")
        buf.write("\2\2ST\7k\2\2TU\7|\2\2UV\7c\2\2VW\7v\2\2WX\7k\2\2XY\7")
        buf.write("q\2\2YZ\7p\2\2Z\26\3\2\2\2[\\\7E\2\2\\]\7c\2\2]^\7n\2")
        buf.write("\2^_\7n\2\2_`\7u\2\2`\30\3\2\2\2ab\7Q\2\2bc\7R\2\2cd\7")
        buf.write("V\2\2de\7K\2\2ef\7O\2\2fg\7W\2\2gh\7O\2\2hi\7\"\2\2ij")
        buf.write("\7H\2\2jk\7Q\2\2kl\7W\2\2lm\7P\2\2m\u0087\7F\2\2no\7W")
        buf.write("\2\2op\7P\2\2pq\7U\2\2qr\7C\2\2rs\7V\2\2st\7K\2\2tu\7")
        buf.write("U\2\2uv\7H\2\2vw\7K\2\2wx\7C\2\2xy\7D\2\2yz\7N\2\2z\u0087")
        buf.write("\7G\2\2{|\7U\2\2|}\7C\2\2}~\7V\2\2~\177\7K\2\2\177\u0080")
        buf.write("\7U\2\2\u0080\u0081\7H\2\2\u0081\u0082\7K\2\2\u0082\u0083")
        buf.write("\7C\2\2\u0083\u0084\7D\2\2\u0084\u0085\7N\2\2\u0085\u0087")
        buf.write("\7G\2\2\u0086a\3\2\2\2\u0086n\3\2\2\2\u0086{\3\2\2\2\u0087")
        buf.write("\32\3\2\2\2\u0088\u008a\t\2\2\2\u0089\u0088\3\2\2\2\u008a")
        buf.write("\u008b\3\2\2\2\u008b\u0089\3\2\2\2\u008b\u008c\3\2\2\2")
        buf.write("\u008c\34\3\2\2\2\u008d\u008f\t\3\2\2\u008e\u008d\3\2")
        buf.write("\2\2\u008f\u0090\3\2\2\2\u0090\u008e\3\2\2\2\u0090\u0091")
        buf.write("\3\2\2\2\u0091\u0092\3\2\2\2\u0092\u0093\b\17\2\2\u0093")
        buf.write("\36\3\2\2\2\6\2\u0086\u008b\u0090\3\b\2\2")
        return buf.getvalue()


class ClingoLexer(Lexer):

    atn = ATNDeserializer().deserialize(serializedATN())

    decisionsToDFA = [ DFA(ds, i) for i, ds in enumerate(atn.decisionToState) ]

    T__0 = 1
    T__1 = 2
    T__2 = 3
    T__3 = 4
    T__4 = 5
    T__5 = 6
    T__6 = 7
    T__7 = 8
    T__8 = 9
    T__9 = 10
    T__10 = 11
    OPTIMUM_FOUND = 12
    TEXT = 13
    WHITESPACE = 14

    channelNames = [ u"DEFAULT_TOKEN_CHANNEL", u"HIDDEN" ]

    modeNames = [ "DEFAULT_MODE" ]

    literalNames = [ "<INVALID>",
            "'Answer:'", "'Optimization:'", "'('", "')'", "','", "'Models'", 
            "':'", "'+'", "'Optimum'", "'Optimization'", "'Calls'" ]

    symbolicNames = [ "<INVALID>",
            "OPTIMUM_FOUND", "TEXT", "WHITESPACE" ]

    ruleNames = [ "T__0", "T__1", "T__2", "T__3", "T__4", "T__5", "T__6", 
                  "T__7", "T__8", "T__9", "T__10", "OPTIMUM_FOUND", "TEXT", 
                  "WHITESPACE" ]

    grammarFileName = "Clingo.g4"

    def __init__(self, input=None, output:TextIO = sys.stdout):
        super().__init__(input, output)
        self.checkVersion("4.7.1")
        self._interp = LexerATNSimulator(self, self.atn, self.decisionsToDFA, PredictionContextCache())
        self._actions = None
        self._predicates = None



# Generated from PW_explorer/Input_Parsers/Clingo_Parser/Antlr_Files/Clingo.g4 by ANTLR 4.7.1 #$/<>@C\\^^a")