lphy.base.parser.newick.NewickLexer.interp Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of lphy-base Show documentation
The standard library of LPhy, which contains the required generative distributions and basic functions.
The newest version!
token literal names:
null
';'
null
'('
')'
':'
null
null
null
'[&'
null
null
'='
null
'{'
'}'
null
null
null
null
null
']'
null

token symbolic names:
null
SEMI
COMMA
OPENP
CLOSEP
COLON
FLOAT_SCI
FLOAT
INT
OPENA
WHITESPACE
STRING
EQ
ACOMMA
OPENV
CLOSEV
AFLOAT_SCI
AFLOAT
AINT
AWHITESPACE
ASTRING
CLOSEA
ATTRIBWS

rule names:
SEMI
COMMA
OPENP
CLOSEP
COLON
FLOAT_SCI
FLOAT
INT
NNINT
NZD
D
OPENA
WHITESPACE
STRING
EQ
ACOMMA
OPENV
CLOSEV
AFLOAT_SCI
AFLOAT
AINT
AWHITESPACE
ASTRING
CLOSEA
ATTRIBWS

channel names:
DEFAULT_TOKEN_CHANNEL
HIDDEN

mode names:
DEFAULT_MODE
ATTRIB_MODE

atn:
[4, 0, 22, 278, 6, -1, 6, -1, 2, 0, 7, 0, 2, 1, 7, 1, 2, 2, 7, 2, 2, 3, 7, 3, 2, 4, 7, 4, 2, 5, 7, 5, 2, 6, 7, 6, 2, 7, 7, 7, 2, 8, 7, 8, 2, 9, 7, 9, 2, 10, 7, 10, 2, 11, 7, 11, 2, 12, 7, 12, 2, 13, 7, 13, 2, 14, 7, 14, 2, 15, 7, 15, 2, 16, 7, 16, 2, 17, 7, 17, 2, 18, 7, 18, 2, 19, 7, 19, 2, 20, 7, 20, 2, 21, 7, 21, 2, 22, 7, 22, 2, 23, 7, 23, 2, 24, 7, 24, 1, 0, 1, 0, 1, 1, 1, 1, 1, 2, 1, 2, 1, 3, 1, 3, 1, 4, 1, 4, 1, 5, 3, 5, 64, 8, 5, 1, 5, 3, 5, 67, 8, 5, 1, 5, 1, 5, 4, 5, 71, 8, 5, 11, 5, 12, 5, 72, 1, 5, 1, 5, 1, 5, 4, 5, 78, 8, 5, 11, 5, 12, 5, 79, 3, 5, 82, 8, 5, 3, 5, 84, 8, 5, 1, 5, 1, 5, 3, 5, 88, 8, 5, 1, 5, 4, 5, 91, 8, 5, 11, 5, 12, 5, 92, 1, 6, 3, 6, 96, 8, 6, 1, 6, 3, 6, 99, 8, 6, 1, 6, 1, 6, 4, 6, 103, 8, 6, 11, 6, 12, 6, 104, 1, 6, 1, 6, 1, 6, 5, 6, 110, 8, 6, 10, 6, 12, 6, 113, 9, 6, 3, 6, 115, 8, 6, 1, 7, 3, 7, 118, 8, 7, 1, 7, 1, 7, 1, 8, 1, 8, 1, 8, 5, 8, 125, 8, 8, 10, 8, 12, 8, 128, 9, 8, 3, 8, 130, 8, 8, 1, 9, 1, 9, 1, 10, 1, 10, 1, 11, 1, 11, 1, 11, 1, 11, 1, 11, 1, 12, 4, 12, 142, 8, 12, 11, 12, 12, 12, 143, 1, 12, 1, 12, 1, 13, 4, 13, 149, 8, 13, 11, 13, 12, 13, 150, 1, 13, 1, 13, 5, 13, 155, 8, 13, 10, 13, 12, 13, 158, 9, 13, 1, 13, 1, 13, 1, 13, 5, 13, 163, 8, 13, 10, 13, 12, 13, 166, 9, 13, 1, 13, 3, 13, 169, 8, 13, 1, 14, 1, 14, 1, 15, 1, 15, 1, 16, 1, 16, 1, 17, 1, 17, 1, 18, 3, 18, 180, 8, 18, 1, 18, 3, 18, 183, 8, 18, 1, 18, 1, 18, 4, 18, 187, 8, 18, 11, 18, 12, 18, 188, 1, 18, 1, 18, 1, 18, 4, 18, 194, 8, 18, 11, 18, 12, 18, 195, 3, 18, 198, 8, 18, 3, 18, 200, 8, 18, 1, 18, 1, 18, 3, 18, 204, 8, 18, 1, 18, 4, 18, 207, 8, 18, 11, 18, 12, 18, 208, 1, 19, 3, 19, 212, 8, 19, 1, 19, 3, 19, 215, 8, 19, 1, 19, 1, 19, 4, 19, 219, 8, 19, 11, 19, 12, 19, 220, 1, 19, 1, 19, 1, 19, 5, 19, 226, 8, 19, 10, 19, 12, 19, 229, 9, 19, 3, 19, 231, 8, 19, 1, 20, 3, 20, 234, 8, 20, 1, 20, 1, 20, 1, 21, 4, 21, 239, 8, 21, 11, 21, 12, 21, 240, 1, 21, 1, 21, 1, 22, 4, 22, 246, 8, 22, 11, 22, 12, 22, 247, 1, 22, 1, 22, 5, 22, 252, 8, 22, 10, 22, 12, 22, 255, 9, 22, 1, 22, 1, 22, 1, 22, 5, 22, 260, 8, 22, 10, 22, 12, 22, 263, 9, 22, 1, 22, 3, 22, 266, 8, 22, 1, 23, 1, 23, 1, 23, 1, 23, 1, 24, 4, 24, 273, 8, 24, 11, 24, 12, 24, 274, 1, 24, 1, 24, 4, 156, 164, 253, 261, 0, 25, 2, 1, 4, 2, 6, 3, 8, 4, 10, 5, 12, 6, 14, 7, 16, 8, 18, 0, 20, 0, 22, 0, 24, 9, 26, 10, 28, 11, 30, 12, 32, 13, 34, 14, 36, 15, 38, 16, 40, 17, 42, 18, 44, 19, 46, 20, 48, 21, 50, 22, 2, 0, 1, 7, 2, 0, 69, 69, 101, 101, 2, 0, 43, 43, 45, 45, 1, 0, 49, 57, 1, 0, 48, 57, 3, 0, 9, 10, 13, 13, 32, 32, 8, 0, 35, 35, 37, 38, 42, 43, 45, 57, 65, 90, 95, 95, 97, 122, 124, 124, 8, 0, 35, 35, 37, 38, 42, 43, 45, 58, 65, 90, 95, 95, 97, 122, 124, 124, 316, 0, 2, 1, 0, 0, 0, 0, 4, 1, 0, 0, 0, 0, 6, 1, 0, 0, 0, 0, 8, 1, 0, 0, 0, 0, 10, 1, 0, 0, 0, 0, 12, 1, 0, 0, 0, 0, 14, 1, 0, 0, 0, 0, 16, 1, 0, 0, 0, 0, 24, 1, 0, 0, 0, 0, 26, 1, 0, 0, 0, 0, 28, 1, 0, 0, 0, 1, 30, 1, 0, 0, 0, 1, 32, 1, 0, 0, 0, 1, 34, 1, 0, 0, 0, 1, 36, 1, 0, 0, 0, 1, 38, 1, 0, 0, 0, 1, 40, 1, 0, 0, 0, 1, 42, 1, 0, 0, 0, 1, 44, 1, 0, 0, 0, 1, 46, 1, 0, 0, 0, 1, 48, 1, 0, 0, 0, 1, 50, 1, 0, 0, 0, 2, 52, 1, 0, 0, 0, 4, 54, 1, 0, 0, 0, 6, 56, 1, 0, 0, 0, 8, 58, 1, 0, 0, 0, 10, 60, 1, 0, 0, 0, 12, 63, 1, 0, 0, 0, 14, 95, 1, 0, 0, 0, 16, 117, 1, 0, 0, 0, 18, 129, 1, 0, 0, 0, 20, 131, 1, 0, 0, 0, 22, 133, 1, 0, 0, 0, 24, 135, 1, 0, 0, 0, 26, 141, 1, 0, 0, 0, 28, 168, 1, 0, 0, 0, 30, 170, 1, 0, 0, 0, 32, 172, 1, 0, 0, 0, 34, 174, 1, 0, 0, 0, 36, 176, 1, 0, 0, 0, 38, 179, 1, 0, 0, 0, 40, 211, 1, 0, 0, 0, 42, 233, 1, 0, 0, 0, 44, 238, 1, 0, 0, 0, 46, 265, 1, 0, 0, 0, 48, 267, 1, 0, 0, 0, 50, 272, 1, 0, 0, 0, 52, 53, 5, 59, 0, 0, 53, 3, 1, 0, 0, 0, 54, 55, 5, 44, 0, 0, 55, 5, 1, 0, 0, 0, 56, 57, 5, 40, 0, 0, 57, 7, 1, 0, 0, 0, 58, 59, 5, 41, 0, 0, 59, 9, 1, 0, 0, 0, 60, 61, 5, 58, 0, 0, 61, 11, 1, 0, 0, 0, 62, 64, 5, 45, 0, 0, 63, 62, 1, 0, 0, 0, 63, 64, 1, 0, 0, 0, 64, 83, 1, 0, 0, 0, 65, 67, 3, 18, 8, 0, 66, 65, 1, 0, 0, 0, 66, 67, 1, 0, 0, 0, 67, 68, 1, 0, 0, 0, 68, 70, 5, 46, 0, 0, 69, 71, 3, 22, 10, 0, 70, 69, 1, 0, 0, 0, 71, 72, 1, 0, 0, 0, 72, 70, 1, 0, 0, 0, 72, 73, 1, 0, 0, 0, 73, 84, 1, 0, 0, 0, 74, 81, 3, 18, 8, 0, 75, 77, 5, 46, 0, 0, 76, 78, 3, 22, 10, 0, 77, 76, 1, 0, 0, 0, 78, 79, 1, 0, 0, 0, 79, 77, 1, 0, 0, 0, 79, 80, 1, 0, 0, 0, 80, 82, 1, 0, 0, 0, 81, 75, 1, 0, 0, 0, 81, 82, 1, 0, 0, 0, 82, 84, 1, 0, 0, 0, 83, 66, 1, 0, 0, 0, 83, 74, 1, 0, 0, 0, 84, 85, 1, 0, 0, 0, 85, 87, 7, 0, 0, 0, 86, 88, 7, 1, 0, 0, 87, 86, 1, 0, 0, 0, 87, 88, 1, 0, 0, 0, 88, 90, 1, 0, 0, 0, 89, 91, 3, 22, 10, 0, 90, 89, 1, 0, 0, 0, 91, 92, 1, 0, 0, 0, 92, 90, 1, 0, 0, 0, 92, 93, 1, 0, 0, 0, 93, 13, 1, 0, 0, 0, 94, 96, 5, 45, 0, 0, 95, 94, 1, 0, 0, 0, 95, 96, 1, 0, 0, 0, 96, 114, 1, 0, 0, 0, 97, 99, 3, 18, 8, 0, 98, 97, 1, 0, 0, 0, 98, 99, 1, 0, 0, 0, 99, 100, 1, 0, 0, 0, 100, 102, 5, 46, 0, 0, 101, 103, 3, 22, 10, 0, 102, 101, 1, 0, 0, 0, 103, 104, 1, 0, 0, 0, 104, 102, 1, 0, 0, 0, 104, 105, 1, 0, 0, 0, 105, 115, 1, 0, 0, 0, 106, 107, 3, 18, 8, 0, 107, 111, 5, 46, 0, 0, 108, 110, 3, 22, 10, 0, 109, 108, 1, 0, 0, 0, 110, 113, 1, 0, 0, 0, 111, 109, 1, 0, 0, 0, 111, 112, 1, 0, 0, 0, 112, 115, 1, 0, 0, 0, 113, 111, 1, 0, 0, 0, 114, 98, 1, 0, 0, 0, 114, 106, 1, 0, 0, 0, 115, 15, 1, 0, 0, 0, 116, 118, 5, 45, 0, 0, 117, 116, 1, 0, 0, 0, 117, 118, 1, 0, 0, 0, 118, 119, 1, 0, 0, 0, 119, 120, 3, 18, 8, 0, 120, 17, 1, 0, 0, 0, 121, 130, 5, 48, 0, 0, 122, 126, 3, 20, 9, 0, 123, 125, 3, 22, 10, 0, 124, 123, 1, 0, 0, 0, 125, 128, 1, 0, 0, 0, 126, 124, 1, 0, 0, 0, 126, 127, 1, 0, 0, 0, 127, 130, 1, 0, 0, 0, 128, 126, 1, 0, 0, 0, 129, 121, 1, 0, 0, 0, 129, 122, 1, 0, 0, 0, 130, 19, 1, 0, 0, 0, 131, 132, 7, 2, 0, 0, 132, 21, 1, 0, 0, 0, 133, 134, 7, 3, 0, 0, 134, 23, 1, 0, 0, 0, 135, 136, 5, 91, 0, 0, 136, 137, 5, 38, 0, 0, 137, 138, 1, 0, 0, 0, 138, 139, 6, 11, 0, 0, 139, 25, 1, 0, 0, 0, 140, 142, 7, 4, 0, 0, 141, 140, 1, 0, 0, 0, 142, 143, 1, 0, 0, 0, 143, 141, 1, 0, 0, 0, 143, 144, 1, 0, 0, 0, 144, 145, 1, 0, 0, 0, 145, 146, 6, 12, 1, 0, 146, 27, 1, 0, 0, 0, 147, 149, 7, 5, 0, 0, 148, 147, 1, 0, 0, 0, 149, 150, 1, 0, 0, 0, 150, 148, 1, 0, 0, 0, 150, 151, 1, 0, 0, 0, 151, 169, 1, 0, 0, 0, 152, 156, 5, 34, 0, 0, 153, 155, 9, 0, 0, 0, 154, 153, 1, 0, 0, 0, 155, 158, 1, 0, 0, 0, 156, 157, 1, 0, 0, 0, 156, 154, 1, 0, 0, 0, 157, 159, 1, 0, 0, 0, 158, 156, 1, 0, 0, 0, 159, 169, 5, 34, 0, 0, 160, 164, 5, 39, 0, 0, 161, 163, 9, 0, 0, 0, 162, 161, 1, 0, 0, 0, 163, 166, 1, 0, 0, 0, 164, 165, 1, 0, 0, 0, 164, 162, 1, 0, 0, 0, 165, 167, 1, 0, 0, 0, 166, 164, 1, 0, 0, 0, 167, 169, 5, 39, 0, 0, 168, 148, 1, 0, 0, 0, 168, 152, 1, 0, 0, 0, 168, 160, 1, 0, 0, 0, 169, 29, 1, 0, 0, 0, 170, 171, 5, 61, 0, 0, 171, 31, 1, 0, 0, 0, 172, 173, 5, 44, 0, 0, 173, 33, 1, 0, 0, 0, 174, 175, 5, 123, 0, 0, 175, 35, 1, 0, 0, 0, 176, 177, 5, 125, 0, 0, 177, 37, 1, 0, 0, 0, 178, 180, 5, 45, 0, 0, 179, 178, 1, 0, 0, 0, 179, 180, 1, 0, 0, 0, 180, 199, 1, 0, 0, 0, 181, 183, 3, 18, 8, 0, 182, 181, 1, 0, 0, 0, 182, 183, 1, 0, 0, 0, 183, 184, 1, 0, 0, 0, 184, 186, 5, 46, 0, 0, 185, 187, 3, 22, 10, 0, 186, 185, 1, 0, 0, 0, 187, 188, 1, 0, 0, 0, 188, 186, 1, 0, 0, 0, 188, 189, 1, 0, 0, 0, 189, 200, 1, 0, 0, 0, 190, 197, 3, 18, 8, 0, 191, 193, 5, 46, 0, 0, 192, 194, 3, 22, 10, 0, 193, 192, 1, 0, 0, 0, 194, 195, 1, 0, 0, 0, 195, 193, 1, 0, 0, 0, 195, 196, 1, 0, 0, 0, 196, 198, 1, 0, 0, 0, 197, 191, 1, 0, 0, 0, 197, 198, 1, 0, 0, 0, 198, 200, 1, 0, 0, 0, 199, 182, 1, 0, 0, 0, 199, 190, 1, 0, 0, 0, 200, 201, 1, 0, 0, 0, 201, 203, 7, 0, 0, 0, 202, 204, 5, 45, 0, 0, 203, 202, 1, 0, 0, 0, 203, 204, 1, 0, 0, 0, 204, 206, 1, 0, 0, 0, 205, 207, 3, 22, 10, 0, 206, 205, 1, 0, 0, 0, 207, 208, 1, 0, 0, 0, 208, 206, 1, 0, 0, 0, 208, 209, 1, 0, 0, 0, 209, 39, 1, 0, 0, 0, 210, 212, 5, 45, 0, 0, 211, 210, 1, 0, 0, 0, 211, 212, 1, 0, 0, 0, 212, 230, 1, 0, 0, 0, 213, 215, 3, 18, 8, 0, 214, 213, 1, 0, 0, 0, 214, 215, 1, 0, 0, 0, 215, 216, 1, 0, 0, 0, 216, 218, 5, 46, 0, 0, 217, 219, 3, 22, 10, 0, 218, 217, 1, 0, 0, 0, 219, 220, 1, 0, 0, 0, 220, 218, 1, 0, 0, 0, 220, 221, 1, 0, 0, 0, 221, 231, 1, 0, 0, 0, 222, 223, 3, 18, 8, 0, 223, 227, 5, 46, 0, 0, 224, 226, 3, 22, 10, 0, 225, 224, 1, 0, 0, 0, 226, 229, 1, 0, 0, 0, 227, 225, 1, 0, 0, 0, 227, 228, 1, 0, 0, 0, 228, 231, 1, 0, 0, 0, 229, 227, 1, 0, 0, 0, 230, 214, 1, 0, 0, 0, 230, 222, 1, 0, 0, 0, 231, 41, 1, 0, 0, 0, 232, 234, 5, 45, 0, 0, 233, 232, 1, 0, 0, 0, 233, 234, 1, 0, 0, 0, 234, 235, 1, 0, 0, 0, 235, 236, 3, 18, 8, 0, 236, 43, 1, 0, 0, 0, 237, 239, 7, 4, 0, 0, 238, 237, 1, 0, 0, 0, 239, 240, 1, 0, 0, 0, 240, 238, 1, 0, 0, 0, 240, 241, 1, 0, 0, 0, 241, 242, 1, 0, 0, 0, 242, 243, 6, 21, 1, 0, 243, 45, 1, 0, 0, 0, 244, 246, 7, 6, 0, 0, 245, 244, 1, 0, 0, 0, 246, 247, 1, 0, 0, 0, 247, 245, 1, 0, 0, 0, 247, 248, 1, 0, 0, 0, 248, 266, 1, 0, 0, 0, 249, 253, 5, 34, 0, 0, 250, 252, 9, 0, 0, 0, 251, 250, 1, 0, 0, 0, 252, 255, 1, 0, 0, 0, 253, 254, 1, 0, 0, 0, 253, 251, 1, 0, 0, 0, 254, 256, 1, 0, 0, 0, 255, 253, 1, 0, 0, 0, 256, 266, 5, 34, 0, 0, 257, 261, 5, 39, 0, 0, 258, 260, 9, 0, 0, 0, 259, 258, 1, 0, 0, 0, 260, 263, 1, 0, 0, 0, 261, 262, 1, 0, 0, 0, 261, 259, 1, 0, 0, 0, 262, 264, 1, 0, 0, 0, 263, 261, 1, 0, 0, 0, 264, 266, 5, 39, 0, 0, 265, 245, 1, 0, 0, 0, 265, 249, 1, 0, 0, 0, 265, 257, 1, 0, 0, 0, 266, 47, 1, 0, 0, 0, 267, 268, 5, 93, 0, 0, 268, 269, 1, 0, 0, 0, 269, 270, 6, 23, 2, 0, 270, 49, 1, 0, 0, 0, 271, 273, 7, 4, 0, 0, 272, 271, 1, 0, 0, 0, 273, 274, 1, 0, 0, 0, 274, 272, 1, 0, 0, 0, 274, 275, 1, 0, 0, 0, 275, 276, 1, 0, 0, 0, 276, 277, 6, 24, 1, 0, 277, 51, 1, 0, 0, 0, 43, 0, 1, 63, 66, 72, 79, 81, 83, 87, 92, 95, 98, 104, 111, 114, 117, 126, 129, 143, 150, 156, 164, 168, 179, 182, 188, 195, 197, 199, 203, 208, 211, 214, 220, 227, 230, 233, 240, 247, 253, 261, 265, 274, 3, 2, 1, 0, 6, 0, 0, 2, 0, 0]