Constant Field Values

Contents

Unnamed Package.*

  • AbstractTemporalLogicLexer
    Modifier and Type
    Constant Field
    Value
    public static final String
    _serializedATN
    "\u0003\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\u0002\u001b\u0090\b\u0001\u0004\u0002\t\u0002\u0004\u0003\t\u0003\u0004\u0004\t\u0004\u0004\u0005\t\u0005\u0004\u0006\t\u0006\u0004\u0007\t\u0007\u0004\b\t\b\u0004\t\t\t\u0004\n\t\n\u0004\u000b\t\u000b\u0004\f\t\f\u0004\r\t\r\u0004\u000e\t\u000e\u0004\u000f\t\u000f\u0004\u0010\t\u0010\u0004\u0011\t\u0011\u0004\u0012\t\u0012\u0004\u0013\t\u0013\u0004\u0014\t\u0014\u0004\u0015\t\u0015\u0004\u0016\t\u0016\u0004\u0017\t\u0017\u0004\u0018\t\u0018\u0004\u0019\t\u0019\u0004\u001a\t\u001a\u0003\u0002\u0005\u00027\n\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0004\u0003\u0004\u0003\u0005\u0003\u0005\u0003\u0006\u0003\u0006\u0003\u0007\u0003\u0007\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0005\bO\n\b\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0005\tV\n\t\u0003\n\u0003\n\u0003\u000b\u0003\u000b\u0003\f\u0003\f\u0003\r\u0003\r\u0003\r\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u0010\u0003\u0010\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0013\u0003\u0013\u0003\u0014\u0003\u0014\u0003\u0015\u0003\u0015\u0007\u0015u\n\u0015\f\u0015\u000e\u0015x\u000b\u0015\u0003\u0015\u0005\u0015{\n\u0015\u0003\u0016\u0003\u0016\u0003\u0017\u0003\u0017\u0003\u0017\u0006\u0017\u0082\n\u0017\r\u0017\u000e\u0017\u0083\u0003\u0018\u0003\u0018\u0003\u0019\u0003\u0019\u0003\u001a\u0003\u001a\u0007\u001a\u008c\n\u001a\f\u001a\u000e\u001a\u008f\u000b\u001a\u0002\u0002\u001b\u0003\u0003\u0005\u0004\u0007\u0005\t\u0006\u000b\u0007\r\b\u000f\t\u0011\n\u0013\u000b\u0015\f\u0017\r\u0019\u000e\u001b\u000f\u001d\u0010\u001f\u0011!\u0012#\u0013%\u0014\'\u0015)\u0016+\u0017-\u0018/\u00191\u001a3\u001b\u0003\u0002\u0007\u0004\u0002\u000b\u000b\"\"\u0003\u00023;\u0003\u00022;\u0004\u0002C\\c|\u0005\u00022;C\\c|\u0002\u0098\u0002\u0003\u0003\u0002\u0002\u0002\u0002\u0005\u0003\u0002\u0002\u0002\u0002\u0007\u0003\u0002\u0002\u0002\u0002\t\u0003\u0002\u0002\u0002\u0002\u000b\u0003\u0002\u0002\u0002\u0002\r\u0003\u0002\u0002\u0002\u0002\u000f\u0003\u0002\u0002\u0002\u0002\u0011\u0003\u0002\u0002\u0002\u0002\u0013\u0003\u0002\u0002\u0002\u0002\u0015\u0003\u0002\u0002\u0002\u0002\u0017\u0003\u0002\u0002\u0002\u0002\u0019\u0003\u0002\u0002\u0002\u0002\u001b\u0003\u0002\u0002\u0002\u0002\u001d\u0003\u0002\u0002\u0002\u0002\u001f\u0003\u0002\u0002\u0002\u0002!\u0003\u0002\u0002\u0002\u0002#\u0003\u0002\u0002\u0002\u0002%\u0003\u0002\u0002\u0002\u0002\'\u0003\u0002\u0002\u0002\u0002)\u0003\u0002\u0002\u0002\u0002+\u0003\u0002\u0002\u0002\u0002-\u0003\u0002\u0002\u0002\u0002/\u0003\u0002\u0002\u0002\u00021\u0003\u0002\u0002\u0002\u00023\u0003\u0002\u0002\u0002\u00036\u0003\u0002\u0002\u0002\u0005<\u0003\u0002\u0002\u0002\u0007@\u0003\u0002\u0002\u0002\tB\u0003\u0002\u0002\u0002\u000bD\u0003\u0002\u0002\u0002\rF\u0003\u0002\u0002\u0002\u000fN\u0003\u0002\u0002\u0002\u0011U\u0003\u0002\u0002\u0002\u0013W\u0003\u0002\u0002\u0002\u0015Y\u0003\u0002\u0002\u0002\u0017[\u0003\u0002\u0002\u0002\u0019]\u0003\u0002\u0002\u0002\u001b`\u0003\u0002\u0002\u0002\u001dc\u0003\u0002\u0002\u0002\u001ff\u0003\u0002\u0002\u0002!h\u0003\u0002\u0002\u0002#k\u0003\u0002\u0002\u0002%n\u0003\u0002\u0002\u0002\'p\u0003\u0002\u0002\u0002)z\u0003\u0002\u0002\u0002+|\u0003\u0002\u0002\u0002-~\u0003\u0002\u0002\u0002/\u0085\u0003\u0002\u0002\u00021\u0087\u0003\u0002\u0002\u00023\u0089\u0003\u0002\u0002\u000257\u0007\u000f\u0002\u000265\u0003\u0002\u0002\u000267\u0003\u0002\u0002\u000278\u0003\u0002\u0002\u000289\u0007\f\u0002\u00029:\u0003\u0002\u0002\u0002:;\b\u0002\u0002\u0002;\u0004\u0003\u0002\u0002\u0002<=\t\u0002\u0002\u0002=>\u0003\u0002\u0002\u0002>?\b\u0003\u0002\u0002?\u0006\u0003\u0002\u0002\u0002@A\u0007a\u0002\u0002A\b\u0003\u0002\u0002\u0002BC\u0007]\u0002\u0002C\n\u0003\u0002\u0002\u0002DE\u0007_\u0002\u0002E\f\u0003\u0002\u0002\u0002FG\u0007.\u0002\u0002G\u000e\u0003\u0002\u0002\u0002HI\u0007]\u0002\u0002IO\u0007_\u0002\u0002JK\u0007c\u0002\u0002KL\u0007n\u0002\u0002LO\u0007y\u0002\u0002MO\u0007I\u0002\u0002NH\u0003\u0002\u0002\u0002NJ\u0003\u0002\u0002\u0002NM\u0003\u0002\u0002\u0002O\u0010\u0003\u0002\u0002\u0002PQ\u0007>\u0002\u0002QV\u0007@\u0002\u0002RS\u0007g\u0002\u0002SV\u0007x\u0002\u0002TV\u0007H\u0002\u0002UP\u0003\u0002\u0002\u0002UR\u0003\u0002\u0002\u0002UT\u0003\u0002\u0002\u0002V\u0012\u0003\u0002\u0002\u0002WX\u0007W\u0002\u0002X\u0014\u0003\u0002\u0002\u0002YZ\u0007T\u0002\u0002Z\u0016\u0003\u0002\u0002\u0002[\\\u0007Z\u0002\u0002\\\u0018\u0003\u0002\u0002\u0002]^\u0007~\u0002\u0002^_\u0007~\u0002\u0002_\u001a\u0003\u0002\u0002\u0002`a\u0007(\u0002\u0002ab\u0007(\u0002\u0002b\u001c\u0003\u0002\u0002\u0002cd\u0007/\u0002\u0002de\u0007@\u0002\u0002e\u001e\u0003\u0002\u0002\u0002fg\u0007#\u0002\u0002g \u0003\u0002\u0002\u0002hi\u0007?\u0002\u0002ij\u0007?\u0002\u0002j\"\u0003\u0002\u0002\u0002kl\u0007#\u0002\u0002lm\u0007?\u0002\u0002m$\u0003\u0002\u0002\u0002no\u0007>\u0002\u0002o&\u0003\u0002\u0002\u0002pq\u0007@\u0002\u0002q(\u0003\u0002\u0002\u0002rv\t\u0003\u0002\u0002su\t\u0004\u0002\u0002ts\u0003\u0002\u0002\u0002ux\u0003\u0002\u0002\u0002vt\u0003\u0002\u0002\u0002vw\u0003\u0002\u0002\u0002w{\u0003\u0002\u0002\u0002xv\u0003\u0002\u0002\u0002y{\u00072\u0002\u0002zr\u0003\u0002\u0002\u0002zy\u0003\u0002\u0002\u0002{*\u0003\u0002\u0002\u0002|}\u0007/\u0002\u0002},\u0003\u0002\u0002\u0002~\u007f\u0005)\u0015\u0002\u007f\u0081\u00070\u0002\u0002\u0080\u0082\t\u0004\u0002\u0002\u0081\u0080\u0003\u0002\u0002\u0002\u0082\u0083\u0003\u0002\u0002\u0002\u0083\u0081\u0003\u0002\u0002\u0002\u0083\u0084\u0003\u0002\u0002\u0002\u0084.\u0003\u0002\u0002\u0002\u0085\u0086\u0007*\u0002\u0002\u00860\u0003\u0002\u0002\u0002\u0087\u0088\u0007+\u0002\u0002\u00882\u0003\u0002\u0002\u0002\u0089\u008d\t\u0005\u0002\u0002\u008a\u008c\t\u0006\u0002\u0002\u008b\u008a\u0003\u0002\u0002\u0002\u008c\u008f\u0003\u0002\u0002\u0002\u008d\u008b\u0003\u0002\u0002\u0002\u008d\u008e\u0003\u0002\u0002\u0002\u008e4\u0003\u0002\u0002\u0002\u008f\u008d\u0003\u0002\u0002\u0002\n\u00026NUvz\u0083\u008d\u0003\b\u0002\u0002"
    public static final int
    AND
    13
    public static final int
    COMMA
    6
    public static final int
    EQ
    16
    public static final int
    EVENTUALLY
    8
    public static final int
    FLOAT
    22
    public static final int
    GLOBALLY
    7
    public static final int
    GT
    19
    public static final int
    ID
    25
    public static final int
    IMPLY
    14
    public static final int
    LBRACKET
    4
    public static final int
    LPAREN
    23
    public static final int
    LT
    18
    public static final int
    MINUS
    21
    public static final int
    NATURAL
    20
    public static final int
    NE
    17
    public static final int
    NEWLINE
    1
    public static final int
    NEXT
    11
    public static final int
    NOT
    15
    public static final int
    OR
    12
    public static final int
    RBRACKET
    5
    public static final int
    RELEASE
    10
    public static final int
    RPAREN
    24
    public static final int
    UNDER
    3
    public static final int
    UNTIL
    9
    public static final int
    WS
    2
  • AbstractTemporalLogicParser
    Modifier and Type
    Constant Field
    Value
    public static final String
    _serializedATN
    "\u0003\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\u0003\u001b2\u0004\u0002\t\u0002\u0004\u0003\t\u0003\u0004\u0004\t\u0004\u0004\u0005\t\u0005\u0004\u0006\t\u0006\u0004\u0007\t\u0007\u0004\b\t\b\u0003\u0002\u0003\u0002\u0003\u0002\u0005\u0002\u0014\n\u0002\u0003\u0003\u0003\u0003\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0005\u0004\u001c\n\u0004\u0003\u0005\u0003\u0005\u0003\u0006\u0003\u0006\u0003\u0007\u0005\u0007#\n\u0007\u0003\u0007\u0003\u0007\u0005\u0007\'\n\u0007\u0003\u0007\u0005\u0007*\n\u0007\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0002\u0002\t\u0002\u0004\u0006\b\n\f\u000e\u0002\u0005\u0003\u0002\t\n\u0003\u0002\u000b\f\u0003\u0002\u0012\u0015\u00022\u0002\u0013\u0003\u0002\u0002\u0002\u0004\u0015\u0003\u0002\u0002\u0002\u0006\u001b\u0003\u0002\u0002\u0002\b\u001d\u0003\u0002\u0002\u0002\n\u001f\u0003\u0002\u0002\u0002\f)\u0003\u0002\u0002\u0002\u000e+\u0003\u0002\u0002\u0002\u0010\u0014\u0007\u0011\u0002\u0002\u0011\u0014\u0007\r\u0002\u0002\u0012\u0014\u0005\u0004\u0003\u0002\u0013\u0010\u0003\u0002\u0002\u0002\u0013\u0011\u0003\u0002\u0002\u0002\u0013\u0012\u0003\u0002\u0002\u0002\u0014\u0003\u0003\u0002\u0002\u0002\u0015\u0016\t\u0002\u0002\u0002\u0016\u0005\u0003\u0002\u0002\u0002\u0017\u001c\u0007\u000f\u0002\u0002\u0018\u001c\u0007\u000e\u0002\u0002\u0019\u001c\u0007\u0010\u0002\u0002\u001a\u001c\u0005\b\u0005\u0002\u001b\u0017\u0003\u0002\u0002\u0002\u001b\u0018\u0003\u0002\u0002\u0002\u001b\u0019\u0003\u0002\u0002\u0002\u001b\u001a\u0003\u0002\u0002\u0002\u001c\u0007\u0003\u0002\u0002\u0002\u001d\u001e\t\u0003\u0002\u0002\u001e\t\u0003\u0002\u0002\u0002\u001f \t\u0004\u0002\u0002 \u000b\u0003\u0002\u0002\u0002!#\u0007\u0017\u0002\u0002\"!\u0003\u0002\u0002\u0002\"#\u0003\u0002\u0002\u0002#$\u0003\u0002\u0002\u0002$*\u0007\u0016\u0002\u0002%\'\u0007\u0017\u0002\u0002&%\u0003\u0002\u0002\u0002&\'\u0003\u0002\u0002\u0002\'(\u0003\u0002\u0002\u0002(*\u0007\u0018\u0002\u0002)\"\u0003\u0002\u0002\u0002)&\u0003\u0002\u0002\u0002*\r\u0003\u0002\u0002\u0002+,\u0007\u0006\u0002\u0002,-\u0007\u0016\u0002\u0002-.\u0007\b\u0002\u0002./\u0007\u0016\u0002\u0002/0\u0007\u0007\u0002\u00020\u000f\u0003\u0002\u0002\u0002\u0007\u0013\u001b\"&)"
    public static final int
    AND
    13
    public static final int
    COMMA
    6
    public static final int
    EQ
    16
    public static final int
    EVENTUALLY
    8
    public static final int
    FLOAT
    22
    public static final int
    GLOBALLY
    7
    public static final int
    GT
    19
    public static final int
    ID
    25
    public static final int
    IMPLY
    14
    public static final int
    LBRACKET
    4
    public static final int
    LPAREN
    23
    public static final int
    LT
    18
    public static final int
    MINUS
    21
    public static final int
    NATURAL
    20
    public static final int
    NE
    17
    public static final int
    NEWLINE
    1
    public static final int
    NEXT
    11
    public static final int
    NOT
    15
    public static final int
    OR
    12
    public static final int
    RBRACKET
    5
    public static final int
    RELEASE
    10
    public static final int
    RPAREN
    24
    public static final int
    RULE_binaryOperator
    2
    public static final int
    RULE_binaryTemporalOperator
    3
    public static final int
    RULE_comparisonOperator
    4
    public static final int
    RULE_interval
    6
    public static final int
    RULE_unaryOperator
    0
    public static final int
    RULE_unaryTemporalOperator
    1
    public static final int
    RULE_value
    5
    public static final int
    UNDER
    3
    public static final int
    UNTIL
    9
    public static final int
    WS
    2

net.maswag.*

  • net.maswag.falcaun.parser.ExtendedSignalMapperLexer
    Modifier and Type
    Constant Field
    Value
    public static final String
    _serializedATN
    "\u0003\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\u0002\u0017\u00ce\b\u0001\u0004\u0002\t\u0002\u0004\u0003\t\u0003\u0004\u0004\t\u0004\u0004\u0005\t\u0005\u0004\u0006\t\u0006\u0004\u0007\t\u0007\u0004\b\t\b\u0004\t\t\t\u0004\n\t\n\u0004\u000b\t\u000b\u0004\f\t\f\u0004\r\t\r\u0004\u000e\t\u000e\u0004\u000f\t\u000f\u0004\u0010\t\u0010\u0004\u0011\t\u0011\u0004\u0012\t\u0012\u0004\u0013\t\u0013\u0004\u0014\t\u0014\u0004\u0015\t\u0015\u0004\u0016\t\u0016\u0003\u0002\u0005\u0002/\n\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0004\u0003\u0004\u0003\u0005\u0003\u0005\u0003\u0006\u0003\u0006\u0003\u0007\u0003\u0007\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0005\bH\n\b\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0005\tP\n\t\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0005\nX\n\n\u0003\u000b\u0003\u000b\u0003\f\u0003\f\u0007\f^\n\f\f\f\u000e\fa\u000b\f\u0003\f\u0005\fd\n\f\u0003\r\u0003\r\u0003\r\u0006\ri\n\r\r\r\u000e\rj\u0003\u000e\u0003\u000e\u0003\u000f\u0003\u000f\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0005\u0011\u0083\n\u0011\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0013\u0003\u0013\u0003\u0013\u0003\u0013\u0003\u0013\u0003\u0013\u0003\u0013\u0003\u0013\u0003\u0013\u0003\u0013\u0003\u0013\u0003\u0013\u0003\u0013\u0003\u0013\u0003\u0013\u0003\u0013\u0003\u0013\u0003\u0013\u0003\u0013\u0003\u0013\u0003\u0014\u0003\u0014\u0003\u0014\u0003\u0014\u0003\u0014\u0003\u0014\u0003\u0014\u0003\u0014\u0003\u0014\u0003\u0014\u0003\u0014\u0003\u0014\u0003\u0014\u0003\u0015\u0003\u0015\u0003\u0015\u0003\u0015\u0003\u0015\u0003\u0015\u0003\u0015\u0003\u0015\u0003\u0015\u0003\u0015\u0003\u0015\u0003\u0015\u0003\u0015\u0003\u0016\u0003\u0016\u0003\u0016\u0003\u0016\u0003\u0016\u0003\u0016\u0005\u0016\u00cd\n\u0016\u0002\u0002\u0017\u0003\u0003\u0005\u0004\u0007\u0005\t\u0006\u000b\u0007\r\b\u000f\t\u0011\n\u0013\u000b\u0015\f\u0017\r\u0019\u000e\u001b\u000f\u001d\u0010\u001f\u0011!\u0012#\u0013%\u0014\'\u0015)\u0016+\u0017\u0003\u0002\u0005\u0004\u0002\u000b\u000b\"\"\u0003\u00023;\u0003\u00022;\u0002\u00d7\u0002\u0003\u0003\u0002\u0002\u0002\u0002\u0005\u0003\u0002\u0002\u0002\u0002\u0007\u0003\u0002\u0002\u0002\u0002\t\u0003\u0002\u0002\u0002\u0002\u000b\u0003\u0002\u0002\u0002\u0002\r\u0003\u0002\u0002\u0002\u0002\u000f\u0003\u0002\u0002\u0002\u0002\u0011\u0003\u0002\u0002\u0002\u0002\u0013\u0003\u0002\u0002\u0002\u0002\u0015\u0003\u0002\u0002\u0002\u0002\u0017\u0003\u0002\u0002\u0002\u0002\u0019\u0003\u0002\u0002\u0002\u0002\u001b\u0003\u0002\u0002\u0002\u0002\u001d\u0003\u0002\u0002\u0002\u0002\u001f\u0003\u0002\u0002\u0002\u0002!\u0003\u0002\u0002\u0002\u0002#\u0003\u0002\u0002\u0002\u0002%\u0003\u0002\u0002\u0002\u0002\'\u0003\u0002\u0002\u0002\u0002)\u0003\u0002\u0002\u0002\u0002+\u0003\u0002\u0002\u0002\u0003.\u0003\u0002\u0002\u0002\u00054\u0003\u0002\u0002\u0002\u00078\u0003\u0002\u0002\u0002\t:\u0003\u0002\u0002\u0002\u000b<\u0003\u0002\u0002\u0002\r>\u0003\u0002\u0002\u0002\u000fG\u0003\u0002\u0002\u0002\u0011O\u0003\u0002\u0002\u0002\u0013W\u0003\u0002\u0002\u0002\u0015Y\u0003\u0002\u0002\u0002\u0017c\u0003\u0002\u0002\u0002\u0019e\u0003\u0002\u0002\u0002\u001bl\u0003\u0002\u0002\u0002\u001dn\u0003\u0002\u0002\u0002\u001fp\u0003\u0002\u0002\u0002!\u0082\u0003\u0002\u0002\u0002#\u0084\u0003\u0002\u0002\u0002%\u0098\u0003\u0002\u0002\u0002\'\u00ac\u0003\u0002\u0002\u0002)\u00b9\u0003\u0002\u0002\u0002+\u00cc\u0003\u0002\u0002\u0002-/\u0007\u000f\u0002\u0002.-\u0003\u0002\u0002\u0002./\u0003\u0002\u0002\u0002/0\u0003\u0002\u0002\u000201\u0007\f\u0002\u000212\u0003\u0002\u0002\u000223\b\u0002\u0002\u00023\u0004\u0003\u0002\u0002\u000245\t\u0002\u0002\u000256\u0003\u0002\u0002\u000267\b\u0003\u0002\u00027\u0006\u0003\u0002\u0002\u000289\u0007,\u0002\u00029\b\u0003\u0002\u0002\u0002:;\u00071\u0002\u0002;\n\u0003\u0002\u0002\u0002<=\u0007-\u0002\u0002=\f\u0003\u0002\u0002\u0002>?\u0007/\u0002\u0002?\u000e\u0003\u0002\u0002\u0002@H\u0007\'\u0002\u0002AB\u0007o\u0002\u0002BC\u0007q\u0002\u0002CH\u0007f\u0002\u0002DE\u0007O\u0002\u0002EF\u0007Q\u0002\u0002FH\u0007F\u0002\u0002G@\u0003\u0002\u0002\u0002GA\u0003\u0002\u0002\u0002GD\u0003\u0002\u0002\u0002H\u0010\u0003\u0002\u0002\u0002IJ\u0007o\u0002\u0002JK\u0007k\u0002\u0002KP\u0007p\u0002\u0002LM\u0007O\u0002\u0002MN\u0007K\u0002\u0002NP\u0007P\u0002\u0002OI\u0003\u0002\u0002\u0002OL\u0003\u0002\u0002\u0002P\u0012\u0003\u0002\u0002\u0002QR\u0007o\u0002\u0002RS\u0007c\u0002\u0002SX\u0007z\u0002\u0002TU\u0007O\u0002\u0002UV\u0007C\u0002\u0002VX\u0007Z\u0002\u0002WQ\u0003\u0002\u0002\u0002WT\u0003\u0002\u0002\u0002X\u0014\u0003\u0002\u0002\u0002YZ\u0007.\u0002\u0002Z\u0016\u0003\u0002\u0002\u0002[_\t\u0003\u0002\u0002\\^\t\u0004\u0002\u0002]\\\u0003\u0002\u0002\u0002^a\u0003\u0002\u0002\u0002_]\u0003\u0002\u0002\u0002_`\u0003\u0002\u0002\u0002`d\u0003\u0002\u0002\u0002a_\u0003\u0002\u0002\u0002bd\u00072\u0002\u0002c[\u0003\u0002\u0002\u0002cb\u0003\u0002\u0002\u0002d\u0018\u0003\u0002\u0002\u0002ef\u0005\u0017\f\u0002fh\u00070\u0002\u0002gi\t\u0004\u0002\u0002hg\u0003\u0002\u0002\u0002ij\u0003\u0002\u0002\u0002jh\u0003\u0002\u0002\u0002jk\u0003\u0002\u0002\u0002k\u001a\u0003\u0002\u0002\u0002lm\u0007*\u0002\u0002m\u001c\u0003\u0002\u0002\u0002no\u0007+\u0002\u0002o\u001e\u0003\u0002\u0002\u0002pq\u0007k\u0002\u0002qr\u0007p\u0002\u0002rs\u0007r\u0002\u0002st\u0007w\u0002\u0002tu\u0007v\u0002\u0002u \u0003\u0002\u0002\u0002vw\u0007u\u0002\u0002wx\u0007k\u0002\u0002xy\u0007i\u0002\u0002yz\u0007p\u0002\u0002z{\u0007c\u0002\u0002{\u0083\u0007n\u0002\u0002|}\u0007q\u0002\u0002}~\u0007w\u0002\u0002~\u007f\u0007v\u0002\u0002\u007f\u0080\u0007r\u0002\u0002\u0080\u0081\u0007w\u0002\u0002\u0081\u0083\u0007v\u0002\u0002\u0082v\u0003\u0002\u0002\u0002\u0082|\u0003\u0002\u0002\u0002\u0083\"\u0003\u0002\u0002\u0002\u0084\u0085\u0007r\u0002\u0002\u0085\u0086\u0007t\u0002\u0002\u0086\u0087\u0007g\u0002\u0002\u0087\u0088\u0007x\u0002\u0002\u0088\u0089\u0007k\u0002\u0002\u0089\u008a\u0007q\u0002\u0002\u008a\u008b\u0007w\u0002\u0002\u008b\u008c\u0007u\u0002\u0002\u008c\u008d\u0007a\u0002\u0002\u008d\u008e\u0007o\u0002\u0002\u008e\u008f\u0007k\u0002\u0002\u008f\u0090\u0007p\u0002\u0002\u0090\u0091\u0007a\u0002\u0002\u0091\u0092\u0007q\u0002\u0002\u0092\u0093\u0007w\u0002\u0002\u0093\u0094\u0007v\u0002\u0002\u0094\u0095\u0007r\u0002\u0002\u0095\u0096\u0007w\u0002\u0002\u0096\u0097\u0007v\u0002\u0002\u0097$\u0003\u0002\u0002\u0002\u0098\u0099\u0007r\u0002\u0002\u0099\u009a\u0007t\u0002\u0002\u009a\u009b\u0007g\u0002\u0002\u009b\u009c\u0007x\u0002\u0002\u009c\u009d\u0007k\u0002\u0002\u009d\u009e\u0007q\u0002\u0002\u009e\u009f\u0007w\u0002\u0002\u009f\u00a0\u0007u\u0002\u0002\u00a0\u00a1\u0007a\u0002\u0002\u00a1\u00a2\u0007o\u0002\u0002\u00a2\u00a3\u0007c\u0002\u0002\u00a3\u00a4\u0007z\u0002\u0002\u00a4\u00a5\u0007a\u0002\u0002\u00a5\u00a6\u0007q\u0002\u0002\u00a6\u00a7\u0007w\u0002\u0002\u00a7\u00a8\u0007v\u0002\u0002\u00a8\u00a9\u0007r\u0002\u0002\u00a9\u00aa\u0007w\u0002\u0002\u00aa\u00ab\u0007v\u0002\u0002\u00ab&\u0003\u0002\u0002\u0002\u00ac\u00ad\u0007r\u0002\u0002\u00ad\u00ae\u0007t\u0002\u0002\u00ae\u00af\u0007g\u0002\u0002\u00af\u00b0\u0007x\u0002\u0002\u00b0\u00b1\u0007k\u0002\u0002\u00b1\u00b2\u0007q\u0002\u0002\u00b2\u00b3\u0007w\u0002\u0002\u00b3\u00b4\u0007u\u0002\u0002\u00b4\u00b5\u0007a\u0002\u0002\u00b5\u00b6\u0007o\u0002\u0002\u00b6\u00b7\u0007k\u0002\u0002\u00b7\u00b8\u0007p\u0002\u0002\u00b8(\u0003\u0002\u0002\u0002\u00b9\u00ba\u0007r\u0002\u0002\u00ba\u00bb\u0007t\u0002\u0002\u00bb\u00bc\u0007g\u0002\u0002\u00bc\u00bd\u0007x\u0002\u0002\u00bd\u00be\u0007k\u0002\u0002\u00be\u00bf\u0007q\u0002\u0002\u00bf\u00c0\u0007w\u0002\u0002\u00c0\u00c1\u0007u\u0002\u0002\u00c1\u00c2\u0007a\u0002\u0002\u00c2\u00c3\u0007o\u0002\u0002\u00c3\u00c4\u0007c\u0002\u0002\u00c4\u00c5\u0007z\u0002\u0002\u00c5*\u0003\u0002\u0002\u0002\u00c6\u00c7\u0007c\u0002\u0002\u00c7\u00c8\u0007d\u0002\u0002\u00c8\u00cd\u0007u\u0002\u0002\u00c9\u00ca\u0007C\u0002\u0002\u00ca\u00cb\u0007D\u0002\u0002\u00cb\u00cd\u0007U\u0002\u0002\u00cc\u00c6\u0003\u0002\u0002\u0002\u00cc\u00c9\u0003\u0002\u0002\u0002\u00cd,\u0003\u0002\u0002\u0002\f\u0002.GOW_cj\u0082\u00cc\u0003\b\u0002\u0002"
    public static final int
    ABS
    21
    public static final int
    COMMA
    10
    public static final int
    DIV
    4
    public static final int
    FLOAT
    12
    public static final int
    INPUT
    15
    public static final int
    LPAREN
    13
    public static final int
    MAX
    9
    public static final int
    MIN
    8
    public static final int
    MINUS
    6
    public static final int
    MOD
    7
    public static final int
    NATURAL
    11
    public static final int
    NEWLINE
    1
    public static final int
    OUTPUT
    16
    public static final int
    PLUS
    5
    public static final int
    PREVIOUS_MAX
    20
    public static final int
    PREVIOUS_MAX_OUTPUT
    18
    public static final int
    PREVIOUS_MIN
    19
    public static final int
    PREVIOUS_MIN_OUTPUT
    17
    public static final int
    RPAREN
    14
    public static final int
    TIMES
    3
    public static final int
    WS
    2
  • net.maswag.falcaun.parser.ExtendedSignalMapperParser
    Modifier and Type
    Constant Field
    Value
    public static final String
    _serializedATN
    "\u0003\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\u0003\u0017\u00b4\u0004\u0002\t\u0002\u0004\u0003\t\u0003\u0004\u0004\t\u0004\u0004\u0005\t\u0005\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0007\u0002\u0012\n\u0002\f\u0002\u000e\u0002\u0015\u000b\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0007\u0002\u001e\n\u0002\f\u0002\u000e\u0002!\u000b\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0005\u0002/\n\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0007\u0002@\n\u0002\f\u0002\u000e\u0002C\u000b\u0002\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0005\u0003V\n\u0003\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0005\u0004\u0085\n\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0007\u0004\u00a5\n\u0004\f\u0004\u000e\u0004\u00a8\u000b\u0004\u0003\u0005\u0005\u0005\u00ab\n\u0005\u0003\u0005\u0003\u0005\u0005\u0005\u00af\n\u0005\u0003\u0005\u0005\u0005\u00b2\n\u0005\u0003\u0005\u0002\u0004\u0002\u0006\u0006\u0002\u0004\u0006\b\u0002\u0002\u0002\u00d6\u0002.\u0003\u0002\u0002\u0002\u0004U\u0003\u0002\u0002\u0002\u0006\u0084\u0003\u0002\u0002\u0002\b\u00b1\u0003\u0002\u0002\u0002\n\u000b\b\u0002\u0001\u0002\u000b/\u0005\u0004\u0003\u0002\f\r\u0007\n\u0002\u0002\r\u000e\u0007\u000f\u0002\u0002\u000e\u0013\u0005\u0002\u0002\u0002\u000f\u0010\u0007\f\u0002\u0002\u0010\u0012\u0005\u0002\u0002\u0002\u0011\u000f\u0003\u0002\u0002\u0002\u0012\u0015\u0003\u0002\u0002\u0002\u0013\u0011\u0003\u0002\u0002\u0002\u0013\u0014\u0003\u0002\u0002\u0002\u0014\u0016\u0003\u0002\u0002\u0002\u0015\u0013\u0003\u0002\u0002\u0002\u0016\u0017\u0007\u0010\u0002\u0002\u0017/\u0003\u0002\u0002\u0002\u0018\u0019\u0007\u000b\u0002\u0002\u0019\u001a\u0007\u000f\u0002\u0002\u001a\u001f\u0005\u0002\u0002\u0002\u001b\u001c\u0007\f\u0002\u0002\u001c\u001e\u0005\u0002\u0002\u0002\u001d\u001b\u0003\u0002\u0002\u0002\u001e!\u0003\u0002\u0002\u0002\u001f\u001d\u0003\u0002\u0002\u0002\u001f \u0003\u0002\u0002\u0002 \"\u0003\u0002\u0002\u0002!\u001f\u0003\u0002\u0002\u0002\"#\u0007\u0010\u0002\u0002#/\u0003\u0002\u0002\u0002$%\u0007\u000f\u0002\u0002%&\u0005\u0002\u0002\u0002&\'\u0007\u0010\u0002\u0002\'/\u0003\u0002\u0002\u0002()\u0007\u0017\u0002\u0002)/\u0005\u0002\u0002\u0005*+\u0007\u0016\u0002\u0002+/\u0005\u0006\u0004\u0002,-\u0007\u0015\u0002\u0002-/\u0005\u0006\u0004\u0002.\n\u0003\u0002\u0002\u0002.\f\u0003\u0002\u0002\u0002.\u0018\u0003\u0002\u0002\u0002.$\u0003\u0002\u0002\u0002.(\u0003\u0002\u0002\u0002.*\u0003\u0002\u0002\u0002.,\u0003\u0002\u0002\u0002/A\u0003\u0002\u0002\u000201\f\r\u0002\u000212\u0007\u0005\u0002\u00022@\u0005\u0002\u0002\u000e34\f\f\u0002\u000245\u0007\u0006\u0002\u00025@\u0005\u0002\u0002\r67\f\u000b\u0002\u000278\u0007\u0007\u0002\u00028@\u0005\u0002\u0002\f9:\f\n\u0002\u0002:;\u0007\b\u0002\u0002;@\u0005\u0002\u0002\u000b<=\f\t\u0002\u0002=>\u0007\t\u0002\u0002>@\u0005\u0002\u0002\n?0\u0003\u0002\u0002\u0002?3\u0003\u0002\u0002\u0002?6\u0003\u0002\u0002\u0002?9\u0003\u0002\u0002\u0002?<\u0003\u0002\u0002\u0002@C\u0003\u0002\u0002\u0002A?\u0003\u0002\u0002\u0002AB\u0003\u0002\u0002\u0002B\u0003\u0003\u0002\u0002\u0002CA\u0003\u0002\u0002\u0002DE\u0007\u0011\u0002\u0002EF\u0007\u000f\u0002\u0002FG\u0007\r\u0002\u0002GV\u0007\u0010\u0002\u0002HI\u0007\u0012\u0002\u0002IJ\u0007\u000f\u0002\u0002JK\u0007\r\u0002\u0002KV\u0007\u0010\u0002\u0002LM\u0007\u0014\u0002\u0002MN\u0007\u000f\u0002\u0002NO\u0007\r\u0002\u0002OV\u0007\u0010\u0002\u0002PQ\u0007\u0013\u0002\u0002QR\u0007\u000f\u0002\u0002RS\u0007\r\u0002\u0002SV\u0007\u0010\u0002\u0002TV\u0005\b\u0005\u0002UD\u0003\u0002\u0002\u0002UH\u0003\u0002\u0002\u0002UL\u0003\u0002\u0002\u0002UP\u0003\u0002\u0002\u0002UT\u0003\u0002\u0002\u0002V\u0005\u0003\u0002\u0002\u0002WX\b\u0004\u0001\u0002XY\u0007\u0012\u0002\u0002YZ\u0007\u000f\u0002\u0002Z[\u0007\r\u0002\u0002[\u0085\u0007\u0010\u0002\u0002\\]\u0005\b\u0005\u0002]^\u0007\u0005\u0002\u0002^_\u0005\u0006\u0004\u0015_\u0085\u0003\u0002\u0002\u0002`a\u0005\b\u0005\u0002ab\u0007\u0006\u0002\u0002bc\u0005\u0006\u0004\u0014c\u0085\u0003\u0002\u0002\u0002de\u0005\b\u0005\u0002ef\u0007\u0007\u0002\u0002fg\u0005\u0006\u0004\u0013g\u0085\u0003\u0002\u0002\u0002hi\u0005\b\u0005\u0002ij\u0007\b\u0002\u0002jk\u0005\u0006\u0004\u0012k\u0085\u0003\u0002\u0002\u0002lm\u0005\b\u0005\u0002mn\u0007\t\u0002\u0002no\u0005\u0006\u0004\u0011o\u0085\u0003\u0002\u0002\u0002pq\u0007\n\u0002\u0002qr\u0007\u000f\u0002\u0002rs\u0005\u0006\u0004\u0002st\u0007\f\u0002\u0002tu\u0005\u0006\u0004\u0002uv\u0007\u0010\u0002\u0002v\u0085\u0003\u0002\u0002\u0002wx\u0007\u000b\u0002\u0002xy\u0007\u000f\u0002\u0002yz\u0005\u0006\u0004\u0002z{\u0007\f\u0002\u0002{|\u0005\u0006\u0004\u0002|}\u0007\u0010\u0002\u0002}\u0085\u0003\u0002\u0002\u0002~\u007f\u0007\u000f\u0002\u0002\u007f\u0080\u0005\u0006\u0004\u0002\u0080\u0081\u0007\u0010\u0002\u0002\u0081\u0085\u0003\u0002\u0002\u0002\u0082\u0083\u0007\u0017\u0002\u0002\u0083\u0085\u0005\u0006\u0004\u0003\u0084W\u0003\u0002\u0002\u0002\u0084\\\u0003\u0002\u0002\u0002\u0084`\u0003\u0002\u0002\u0002\u0084d\u0003\u0002\u0002\u0002\u0084h\u0003\u0002\u0002\u0002\u0084l\u0003\u0002\u0002\u0002\u0084p\u0003\u0002\u0002\u0002\u0084w\u0003\u0002\u0002\u0002\u0084~\u0003\u0002\u0002\u0002\u0084\u0082\u0003\u0002\u0002\u0002\u0085\u00a6\u0003\u0002\u0002\u0002\u0086\u0087\f\u000b\u0002\u0002\u0087\u0088\u0007\u0005\u0002\u0002\u0088\u00a5\u0005\u0006\u0004\f\u0089\u008a\f\n\u0002\u0002\u008a\u008b\u0007\u0006\u0002\u0002\u008b\u00a5\u0005\u0006\u0004\u000b\u008c\u008d\f\t\u0002\u0002\u008d\u008e\u0007\u0007\u0002\u0002\u008e\u00a5\u0005\u0006\u0004\n\u008f\u0090\f\b\u0002\u0002\u0090\u0091\u0007\b\u0002\u0002\u0091\u00a5\u0005\u0006\u0004\t\u0092\u0093\f\u0007\u0002\u0002\u0093\u0094\u0007\t\u0002\u0002\u0094\u00a5\u0005\u0006\u0004\b\u0095\u0096\f\u0010\u0002\u0002\u0096\u0097\u0007\u0005\u0002\u0002\u0097\u00a5\u0005\b\u0005\u0002\u0098\u0099\f\u000f\u0002\u0002\u0099\u009a\u0007\u0006\u0002\u0002\u009a\u00a5\u0005\b\u0005\u0002\u009b\u009c\f\u000e\u0002\u0002\u009c\u009d\u0007\u0007\u0002\u0002\u009d\u00a5\u0005\b\u0005\u0002\u009e\u009f\f\r\u0002\u0002\u009f\u00a0\u0007\b\u0002\u0002\u00a0\u00a5\u0005\b\u0005\u0002\u00a1\u00a2\f\f\u0002\u0002\u00a2\u00a3\u0007\t\u0002\u0002\u00a3\u00a5\u0005\b\u0005\u0002\u00a4\u0086\u0003\u0002\u0002\u0002\u00a4\u0089\u0003\u0002\u0002\u0002\u00a4\u008c\u0003\u0002\u0002\u0002\u00a4\u008f\u0003\u0002\u0002\u0002\u00a4\u0092\u0003\u0002\u0002\u0002\u00a4\u0095\u0003\u0002\u0002\u0002\u00a4\u0098\u0003\u0002\u0002\u0002\u00a4\u009b\u0003\u0002\u0002\u0002\u00a4\u009e\u0003\u0002\u0002\u0002\u00a4\u00a1\u0003\u0002\u0002\u0002\u00a5\u00a8\u0003\u0002\u0002\u0002\u00a6\u00a4\u0003\u0002\u0002\u0002\u00a6\u00a7\u0003\u0002\u0002\u0002\u00a7\u0007\u0003\u0002\u0002\u0002\u00a8\u00a6\u0003\u0002\u0002\u0002\u00a9\u00ab\u0007\b\u0002\u0002\u00aa\u00a9\u0003\u0002\u0002\u0002\u00aa\u00ab\u0003\u0002\u0002\u0002\u00ab\u00ac\u0003\u0002\u0002\u0002\u00ac\u00b2\u0007\r\u0002\u0002\u00ad\u00af\u0007\b\u0002\u0002\u00ae\u00ad\u0003\u0002\u0002\u0002\u00ae\u00af\u0003\u0002\u0002\u0002\u00af\u00b0\u0003\u0002\u0002\u0002\u00b0\u00b2\u0007\u000e\u0002\u0002\u00b1\u00aa\u0003\u0002\u0002\u0002\u00b1\u00ae\u0003\u0002\u0002\u0002\u00b2\t\u0003\u0002\u0002\u0002\u000e\u0013\u001f.?AU\u0084\u00a4\u00a6\u00aa\u00ae\u00b1"
    public static final int
    ABS
    21
    public static final int
    COMMA
    10
    public static final int
    DIV
    4
    public static final int
    FLOAT
    12
    public static final int
    INPUT
    15
    public static final int
    LPAREN
    13
    public static final int
    MAX
    9
    public static final int
    MIN
    8
    public static final int
    MINUS
    6
    public static final int
    MOD
    7
    public static final int
    NATURAL
    11
    public static final int
    NEWLINE
    1
    public static final int
    OUTPUT
    16
    public static final int
    PLUS
    5
    public static final int
    PREVIOUS_MAX
    20
    public static final int
    PREVIOUS_MAX_OUTPUT
    18
    public static final int
    PREVIOUS_MIN
    19
    public static final int
    PREVIOUS_MIN_OUTPUT
    17
    public static final int
    RPAREN
    14
    public static final int
    RULE_atomic
    1
    public static final int
    RULE_expr
    0
    public static final int
    RULE_extended_expr
    2
    public static final int
    RULE_value
    3
    public static final int
    TIMES
    3
    public static final int
    WS
    2
  • net.maswag.falcaun.parser.LTLLexer
    Modifier and Type
    Constant Field
    Value
    public static final String
    _serializedATN
    "\u0003\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\u0002\u001d\u00a1\b\u0001\u0004\u0002\t\u0002\u0004\u0003\t\u0003\u0004\u0004\t\u0004\u0004\u0005\t\u0005\u0004\u0006\t\u0006\u0004\u0007\t\u0007\u0004\b\t\b\u0004\t\t\t\u0004\n\t\n\u0004\u000b\t\u000b\u0004\f\t\f\u0004\r\t\r\u0004\u000e\t\u000e\u0004\u000f\t\u000f\u0004\u0010\t\u0010\u0004\u0011\t\u0011\u0004\u0012\t\u0012\u0004\u0013\t\u0013\u0004\u0014\t\u0014\u0004\u0015\t\u0015\u0004\u0016\t\u0016\u0004\u0017\t\u0017\u0004\u0018\t\u0018\u0004\u0019\t\u0019\u0004\u001a\t\u001a\u0004\u001b\t\u001b\u0004\u001c\t\u001c\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0004\u0005\u0004H\n\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0006\u0003\u0006\u0003\u0007\u0003\u0007\u0003\b\u0003\b\u0003\t\u0003\t\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0005\n`\n\n\u0003\u000b\u0003\u000b\u0003\u000b\u0003\u000b\u0003\u000b\u0005\u000bg\n\u000b\u0003\f\u0003\f\u0003\r\u0003\r\u0003\u000e\u0003\u000e\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0012\u0003\u0012\u0003\u0013\u0003\u0013\u0003\u0013\u0003\u0014\u0003\u0014\u0003\u0014\u0003\u0015\u0003\u0015\u0003\u0016\u0003\u0016\u0003\u0017\u0003\u0017\u0007\u0017\u0086\n\u0017\f\u0017\u000e\u0017\u0089\u000b\u0017\u0003\u0017\u0005\u0017\u008c\n\u0017\u0003\u0018\u0003\u0018\u0003\u0019\u0003\u0019\u0003\u0019\u0006\u0019\u0093\n\u0019\r\u0019\u000e\u0019\u0094\u0003\u001a\u0003\u001a\u0003\u001b\u0003\u001b\u0003\u001c\u0003\u001c\u0007\u001c\u009d\n\u001c\f\u001c\u000e\u001c\u00a0\u000b\u001c\u0002\u0002\u001d\u0003\u0003\u0005\u0004\u0007\u0005\t\u0006\u000b\u0007\r\b\u000f\t\u0011\n\u0013\u000b\u0015\f\u0017\r\u0019\u000e\u001b\u000f\u001d\u0010\u001f\u0011!\u0012#\u0013%\u0014\'\u0015)\u0016+\u0017-\u0018/\u00191\u001a3\u001b5\u001c7\u001d\u0003\u0002\u0007\u0004\u0002\u000b\u000b\"\"\u0003\u00023;\u0003\u00022;\u0004\u0002C\\c|\u0005\u00022;C\\c|\u0002\u00a9\u0002\u0003\u0003\u0002\u0002\u0002\u0002\u0005\u0003\u0002\u0002\u0002\u0002\u0007\u0003\u0002\u0002\u0002\u0002\t\u0003\u0002\u0002\u0002\u0002\u000b\u0003\u0002\u0002\u0002\u0002\r\u0003\u0002\u0002\u0002\u0002\u000f\u0003\u0002\u0002\u0002\u0002\u0011\u0003\u0002\u0002\u0002\u0002\u0013\u0003\u0002\u0002\u0002\u0002\u0015\u0003\u0002\u0002\u0002\u0002\u0017\u0003\u0002\u0002\u0002\u0002\u0019\u0003\u0002\u0002\u0002\u0002\u001b\u0003\u0002\u0002\u0002\u0002\u001d\u0003\u0002\u0002\u0002\u0002\u001f\u0003\u0002\u0002\u0002\u0002!\u0003\u0002\u0002\u0002\u0002#\u0003\u0002\u0002\u0002\u0002%\u0003\u0002\u0002\u0002\u0002\'\u0003\u0002\u0002\u0002\u0002)\u0003\u0002\u0002\u0002\u0002+\u0003\u0002\u0002\u0002\u0002-\u0003\u0002\u0002\u0002\u0002/\u0003\u0002\u0002\u0002\u00021\u0003\u0002\u0002\u0002\u00023\u0003\u0002\u0002\u0002\u00025\u0003\u0002\u0002\u0002\u00027\u0003\u0002\u0002\u0002\u00039\u0003\u0002\u0002\u0002\u0005?\u0003\u0002\u0002\u0002\u0007G\u0003\u0002\u0002\u0002\tM\u0003\u0002\u0002\u0002\u000bQ\u0003\u0002\u0002\u0002\rS\u0003\u0002\u0002\u0002\u000fU\u0003\u0002\u0002\u0002\u0011W\u0003\u0002\u0002\u0002\u0013_\u0003\u0002\u0002\u0002\u0015f\u0003\u0002\u0002\u0002\u0017h\u0003\u0002\u0002\u0002\u0019j\u0003\u0002\u0002\u0002\u001bl\u0003\u0002\u0002\u0002\u001dn\u0003\u0002\u0002\u0002\u001fq\u0003\u0002\u0002\u0002!t\u0003\u0002\u0002\u0002#w\u0003\u0002\u0002\u0002%y\u0003\u0002\u0002\u0002\'|\u0003\u0002\u0002\u0002)\u007f\u0003\u0002\u0002\u0002+\u0081\u0003\u0002\u0002\u0002-\u008b\u0003\u0002\u0002\u0002/\u008d\u0003\u0002\u0002\u00021\u008f\u0003\u0002\u0002\u00023\u0096\u0003\u0002\u0002\u00025\u0098\u0003\u0002\u0002\u00027\u009a\u0003\u0002\u0002\u00029:\u0007k\u0002\u0002:;\u0007p\u0002\u0002;<\u0007r\u0002\u0002<=\u0007w\u0002\u0002=>\u0007v\u0002\u0002>\u0004\u0003\u0002\u0002\u0002?@\u0007q\u0002\u0002@A\u0007w\u0002\u0002AB\u0007v\u0002\u0002BC\u0007r\u0002\u0002CD\u0007w\u0002\u0002DE\u0007v\u0002\u0002E\u0006\u0003\u0002\u0002\u0002FH\u0007\u000f\u0002\u0002GF\u0003\u0002\u0002\u0002GH\u0003\u0002\u0002\u0002HI\u0003\u0002\u0002\u0002IJ\u0007\f\u0002\u0002JK\u0003\u0002\u0002\u0002KL\b\u0004\u0002\u0002L\b\u0003\u0002\u0002\u0002MN\t\u0002\u0002\u0002NO\u0003\u0002\u0002\u0002OP\b\u0005\u0002\u0002P\n\u0003\u0002\u0002\u0002QR\u0007a\u0002\u0002R\f\u0003\u0002\u0002\u0002ST\u0007]\u0002\u0002T\u000e\u0003\u0002\u0002\u0002UV\u0007_\u0002\u0002V\u0010\u0003\u0002\u0002\u0002WX\u0007.\u0002\u0002X\u0012\u0003\u0002\u0002\u0002YZ\u0007]\u0002\u0002Z`\u0007_\u0002\u0002[\\\u0007c\u0002\u0002\\]\u0007n\u0002\u0002]`\u0007y\u0002\u0002^`\u0007I\u0002\u0002_Y\u0003\u0002\u0002\u0002_[\u0003\u0002\u0002\u0002_^\u0003\u0002\u0002\u0002`\u0014\u0003\u0002\u0002\u0002ab\u0007>\u0002\u0002bg\u0007@\u0002\u0002cd\u0007g\u0002\u0002dg\u0007x\u0002\u0002eg\u0007H\u0002\u0002fa\u0003\u0002\u0002\u0002fc\u0003\u0002\u0002\u0002fe\u0003\u0002\u0002\u0002g\u0016\u0003\u0002\u0002\u0002hi\u0007W\u0002\u0002i\u0018\u0003\u0002\u0002\u0002jk\u0007T\u0002\u0002k\u001a\u0003\u0002\u0002\u0002lm\u0007Z\u0002\u0002m\u001c\u0003\u0002\u0002\u0002no\u0007~\u0002\u0002op\u0007~\u0002\u0002p\u001e\u0003\u0002\u0002\u0002qr\u0007(\u0002\u0002rs\u0007(\u0002\u0002s \u0003\u0002\u0002\u0002tu\u0007/\u0002\u0002uv\u0007@\u0002\u0002v\"\u0003\u0002\u0002\u0002wx\u0007#\u0002\u0002x$\u0003\u0002\u0002\u0002yz\u0007?\u0002\u0002z{\u0007?\u0002\u0002{&\u0003\u0002\u0002\u0002|}\u0007#\u0002\u0002}~\u0007?\u0002\u0002~(\u0003\u0002\u0002\u0002\u007f\u0080\u0007>\u0002\u0002\u0080*\u0003\u0002\u0002\u0002\u0081\u0082\u0007@\u0002\u0002\u0082,\u0003\u0002\u0002\u0002\u0083\u0087\t\u0003\u0002\u0002\u0084\u0086\t\u0004\u0002\u0002\u0085\u0084\u0003\u0002\u0002\u0002\u0086\u0089\u0003\u0002\u0002\u0002\u0087\u0085\u0003\u0002\u0002\u0002\u0087\u0088\u0003\u0002\u0002\u0002\u0088\u008c\u0003\u0002\u0002\u0002\u0089\u0087\u0003\u0002\u0002\u0002\u008a\u008c\u00072\u0002\u0002\u008b\u0083\u0003\u0002\u0002\u0002\u008b\u008a\u0003\u0002\u0002\u0002\u008c.\u0003\u0002\u0002\u0002\u008d\u008e\u0007/\u0002\u0002\u008e0\u0003\u0002\u0002\u0002\u008f\u0090\u0005-\u0017\u0002\u0090\u0092\u00070\u0002\u0002\u0091\u0093\t\u0004\u0002\u0002\u0092\u0091\u0003\u0002\u0002\u0002\u0093\u0094\u0003\u0002\u0002\u0002\u0094\u0092\u0003\u0002\u0002\u0002\u0094\u0095\u0003\u0002\u0002\u0002\u00952\u0003\u0002\u0002\u0002\u0096\u0097\u0007*\u0002\u0002\u00974\u0003\u0002\u0002\u0002\u0098\u0099\u0007+\u0002\u0002\u00996\u0003\u0002\u0002\u0002\u009a\u009e\t\u0005\u0002\u0002\u009b\u009d\t\u0006\u0002\u0002\u009c\u009b\u0003\u0002\u0002\u0002\u009d\u00a0\u0003\u0002\u0002\u0002\u009e\u009c\u0003\u0002\u0002\u0002\u009e\u009f\u0003\u0002\u0002\u0002\u009f8\u0003\u0002\u0002\u0002\u00a0\u009e\u0003\u0002\u0002\u0002\n\u0002G_f\u0087\u008b\u0094\u009e\u0003\b\u0002\u0002"
    public static final int
    AND
    15
    public static final int
    COMMA
    8
    public static final int
    EQ
    18
    public static final int
    EVENTUALLY
    10
    public static final int
    FLOAT
    24
    public static final int
    GLOBALLY
    9
    public static final int
    GT
    21
    public static final int
    ID
    27
    public static final int
    IMPLY
    16
    public static final int
    INPUT
    1
    public static final int
    LBRACKET
    6
    public static final int
    LPAREN
    25
    public static final int
    LT
    20
    public static final int
    MINUS
    23
    public static final int
    NATURAL
    22
    public static final int
    NE
    19
    public static final int
    NEWLINE
    3
    public static final int
    NEXT
    13
    public static final int
    NOT
    17
    public static final int
    OR
    14
    public static final int
    OUTPUT
    2
    public static final int
    RBRACKET
    7
    public static final int
    RELEASE
    12
    public static final int
    RPAREN
    26
    public static final int
    UNDER
    5
    public static final int
    UNTIL
    11
    public static final int
    WS
    4
  • net.maswag.falcaun.parser.LTLParser
    Modifier and Type
    Constant Field
    Value
    public static final String
    _serializedATN
    "\u0003\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\u0003\u001dX\u0004\u0002\t\u0002\u0004\u0003\t\u0003\u0004\u0004\t\u0004\u0004\u0005\t\u0005\u0004\u0006\t\u0006\u0004\u0007\t\u0007\u0004\b\t\b\u0004\t\t\t\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0005\u0002&\n\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0007\u00022\n\u0002\f\u0002\u000e\u00025\u000b\u0002\u0003\u0003\u0003\u0003\u0003\u0003\u0005\u0003:\n\u0003\u0003\u0004\u0003\u0004\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0005\u0005B\n\u0005\u0003\u0006\u0003\u0006\u0003\u0007\u0003\u0007\u0003\b\u0005\bI\n\b\u0003\b\u0003\b\u0005\bM\n\b\u0003\b\u0005\bP\n\b\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0002\u0003\u0002\n\u0002\u0004\u0006\b\n\f\u000e\u0010\u0002\u0005\u0003\u0002\u000b\f\u0003\u0002\r\u000e\u0003\u0002\u0014\u0017\u0002]\u0002%\u0003\u0002\u0002\u0002\u00049\u0003\u0002\u0002\u0002\u0006;\u0003\u0002\u0002\u0002\bA\u0003\u0002\u0002\u0002\nC\u0003\u0002\u0002\u0002\fE\u0003\u0002\u0002\u0002\u000eO\u0003\u0002\u0002\u0002\u0010Q\u0003\u0002\u0002\u0002\u0012\u0013\b\u0002\u0001\u0002\u0013\u0014\u0007\u0003\u0002\u0002\u0014\u0015\u0007\u0014\u0002\u0002\u0015&\u0007\u001d\u0002\u0002\u0016\u0017\u0007\u0004\u0002\u0002\u0017\u0018\u0007\u0014\u0002\u0002\u0018&\u0007\u001d\u0002\u0002\u0019\u001a\u0005\u0004\u0003\u0002\u001a\u001b\u0005\u0002\u0002\u0006\u001b&\u0003\u0002\u0002\u0002\u001c\u001d\u0005\u0006\u0004\u0002\u001d\u001e\u0007\u0007\u0002\u0002\u001e\u001f\u0005\u0010\t\u0002\u001f \u0005\u0002\u0002\u0005 &\u0003\u0002\u0002\u0002!\"\u0007\u001b\u0002\u0002\"#\u0005\u0002\u0002\u0002#$\u0007\u001c\u0002\u0002$&\u0003\u0002\u0002\u0002%\u0012\u0003\u0002\u0002\u0002%\u0016\u0003\u0002\u0002\u0002%\u0019\u0003\u0002\u0002\u0002%\u001c\u0003\u0002\u0002\u0002%!\u0003\u0002\u0002\u0002&3\u0003\u0002\u0002\u0002\'(\f\u0007\u0002\u0002()\u0005\b\u0005\u0002)*\u0005\u0002\u0002\b*2\u0003\u0002\u0002\u0002+,\f\u0004\u0002\u0002,-\u0005\n\u0006\u0002-.\u0007\u0007\u0002\u0002./\u0005\u0010\t\u0002/0\u0005\u0002\u0002\u000502\u0003\u0002\u0002\u00021\'\u0003\u0002\u0002\u00021+\u0003\u0002\u0002\u000225\u0003\u0002\u0002\u000231\u0003\u0002\u0002\u000234\u0003\u0002\u0002\u00024\u0003\u0003\u0002\u0002\u000253\u0003\u0002\u0002\u00026:\u0007\u0013\u0002\u00027:\u0007\u000f\u0002\u00028:\u0005\u0006\u0004\u000296\u0003\u0002\u0002\u000297\u0003\u0002\u0002\u000298\u0003\u0002\u0002\u0002:\u0005\u0003\u0002\u0002\u0002;<\t\u0002\u0002\u0002<\u0007\u0003\u0002\u0002\u0002=B\u0007\u0011\u0002\u0002>B\u0007\u0010\u0002\u0002?B\u0007\u0012\u0002\u0002@B\u0005\n\u0006\u0002A=\u0003\u0002\u0002\u0002A>\u0003\u0002\u0002\u0002A?\u0003\u0002\u0002\u0002A@\u0003\u0002\u0002\u0002B\t\u0003\u0002\u0002\u0002CD\t\u0003\u0002\u0002D\u000b\u0003\u0002\u0002\u0002EF\t\u0004\u0002\u0002F\r\u0003\u0002\u0002\u0002GI\u0007\u0019\u0002\u0002HG\u0003\u0002\u0002\u0002HI\u0003\u0002\u0002\u0002IJ\u0003\u0002\u0002\u0002JP\u0007\u0018\u0002\u0002KM\u0007\u0019\u0002\u0002LK\u0003\u0002\u0002\u0002LM\u0003\u0002\u0002\u0002MN\u0003\u0002\u0002\u0002NP\u0007\u001a\u0002\u0002OH\u0003\u0002\u0002\u0002OL\u0003\u0002\u0002\u0002P\u000f\u0003\u0002\u0002\u0002QR\u0007\b\u0002\u0002RS\u0007\u0018\u0002\u0002ST\u0007\n\u0002\u0002TU\u0007\u0018\u0002\u0002UV\u0007\t\u0002\u0002V\u0011\u0003\u0002\u0002\u0002\n%139AHLO"
    public static final int
    AND
    15
    public static final int
    COMMA
    8
    public static final int
    EQ
    18
    public static final int
    EVENTUALLY
    10
    public static final int
    FLOAT
    24
    public static final int
    GLOBALLY
    9
    public static final int
    GT
    21
    public static final int
    ID
    27
    public static final int
    IMPLY
    16
    public static final int
    INPUT
    1
    public static final int
    LBRACKET
    6
    public static final int
    LPAREN
    25
    public static final int
    LT
    20
    public static final int
    MINUS
    23
    public static final int
    NATURAL
    22
    public static final int
    NE
    19
    public static final int
    NEWLINE
    3
    public static final int
    NEXT
    13
    public static final int
    NOT
    17
    public static final int
    OR
    14
    public static final int
    OUTPUT
    2
    public static final int
    RBRACKET
    7
    public static final int
    RELEASE
    12
    public static final int
    RPAREN
    26
    public static final int
    RULE_binaryOperator
    3
    public static final int
    RULE_binaryTemporalOperator
    4
    public static final int
    RULE_comparisonOperator
    5
    public static final int
    RULE_expr
    0
    public static final int
    RULE_interval
    7
    public static final int
    RULE_unaryOperator
    1
    public static final int
    RULE_unaryTemporalOperator
    2
    public static final int
    RULE_value
    6
    public static final int
    UNDER
    5
    public static final int
    UNTIL
    11
    public static final int
    WS
    4
  • net.maswag.falcaun.parser.SignalMapperLexer
    Modifier and Type
    Constant Field
    Value
    public static final String
    _serializedATN
    "\u0003\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\u0002\u0013\u0084\b\u0001\u0004\u0002\t\u0002\u0004\u0003\t\u0003\u0004\u0004\t\u0004\u0004\u0005\t\u0005\u0004\u0006\t\u0006\u0004\u0007\t\u0007\u0004\b\t\b\u0004\t\t\t\u0004\n\t\n\u0004\u000b\t\u000b\u0004\f\t\f\u0004\r\t\r\u0004\u000e\t\u000e\u0004\u000f\t\u000f\u0004\u0010\t\u0010\u0004\u0011\t\u0011\u0004\u0012\t\u0012\u0003\u0002\u0005\u0002\'\n\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0004\u0003\u0004\u0003\u0005\u0003\u0005\u0003\u0006\u0003\u0006\u0003\u0007\u0003\u0007\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0005\b@\n\b\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0005\tH\n\t\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0005\nP\n\n\u0003\u000b\u0003\u000b\u0003\f\u0003\f\u0007\fV\n\f\f\f\u000e\fY\u000b\f\u0003\f\u0005\f\\\n\f\u0003\r\u0003\r\u0003\r\u0006\ra\n\r\r\r\u000e\rb\u0003\u000e\u0003\u000e\u0003\u000f\u0003\u000f\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0005\u0011{\n\u0011\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0005\u0012\u0083\n\u0012\u0002\u0002\u0013\u0003\u0003\u0005\u0004\u0007\u0005\t\u0006\u000b\u0007\r\b\u000f\t\u0011\n\u0013\u000b\u0015\f\u0017\r\u0019\u000e\u001b\u000f\u001d\u0010\u001f\u0011!\u0012#\u0013\u0003\u0002\u0005\u0004\u0002\u000b\u000b\"\"\u0003\u00023;\u0003\u00022;\u0002\u008d\u0002\u0003\u0003\u0002\u0002\u0002\u0002\u0005\u0003\u0002\u0002\u0002\u0002\u0007\u0003\u0002\u0002\u0002\u0002\t\u0003\u0002\u0002\u0002\u0002\u000b\u0003\u0002\u0002\u0002\u0002\r\u0003\u0002\u0002\u0002\u0002\u000f\u0003\u0002\u0002\u0002\u0002\u0011\u0003\u0002\u0002\u0002\u0002\u0013\u0003\u0002\u0002\u0002\u0002\u0015\u0003\u0002\u0002\u0002\u0002\u0017\u0003\u0002\u0002\u0002\u0002\u0019\u0003\u0002\u0002\u0002\u0002\u001b\u0003\u0002\u0002\u0002\u0002\u001d\u0003\u0002\u0002\u0002\u0002\u001f\u0003\u0002\u0002\u0002\u0002!\u0003\u0002\u0002\u0002\u0002#\u0003\u0002\u0002\u0002\u0003&\u0003\u0002\u0002\u0002\u0005,\u0003\u0002\u0002\u0002\u00070\u0003\u0002\u0002\u0002\t2\u0003\u0002\u0002\u0002\u000b4\u0003\u0002\u0002\u0002\r6\u0003\u0002\u0002\u0002\u000f?\u0003\u0002\u0002\u0002\u0011G\u0003\u0002\u0002\u0002\u0013O\u0003\u0002\u0002\u0002\u0015Q\u0003\u0002\u0002\u0002\u0017[\u0003\u0002\u0002\u0002\u0019]\u0003\u0002\u0002\u0002\u001bd\u0003\u0002\u0002\u0002\u001df\u0003\u0002\u0002\u0002\u001fh\u0003\u0002\u0002\u0002!z\u0003\u0002\u0002\u0002#\u0082\u0003\u0002\u0002\u0002%\'\u0007\u000f\u0002\u0002&%\u0003\u0002\u0002\u0002&\'\u0003\u0002\u0002\u0002\'(\u0003\u0002\u0002\u0002()\u0007\f\u0002\u0002)*\u0003\u0002\u0002\u0002*+\b\u0002\u0002\u0002+\u0004\u0003\u0002\u0002\u0002,-\t\u0002\u0002\u0002-.\u0003\u0002\u0002\u0002./\b\u0003\u0002\u0002/\u0006\u0003\u0002\u0002\u000201\u0007,\u0002\u00021\b\u0003\u0002\u0002\u000223\u00071\u0002\u00023\n\u0003\u0002\u0002\u000245\u0007-\u0002\u00025\f\u0003\u0002\u0002\u000267\u0007/\u0002\u00027\u000e\u0003\u0002\u0002\u00028@\u0007\'\u0002\u00029:\u0007o\u0002\u0002:;\u0007q\u0002\u0002;@\u0007f\u0002\u0002<=\u0007O\u0002\u0002=>\u0007Q\u0002\u0002>@\u0007F\u0002\u0002?8\u0003\u0002\u0002\u0002?9\u0003\u0002\u0002\u0002?<\u0003\u0002\u0002\u0002@\u0010\u0003\u0002\u0002\u0002AB\u0007o\u0002\u0002BC\u0007k\u0002\u0002CH\u0007p\u0002\u0002DE\u0007O\u0002\u0002EF\u0007K\u0002\u0002FH\u0007P\u0002\u0002GA\u0003\u0002\u0002\u0002GD\u0003\u0002\u0002\u0002H\u0012\u0003\u0002\u0002\u0002IJ\u0007o\u0002\u0002JK\u0007c\u0002\u0002KP\u0007z\u0002\u0002LM\u0007O\u0002\u0002MN\u0007C\u0002\u0002NP\u0007Z\u0002\u0002OI\u0003\u0002\u0002\u0002OL\u0003\u0002\u0002\u0002P\u0014\u0003\u0002\u0002\u0002QR\u0007.\u0002\u0002R\u0016\u0003\u0002\u0002\u0002SW\t\u0003\u0002\u0002TV\t\u0004\u0002\u0002UT\u0003\u0002\u0002\u0002VY\u0003\u0002\u0002\u0002WU\u0003\u0002\u0002\u0002WX\u0003\u0002\u0002\u0002X\\\u0003\u0002\u0002\u0002YW\u0003\u0002\u0002\u0002Z\\\u00072\u0002\u0002[S\u0003\u0002\u0002\u0002[Z\u0003\u0002\u0002\u0002\\\u0018\u0003\u0002\u0002\u0002]^\u0005\u0017\f\u0002^`\u00070\u0002\u0002_a\t\u0004\u0002\u0002`_\u0003\u0002\u0002\u0002ab\u0003\u0002\u0002\u0002b`\u0003\u0002\u0002\u0002bc\u0003\u0002\u0002\u0002c\u001a\u0003\u0002\u0002\u0002de\u0007*\u0002\u0002e\u001c\u0003\u0002\u0002\u0002fg\u0007+\u0002\u0002g\u001e\u0003\u0002\u0002\u0002hi\u0007k\u0002\u0002ij\u0007p\u0002\u0002jk\u0007r\u0002\u0002kl\u0007w\u0002\u0002lm\u0007v\u0002\u0002m \u0003\u0002\u0002\u0002no\u0007u\u0002\u0002op\u0007k\u0002\u0002pq\u0007i\u0002\u0002qr\u0007p\u0002\u0002rs\u0007c\u0002\u0002s{\u0007n\u0002\u0002tu\u0007q\u0002\u0002uv\u0007w\u0002\u0002vw\u0007v\u0002\u0002wx\u0007r\u0002\u0002xy\u0007w\u0002\u0002y{\u0007v\u0002\u0002zn\u0003\u0002\u0002\u0002zt\u0003\u0002\u0002\u0002{\"\u0003\u0002\u0002\u0002|}\u0007c\u0002\u0002}~\u0007d\u0002\u0002~\u0083\u0007u\u0002\u0002\u007f\u0080\u0007C\u0002\u0002\u0080\u0081\u0007D\u0002\u0002\u0081\u0083\u0007U\u0002\u0002\u0082|\u0003\u0002\u0002\u0002\u0082\u007f\u0003\u0002\u0002\u0002\u0083$\u0003\u0002\u0002\u0002\f\u0002&?GOW[bz\u0082\u0003\b\u0002\u0002"
    public static final int
    ABS
    17
    public static final int
    COMMA
    10
    public static final int
    DIV
    4
    public static final int
    FLOAT
    12
    public static final int
    INPUT
    15
    public static final int
    LPAREN
    13
    public static final int
    MAX
    9
    public static final int
    MIN
    8
    public static final int
    MINUS
    6
    public static final int
    MOD
    7
    public static final int
    NATURAL
    11
    public static final int
    NEWLINE
    1
    public static final int
    OUTPUT
    16
    public static final int
    PLUS
    5
    public static final int
    RPAREN
    14
    public static final int
    TIMES
    3
    public static final int
    WS
    2
  • net.maswag.falcaun.parser.SignalMapperParser
    Modifier and Type
    Constant Field
    Value
    public static final String
    _serializedATN
    "\u0003\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\u0003\u0013T\u0004\u0002\t\u0002\u0004\u0003\t\u0003\u0004\u0004\t\u0004\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0007\u0002\u0010\n\u0002\f\u0002\u000e\u0002\u0013\u000b\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0007\u0002\u001c\n\u0002\f\u0002\u000e\u0002\u001f\u000b\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0005\u0002)\n\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0007\u0002:\n\u0002\f\u0002\u000e\u0002=\u000b\u0002\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0005\u0003H\n\u0003\u0003\u0004\u0005\u0004K\n\u0004\u0003\u0004\u0003\u0004\u0005\u0004O\n\u0004\u0003\u0004\u0005\u0004R\n\u0004\u0003\u0004\u0002\u0003\u0002\u0005\u0002\u0004\u0006\u0002\u0002\u0002`\u0002(\u0003\u0002\u0002\u0002\u0004G\u0003\u0002\u0002\u0002\u0006Q\u0003\u0002\u0002\u0002\b\t\b\u0002\u0001\u0002\t)\u0005\u0004\u0003\u0002\n\u000b\u0007\n\u0002\u0002\u000b\f\u0007\u000f\u0002\u0002\f\u0011\u0005\u0002\u0002\u0002\r\u000e\u0007\f\u0002\u0002\u000e\u0010\u0005\u0002\u0002\u0002\u000f\r\u0003\u0002\u0002\u0002\u0010\u0013\u0003\u0002\u0002\u0002\u0011\u000f\u0003\u0002\u0002\u0002\u0011\u0012\u0003\u0002\u0002\u0002\u0012\u0014\u0003\u0002\u0002\u0002\u0013\u0011\u0003\u0002\u0002\u0002\u0014\u0015\u0007\u0010\u0002\u0002\u0015)\u0003\u0002\u0002\u0002\u0016\u0017\u0007\u000b\u0002\u0002\u0017\u0018\u0007\u000f\u0002\u0002\u0018\u001d\u0005\u0002\u0002\u0002\u0019\u001a\u0007\f\u0002\u0002\u001a\u001c\u0005\u0002\u0002\u0002\u001b\u0019\u0003\u0002\u0002\u0002\u001c\u001f\u0003\u0002\u0002\u0002\u001d\u001b\u0003\u0002\u0002\u0002\u001d\u001e\u0003\u0002\u0002\u0002\u001e \u0003\u0002\u0002\u0002\u001f\u001d\u0003\u0002\u0002\u0002 !\u0007\u0010\u0002\u0002!)\u0003\u0002\u0002\u0002\"#\u0007\u000f\u0002\u0002#$\u0005\u0002\u0002\u0002$%\u0007\u0010\u0002\u0002%)\u0003\u0002\u0002\u0002&\'\u0007\u0013\u0002\u0002\')\u0005\u0002\u0002\u0003(\b\u0003\u0002\u0002\u0002(\n\u0003\u0002\u0002\u0002(\u0016\u0003\u0002\u0002\u0002(\"\u0003\u0002\u0002\u0002(&\u0003\u0002\u0002\u0002);\u0003\u0002\u0002\u0002*+\f\u000b\u0002\u0002+,\u0007\u0005\u0002\u0002,:\u0005\u0002\u0002\f-.\f\n\u0002\u0002./\u0007\u0006\u0002\u0002/:\u0005\u0002\u0002\u000b01\f\t\u0002\u000212\u0007\u0007\u0002\u00022:\u0005\u0002\u0002\n34\f\b\u0002\u000245\u0007\b\u0002\u00025:\u0005\u0002\u0002\t67\f\u0007\u0002\u000278\u0007\t\u0002\u00028:\u0005\u0002\u0002\b9*\u0003\u0002\u0002\u00029-\u0003\u0002\u0002\u000290\u0003\u0002\u0002\u000293\u0003\u0002\u0002\u000296\u0003\u0002\u0002\u0002:=\u0003\u0002\u0002\u0002;9\u0003\u0002\u0002\u0002;<\u0003\u0002\u0002\u0002<\u0003\u0003\u0002\u0002\u0002=;\u0003\u0002\u0002\u0002>?\u0007\u0011\u0002\u0002?@\u0007\u000f\u0002\u0002@A\u0007\r\u0002\u0002AH\u0007\u0010\u0002\u0002BC\u0007\u0012\u0002\u0002CD\u0007\u000f\u0002\u0002DE\u0007\r\u0002\u0002EH\u0007\u0010\u0002\u0002FH\u0005\u0006\u0004\u0002G>\u0003\u0002\u0002\u0002GB\u0003\u0002\u0002\u0002GF\u0003\u0002\u0002\u0002H\u0005\u0003\u0002\u0002\u0002IK\u0007\b\u0002\u0002JI\u0003\u0002\u0002\u0002JK\u0003\u0002\u0002\u0002KL\u0003\u0002\u0002\u0002LR\u0007\r\u0002\u0002MO\u0007\b\u0002\u0002NM\u0003\u0002\u0002\u0002NO\u0003\u0002\u0002\u0002OP\u0003\u0002\u0002\u0002PR\u0007\u000e\u0002\u0002QJ\u0003\u0002\u0002\u0002QN\u0003\u0002\u0002\u0002R\u0007\u0003\u0002\u0002\u0002\u000b\u0011\u001d(9;GJNQ"
    public static final int
    ABS
    17
    public static final int
    COMMA
    10
    public static final int
    DIV
    4
    public static final int
    FLOAT
    12
    public static final int
    INPUT
    15
    public static final int
    LPAREN
    13
    public static final int
    MAX
    9
    public static final int
    MIN
    8
    public static final int
    MINUS
    6
    public static final int
    MOD
    7
    public static final int
    NATURAL
    11
    public static final int
    NEWLINE
    1
    public static final int
    OUTPUT
    16
    public static final int
    PLUS
    5
    public static final int
    RPAREN
    14
    public static final int
    RULE_atomic
    1
    public static final int
    RULE_expr
    0
    public static final int
    RULE_value
    2
    public static final int
    TIMES
    3
    public static final int
    WS
    2
  • net.maswag.falcaun.parser.STLLexer
    Modifier and Type
    Constant Field
    Value
    public static final String
    _serializedATN
    "\u0003\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\u0002\u001d\u00a8\b\u0001\u0004\u0002\t\u0002\u0004\u0003\t\u0003\u0004\u0004\t\u0004\u0004\u0005\t\u0005\u0004\u0006\t\u0006\u0004\u0007\t\u0007\u0004\b\t\b\u0004\t\t\t\u0004\n\t\n\u0004\u000b\t\u000b\u0004\f\t\f\u0004\r\t\r\u0004\u000e\t\u000e\u0004\u000f\t\u000f\u0004\u0010\t\u0010\u0004\u0011\t\u0011\u0004\u0012\t\u0012\u0004\u0013\t\u0013\u0004\u0014\t\u0014\u0004\u0015\t\u0015\u0004\u0016\t\u0016\u0004\u0017\t\u0017\u0004\u0018\t\u0018\u0004\u0019\t\u0019\u0004\u001a\t\u001a\u0004\u001b\t\u001b\u0004\u001c\t\u001c\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0005\u0003L\n\u0003\u0003\u0004\u0005\u0004O\n\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0006\u0003\u0006\u0003\u0007\u0003\u0007\u0003\b\u0003\b\u0003\t\u0003\t\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0005\ng\n\n\u0003\u000b\u0003\u000b\u0003\u000b\u0003\u000b\u0003\u000b\u0005\u000bn\n\u000b\u0003\f\u0003\f\u0003\r\u0003\r\u0003\u000e\u0003\u000e\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0012\u0003\u0012\u0003\u0013\u0003\u0013\u0003\u0013\u0003\u0014\u0003\u0014\u0003\u0014\u0003\u0015\u0003\u0015\u0003\u0016\u0003\u0016\u0003\u0017\u0003\u0017\u0007\u0017\u008d\n\u0017\f\u0017\u000e\u0017\u0090\u000b\u0017\u0003\u0017\u0005\u0017\u0093\n\u0017\u0003\u0018\u0003\u0018\u0003\u0019\u0003\u0019\u0003\u0019\u0006\u0019\u009a\n\u0019\r\u0019\u000e\u0019\u009b\u0003\u001a\u0003\u001a\u0003\u001b\u0003\u001b\u0003\u001c\u0003\u001c\u0007\u001c\u00a4\n\u001c\f\u001c\u000e\u001c\u00a7\u000b\u001c\u0002\u0002\u001d\u0003\u0003\u0005\u0004\u0007\u0005\t\u0006\u000b\u0007\r\b\u000f\t\u0011\n\u0013\u000b\u0015\f\u0017\r\u0019\u000e\u001b\u000f\u001d\u0010\u001f\u0011!\u0012#\u0013%\u0014\'\u0015)\u0016+\u0017-\u0018/\u00191\u001a3\u001b5\u001c7\u001d\u0003\u0002\u0007\u0004\u0002\u000b\u000b\"\"\u0003\u00023;\u0003\u00022;\u0004\u0002C\\c|\u0005\u00022;C\\c|\u0002\u00b1\u0002\u0003\u0003\u0002\u0002\u0002\u0002\u0005\u0003\u0002\u0002\u0002\u0002\u0007\u0003\u0002\u0002\u0002\u0002\t\u0003\u0002\u0002\u0002\u0002\u000b\u0003\u0002\u0002\u0002\u0002\r\u0003\u0002\u0002\u0002\u0002\u000f\u0003\u0002\u0002\u0002\u0002\u0011\u0003\u0002\u0002\u0002\u0002\u0013\u0003\u0002\u0002\u0002\u0002\u0015\u0003\u0002\u0002\u0002\u0002\u0017\u0003\u0002\u0002\u0002\u0002\u0019\u0003\u0002\u0002\u0002\u0002\u001b\u0003\u0002\u0002\u0002\u0002\u001d\u0003\u0002\u0002\u0002\u0002\u001f\u0003\u0002\u0002\u0002\u0002!\u0003\u0002\u0002\u0002\u0002#\u0003\u0002\u0002\u0002\u0002%\u0003\u0002\u0002\u0002\u0002\'\u0003\u0002\u0002\u0002\u0002)\u0003\u0002\u0002\u0002\u0002+\u0003\u0002\u0002\u0002\u0002-\u0003\u0002\u0002\u0002\u0002/\u0003\u0002\u0002\u0002\u00021\u0003\u0002\u0002\u0002\u00023\u0003\u0002\u0002\u0002\u00025\u0003\u0002\u0002\u0002\u00027\u0003\u0002\u0002\u0002\u00039\u0003\u0002\u0002\u0002\u0005K\u0003\u0002\u0002\u0002\u0007N\u0003\u0002\u0002\u0002\tT\u0003\u0002\u0002\u0002\u000bX\u0003\u0002\u0002\u0002\rZ\u0003\u0002\u0002\u0002\u000f\\\u0003\u0002\u0002\u0002\u0011^\u0003\u0002\u0002\u0002\u0013f\u0003\u0002\u0002\u0002\u0015m\u0003\u0002\u0002\u0002\u0017o\u0003\u0002\u0002\u0002\u0019q\u0003\u0002\u0002\u0002\u001bs\u0003\u0002\u0002\u0002\u001du\u0003\u0002\u0002\u0002\u001fx\u0003\u0002\u0002\u0002!{\u0003\u0002\u0002\u0002#~\u0003\u0002\u0002\u0002%\u0080\u0003\u0002\u0002\u0002\'\u0083\u0003\u0002\u0002\u0002)\u0086\u0003\u0002\u0002\u0002+\u0088\u0003\u0002\u0002\u0002-\u0092\u0003\u0002\u0002\u0002/\u0094\u0003\u0002\u0002\u00021\u0096\u0003\u0002\u0002\u00023\u009d\u0003\u0002\u0002\u00025\u009f\u0003\u0002\u0002\u00027\u00a1\u0003\u0002\u0002\u00029:\u0007k\u0002\u0002:;\u0007p\u0002\u0002;<\u0007r\u0002\u0002<=\u0007w\u0002\u0002=>\u0007v\u0002\u0002>\u0004\u0003\u0002\u0002\u0002?@\u0007u\u0002\u0002@A\u0007k\u0002\u0002AB\u0007i\u0002\u0002BC\u0007p\u0002\u0002CD\u0007c\u0002\u0002DL\u0007n\u0002\u0002EF\u0007q\u0002\u0002FG\u0007w\u0002\u0002GH\u0007v\u0002\u0002HI\u0007r\u0002\u0002IJ\u0007w\u0002\u0002JL\u0007v\u0002\u0002K?\u0003\u0002\u0002\u0002KE\u0003\u0002\u0002\u0002L\u0006\u0003\u0002\u0002\u0002MO\u0007\u000f\u0002\u0002NM\u0003\u0002\u0002\u0002NO\u0003\u0002\u0002\u0002OP\u0003\u0002\u0002\u0002PQ\u0007\f\u0002\u0002QR\u0003\u0002\u0002\u0002RS\b\u0004\u0002\u0002S\b\u0003\u0002\u0002\u0002TU\t\u0002\u0002\u0002UV\u0003\u0002\u0002\u0002VW\b\u0005\u0002\u0002W\n\u0003\u0002\u0002\u0002XY\u0007a\u0002\u0002Y\f\u0003\u0002\u0002\u0002Z[\u0007]\u0002\u0002[\u000e\u0003\u0002\u0002\u0002\\]\u0007_\u0002\u0002]\u0010\u0003\u0002\u0002\u0002^_\u0007.\u0002\u0002_\u0012\u0003\u0002\u0002\u0002`a\u0007]\u0002\u0002ag\u0007_\u0002\u0002bc\u0007c\u0002\u0002cd\u0007n\u0002\u0002dg\u0007y\u0002\u0002eg\u0007I\u0002\u0002f`\u0003\u0002\u0002\u0002fb\u0003\u0002\u0002\u0002fe\u0003\u0002\u0002\u0002g\u0014\u0003\u0002\u0002\u0002hi\u0007>\u0002\u0002in\u0007@\u0002\u0002jk\u0007g\u0002\u0002kn\u0007x\u0002\u0002ln\u0007H\u0002\u0002mh\u0003\u0002\u0002\u0002mj\u0003\u0002\u0002\u0002ml\u0003\u0002\u0002\u0002n\u0016\u0003\u0002\u0002\u0002op\u0007W\u0002\u0002p\u0018\u0003\u0002\u0002\u0002qr\u0007T\u0002\u0002r\u001a\u0003\u0002\u0002\u0002st\u0007Z\u0002\u0002t\u001c\u0003\u0002\u0002\u0002uv\u0007~\u0002\u0002vw\u0007~\u0002\u0002w\u001e\u0003\u0002\u0002\u0002xy\u0007(\u0002\u0002yz\u0007(\u0002\u0002z \u0003\u0002\u0002\u0002{|\u0007/\u0002\u0002|}\u0007@\u0002\u0002}\"\u0003\u0002\u0002\u0002~\u007f\u0007#\u0002\u0002\u007f$\u0003\u0002\u0002\u0002\u0080\u0081\u0007?\u0002\u0002\u0081\u0082\u0007?\u0002\u0002\u0082&\u0003\u0002\u0002\u0002\u0083\u0084\u0007#\u0002\u0002\u0084\u0085\u0007?\u0002\u0002\u0085(\u0003\u0002\u0002\u0002\u0086\u0087\u0007>\u0002\u0002\u0087*\u0003\u0002\u0002\u0002\u0088\u0089\u0007@\u0002\u0002\u0089,\u0003\u0002\u0002\u0002\u008a\u008e\t\u0003\u0002\u0002\u008b\u008d\t\u0004\u0002\u0002\u008c\u008b\u0003\u0002\u0002\u0002\u008d\u0090\u0003\u0002\u0002\u0002\u008e\u008c\u0003\u0002\u0002\u0002\u008e\u008f\u0003\u0002\u0002\u0002\u008f\u0093\u0003\u0002\u0002\u0002\u0090\u008e\u0003\u0002\u0002\u0002\u0091\u0093\u00072\u0002\u0002\u0092\u008a\u0003\u0002\u0002\u0002\u0092\u0091\u0003\u0002\u0002\u0002\u0093.\u0003\u0002\u0002\u0002\u0094\u0095\u0007/\u0002\u0002\u00950\u0003\u0002\u0002\u0002\u0096\u0097\u0005-\u0017\u0002\u0097\u0099\u00070\u0002\u0002\u0098\u009a\t\u0004\u0002\u0002\u0099\u0098\u0003\u0002\u0002\u0002\u009a\u009b\u0003\u0002\u0002\u0002\u009b\u0099\u0003\u0002\u0002\u0002\u009b\u009c\u0003\u0002\u0002\u0002\u009c2\u0003\u0002\u0002\u0002\u009d\u009e\u0007*\u0002\u0002\u009e4\u0003\u0002\u0002\u0002\u009f\u00a0\u0007+\u0002\u0002\u00a06\u0003\u0002\u0002\u0002\u00a1\u00a5\t\u0005\u0002\u0002\u00a2\u00a4\t\u0006\u0002\u0002\u00a3\u00a2\u0003\u0002\u0002\u0002\u00a4\u00a7\u0003\u0002\u0002\u0002\u00a5\u00a3\u0003\u0002\u0002\u0002\u00a5\u00a6\u0003\u0002\u0002\u0002\u00a68\u0003\u0002\u0002\u0002\u00a7\u00a5\u0003\u0002\u0002\u0002\u000b\u0002KNfm\u008e\u0092\u009b\u00a5\u0003\b\u0002\u0002"
    public static final int
    AND
    15
    public static final int
    COMMA
    8
    public static final int
    EQ
    18
    public static final int
    EVENTUALLY
    10
    public static final int
    FLOAT
    24
    public static final int
    GLOBALLY
    9
    public static final int
    GT
    21
    public static final int
    ID
    27
    public static final int
    IMPLY
    16
    public static final int
    INPUT
    1
    public static final int
    LBRACKET
    6
    public static final int
    LPAREN
    25
    public static final int
    LT
    20
    public static final int
    MINUS
    23
    public static final int
    NATURAL
    22
    public static final int
    NE
    19
    public static final int
    NEWLINE
    3
    public static final int
    NEXT
    13
    public static final int
    NOT
    17
    public static final int
    OR
    14
    public static final int
    OUTPUT
    2
    public static final int
    RBRACKET
    7
    public static final int
    RELEASE
    12
    public static final int
    RPAREN
    26
    public static final int
    UNDER
    5
    public static final int
    UNTIL
    11
    public static final int
    WS
    4
  • net.maswag.falcaun.parser.STLParser
    Modifier and Type
    Constant Field
    Value
    public static final String
    _serializedATN
    "\u0003\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\u0003\u001de\u0004\u0002\t\u0002\u0004\u0003\t\u0003\u0004\u0004\t\u0004\u0004\u0005\t\u0005\u0004\u0006\t\u0006\u0004\u0007\t\u0007\u0004\b\t\b\u0004\t\t\t\u0004\n\t\n\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0005\u0002#\n\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0007\u0002/\n\u0002\f\u0002\u000e\u00022\u000b\u0002\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0005\u0003B\n\u0003\u0003\u0004\u0003\u0004\u0003\u0004\u0005\u0004G\n\u0004\u0003\u0005\u0003\u0005\u0003\u0006\u0003\u0006\u0003\u0006\u0003\u0006\u0005\u0006O\n\u0006\u0003\u0007\u0003\u0007\u0003\b\u0003\b\u0003\t\u0005\tV\n\t\u0003\t\u0003\t\u0005\tZ\n\t\u0003\t\u0005\t]\n\t\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0002\u0003\u0002\u000b\u0002\u0004\u0006\b\n\f\u000e\u0010\u0012\u0002\u0005\u0003\u0002\u000b\f\u0003\u0002\r\u000e\u0003\u0002\u0014\u0017\u0002i\u0002\"\u0003\u0002\u0002\u0002\u0004A\u0003\u0002\u0002\u0002\u0006F\u0003\u0002\u0002\u0002\bH\u0003\u0002\u0002\u0002\nN\u0003\u0002\u0002\u0002\fP\u0003\u0002\u0002\u0002\u000eR\u0003\u0002\u0002\u0002\u0010\\\u0003\u0002\u0002\u0002\u0012^\u0003\u0002\u0002\u0002\u0014\u0015\b\u0002\u0001\u0002\u0015#\u0005\u0004\u0003\u0002\u0016\u0017\u0005\u0006\u0004\u0002\u0017\u0018\u0005\u0002\u0002\u0006\u0018#\u0003\u0002\u0002\u0002\u0019\u001a\u0005\b\u0005\u0002\u001a\u001b\u0007\u0007\u0002\u0002\u001b\u001c\u0005\u0012\n\u0002\u001c\u001d\u0005\u0002\u0002\u0005\u001d#\u0003\u0002\u0002\u0002\u001e\u001f\u0007\u001b\u0002\u0002\u001f \u0005\u0002\u0002\u0002 !\u0007\u001c\u0002\u0002!#\u0003\u0002\u0002\u0002\"\u0014\u0003\u0002\u0002\u0002\"\u0016\u0003\u0002\u0002\u0002\"\u0019\u0003\u0002\u0002\u0002\"\u001e\u0003\u0002\u0002\u0002#0\u0003\u0002\u0002\u0002$%\f\u0007\u0002\u0002%&\u0005\n\u0006\u0002&\'\u0005\u0002\u0002\b\'/\u0003\u0002\u0002\u0002()\f\u0004\u0002\u0002)*\u0005\f\u0007\u0002*+\u0007\u0007\u0002\u0002+,\u0005\u0012\n\u0002,-\u0005\u0002\u0002\u0005-/\u0003\u0002\u0002\u0002.$\u0003\u0002\u0002\u0002.(\u0003\u0002\u0002\u0002/2\u0003\u0002\u0002\u00020.\u0003\u0002\u0002\u000201\u0003\u0002\u0002\u00021\u0003\u0003\u0002\u0002\u000220\u0003\u0002\u0002\u000234\u0007\u0004\u0002\u000245\u0007\u001b\u0002\u000256\u0007\u0018\u0002\u000267\u0007\u001c\u0002\u000278\u0005\u000e\b\u000289\u0005\u0010\t\u00029B\u0003\u0002\u0002\u0002:;\u0007\u0003\u0002\u0002;<\u0007\u001b\u0002\u0002<=\u0007\u0018\u0002\u0002=>\u0007\u001c\u0002\u0002>?\u0005\u000e\b\u0002?@\u0005\u0010\t\u0002@B\u0003\u0002\u0002\u0002A3\u0003\u0002\u0002\u0002A:\u0003\u0002\u0002\u0002B\u0005\u0003\u0002\u0002\u0002CG\u0007\u0013\u0002\u0002DG\u0007\u000f\u0002\u0002EG\u0005\b\u0005\u0002FC\u0003\u0002\u0002\u0002FD\u0003\u0002\u0002\u0002FE\u0003\u0002\u0002\u0002G\u0007\u0003\u0002\u0002\u0002HI\t\u0002\u0002\u0002I\t\u0003\u0002\u0002\u0002JO\u0007\u0011\u0002\u0002KO\u0007\u0010\u0002\u0002LO\u0007\u0012\u0002\u0002MO\u0005\f\u0007\u0002NJ\u0003\u0002\u0002\u0002NK\u0003\u0002\u0002\u0002NL\u0003\u0002\u0002\u0002NM\u0003\u0002\u0002\u0002O\u000b\u0003\u0002\u0002\u0002PQ\t\u0003\u0002\u0002Q\r\u0003\u0002\u0002\u0002RS\t\u0004\u0002\u0002S\u000f\u0003\u0002\u0002\u0002TV\u0007\u0019\u0002\u0002UT\u0003\u0002\u0002\u0002UV\u0003\u0002\u0002\u0002VW\u0003\u0002\u0002\u0002W]\u0007\u0018\u0002\u0002XZ\u0007\u0019\u0002\u0002YX\u0003\u0002\u0002\u0002YZ\u0003\u0002\u0002\u0002Z[\u0003\u0002\u0002\u0002[]\u0007\u001a\u0002\u0002\\U\u0003\u0002\u0002\u0002\\Y\u0003\u0002\u0002\u0002]\u0011\u0003\u0002\u0002\u0002^_\u0007\b\u0002\u0002_`\u0007\u0018\u0002\u0002`a\u0007\n\u0002\u0002ab\u0007\u0018\u0002\u0002bc\u0007\t\u0002\u0002c\u0013\u0003\u0002\u0002\u0002\u000b\".0AFNUY\\"
    public static final int
    AND
    15
    public static final int
    COMMA
    8
    public static final int
    EQ
    18
    public static final int
    EVENTUALLY
    10
    public static final int
    FLOAT
    24
    public static final int
    GLOBALLY
    9
    public static final int
    GT
    21
    public static final int
    ID
    27
    public static final int
    IMPLY
    16
    public static final int
    INPUT
    1
    public static final int
    LBRACKET
    6
    public static final int
    LPAREN
    25
    public static final int
    LT
    20
    public static final int
    MINUS
    23
    public static final int
    NATURAL
    22
    public static final int
    NE
    19
    public static final int
    NEWLINE
    3
    public static final int
    NEXT
    13
    public static final int
    NOT
    17
    public static final int
    OR
    14
    public static final int
    OUTPUT
    2
    public static final int
    RBRACKET
    7
    public static final int
    RELEASE
    12
    public static final int
    RPAREN
    26
    public static final int
    RULE_atomic
    1
    public static final int
    RULE_binaryOperator
    4
    public static final int
    RULE_binaryTemporalOperator
    5
    public static final int
    RULE_comparisonOperator
    6
    public static final int
    RULE_expr
    0
    public static final int
    RULE_interval
    8
    public static final int
    RULE_unaryOperator
    2
    public static final int
    RULE_unaryTemporalOperator
    3
    public static final int
    RULE_value
    7
    public static final int
    UNDER
    5
    public static final int
    UNTIL
    11
    public static final int
    WS
    4