jukebox 0.2.9 → 0.2.10
raw patch · 5 files changed
+54/−42 lines, 5 files
Files
- dist/build/Jukebox/TPTP/Lexer.hs +28/−30
- jukebox.cabal +16/−7
- src/Jukebox/Form.hs +1/−2
- src/Jukebox/Monotonox/Monotonicity.hs +8/−2
- src/Jukebox/TPTP/Print.hs +1/−1
dist/build/Jukebox/TPTP/Lexer.hs view
@@ -48,7 +48,10 @@ alex_deflt :: AlexAddr alex_deflt = AlexA# "\xff\xff\x2f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x17\x00\x17\x00\x19\x00\x19\x00\x1b\x00\x1b\x00\x20\x00\x20\x00\x29\x00\x29\x00\x2e\x00\x2e\x00\x2f\x00\xff\xff\x2f\x00\x2f\x00\x31\x00\x30\x00\x30\x00\x31\x00\x39\x00\xff\xff\xff\xff\x39\x00\x39\x00\x04\x00\xff\xff\xff\xff\x04\x00\x04\x00\x2f\x00\x40\x00\x3f\x00\x3f\x00\x40\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x42\x00\x41\x00\xff\xff\x42\x00\x41\x00\x42\x00\x41\x00\xff\xff\x42\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"# -alex_accept = listArray (0::Int,290) [AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccSkip,AlexAccSkip,AlexAccSkip,AlexAccSkip,AlexAcc (alex_action_3),AlexAcc (alex_action_4),AlexAcc (alex_action_5),AlexAcc (alex_action_6),AlexAcc (alex_action_7),AlexAcc (alex_action_8),AlexAcc (alex_action_9),AlexAcc (alex_action_10),AlexAcc (alex_action_11),AlexAcc (alex_action_12),AlexAcc (alex_action_13),AlexAcc (alex_action_14),AlexAcc (alex_action_15),AlexAcc (alex_action_16),AlexAcc (alex_action_17),AlexAcc (alex_action_18),AlexAcc (alex_action_19),AlexAcc (alex_action_20),AlexAcc (alex_action_21),AlexAcc (alex_action_22),AlexAcc (alex_action_23),AlexAcc (alex_action_24),AlexAcc (alex_action_25),AlexAcc (alex_action_26),AlexAcc (alex_action_27),AlexAcc (alex_action_28),AlexAcc (alex_action_28),AlexAcc (alex_action_29),AlexAcc (alex_action_29),AlexAcc (alex_action_30),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_31),AlexAcc (alex_action_32),AlexAcc (alex_action_33),AlexAcc (alex_action_34),AlexAccPred (alex_action_35) (alexRightContext 60)(AlexAccNone),AlexAccPred (alex_action_35) (alexRightContext 60)(AlexAccNone),AlexAcc (alex_action_36),AlexAcc (alex_action_37),AlexAcc (alex_action_37),AlexAcc (alex_action_38),AlexAcc (alex_action_38),AlexAcc (alex_action_39),AlexAcc (alex_action_40),AlexAcc (alex_action_41),AlexAcc (alex_action_42),AlexAcc (alex_action_43),AlexAcc (alex_action_44),AlexAcc (alex_action_45),AlexAcc (alex_action_46),AlexAcc (alex_action_47),AlexAcc (alex_action_48),AlexAcc (alex_action_49),AlexAcc (alex_action_50),AlexAcc (alex_action_51),AlexAcc (alex_action_52),AlexAcc (alex_action_53),AlexAcc (alex_action_54),AlexAcc (alex_action_55),AlexAcc (alex_action_56),AlexAcc (alex_action_57),AlexAcc (alex_action_58),AlexAcc (alex_action_59),AlexAcc (alex_action_60),AlexAcc (alex_action_61),AlexAcc (alex_action_62),AlexAcc (alex_action_63),AlexAcc (alex_action_64),AlexAcc (alex_action_65),AlexAcc (alex_action_66),AlexAcc (alex_action_67),AlexAcc (alex_action_68),AlexAcc (alex_action_69),AlexAcc (alex_action_70),AlexAcc (alex_action_71),AlexAcc (alex_action_72),AlexAcc (alex_action_73)]+alex_accept = listArray (0::Int,290) [AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccSkip,AlexAccSkip,AlexAccSkip,AlexAccSkip,AlexAcc 221,AlexAcc 220,AlexAcc 219,AlexAcc 218,AlexAcc 217,AlexAcc 216,AlexAcc 215,AlexAcc 214,AlexAcc 213,AlexAcc 212,AlexAcc 211,AlexAcc 210,AlexAcc 209,AlexAcc 208,AlexAcc 207,AlexAcc 206,AlexAcc 205,AlexAcc 204,AlexAcc 203,AlexAcc 202,AlexAcc 201,AlexAcc 200,AlexAcc 199,AlexAcc 198,AlexAcc 197,AlexAcc 196,AlexAcc 195,AlexAcc 194,AlexAcc 193,AlexAcc 192,AlexAcc 191,AlexAcc 190,AlexAcc 189,AlexAcc 188,AlexAcc 187,AlexAcc 186,AlexAcc 185,AlexAcc 184,AlexAcc 183,AlexAcc 182,AlexAcc 181,AlexAcc 180,AlexAcc 179,AlexAcc 178,AlexAcc 177,AlexAcc 176,AlexAcc 175,AlexAcc 174,AlexAcc 173,AlexAcc 172,AlexAcc 171,AlexAcc 170,AlexAcc 169,AlexAcc 168,AlexAcc 167,AlexAcc 166,AlexAcc 165,AlexAcc 164,AlexAcc 163,AlexAcc 162,AlexAcc 161,AlexAcc 160,AlexAcc 159,AlexAcc 158,AlexAcc 157,AlexAcc 156,AlexAcc 155,AlexAcc 154,AlexAcc 153,AlexAcc 152,AlexAcc 151,AlexAcc 150,AlexAcc 149,AlexAcc 148,AlexAcc 147,AlexAcc 146,AlexAcc 145,AlexAcc 144,AlexAcc 143,AlexAcc 142,AlexAcc 141,AlexAcc 140,AlexAcc 139,AlexAcc 138,AlexAcc 137,AlexAcc 136,AlexAcc 135,AlexAcc 134,AlexAcc 133,AlexAcc 132,AlexAcc 131,AlexAcc 130,AlexAcc 129,AlexAcc 128,AlexAcc 127,AlexAcc 126,AlexAcc 125,AlexAcc 124,AlexAcc 123,AlexAcc 122,AlexAcc 121,AlexAcc 120,AlexAcc 119,AlexAcc 118,AlexAcc 117,AlexAcc 116,AlexAcc 115,AlexAcc 114,AlexAcc 113,AlexAcc 112,AlexAcc 111,AlexAcc 110,AlexAcc 109,AlexAcc 108,AlexAcc 107,AlexAcc 106,AlexAcc 105,AlexAcc 104,AlexAcc 103,AlexAcc 102,AlexAcc 101,AlexAcc 100,AlexAcc 99,AlexAcc 98,AlexAcc 97,AlexAcc 96,AlexAcc 95,AlexAcc 94,AlexAcc 93,AlexAcc 92,AlexAcc 91,AlexAcc 90,AlexAcc 89,AlexAcc 88,AlexAcc 87,AlexAcc 86,AlexAcc 85,AlexAcc 84,AlexAcc 83,AlexAcc 82,AlexAcc 81,AlexAcc 80,AlexAcc 79,AlexAcc 78,AlexAcc 77,AlexAcc 76,AlexAcc 75,AlexAcc 74,AlexAcc 73,AlexAcc 72,AlexAcc 71,AlexAcc 70,AlexAcc 69,AlexAcc 68,AlexAcc 67,AlexAcc 66,AlexAcc 65,AlexAcc 64,AlexAcc 63,AlexAcc 62,AlexAcc 61,AlexAcc 60,AlexAcc 59,AlexAcc 58,AlexAcc 57,AlexAcc 56,AlexAcc 55,AlexAcc 54,AlexAcc 53,AlexAcc 52,AlexAcc 51,AlexAcc 50,AlexAcc 49,AlexAcc 48,AlexAcc 47,AlexAcc 46,AlexAcc 45,AlexAcc 44,AlexAcc 43,AlexAcc 42,AlexAccPred 41 (alexRightContext 60)(AlexAccNone),AlexAccPred 40 (alexRightContext 60)(AlexAccNone),AlexAcc 39,AlexAcc 38,AlexAcc 37,AlexAcc 36,AlexAcc 35,AlexAcc 34,AlexAcc 33,AlexAcc 32,AlexAcc 31,AlexAcc 30,AlexAcc 29,AlexAcc 28,AlexAcc 27,AlexAcc 26,AlexAcc 25,AlexAcc 24,AlexAcc 23,AlexAcc 22,AlexAcc 21,AlexAcc 20,AlexAcc 19,AlexAcc 18,AlexAcc 17,AlexAcc 16,AlexAcc 15,AlexAcc 14,AlexAcc 13,AlexAcc 12,AlexAcc 11,AlexAcc 10,AlexAcc 9,AlexAcc 8,AlexAcc 7,AlexAcc 6,AlexAcc 5,AlexAcc 4,AlexAcc 3,AlexAcc 2,AlexAcc 1,AlexAcc 0]++alex_actions = array (0::Int,222) [(221,alex_action_3),(220,alex_action_4),(219,alex_action_5),(218,alex_action_6),(217,alex_action_7),(216,alex_action_8),(215,alex_action_9),(214,alex_action_10),(213,alex_action_11),(212,alex_action_12),(211,alex_action_13),(210,alex_action_14),(209,alex_action_15),(208,alex_action_16),(207,alex_action_17),(206,alex_action_18),(205,alex_action_19),(204,alex_action_20),(203,alex_action_21),(202,alex_action_22),(201,alex_action_23),(200,alex_action_24),(199,alex_action_25),(198,alex_action_26),(197,alex_action_27),(196,alex_action_28),(195,alex_action_28),(194,alex_action_29),(193,alex_action_29),(192,alex_action_30),(191,alex_action_31),(190,alex_action_31),(189,alex_action_31),(188,alex_action_31),(187,alex_action_31),(186,alex_action_31),(185,alex_action_31),(184,alex_action_31),(183,alex_action_31),(182,alex_action_31),(181,alex_action_31),(180,alex_action_31),(179,alex_action_31),(178,alex_action_31),(177,alex_action_31),(176,alex_action_31),(175,alex_action_31),(174,alex_action_31),(173,alex_action_31),(172,alex_action_31),(171,alex_action_31),(170,alex_action_31),(169,alex_action_31),(168,alex_action_31),(167,alex_action_31),(166,alex_action_31),(165,alex_action_31),(164,alex_action_31),(163,alex_action_31),(162,alex_action_31),(161,alex_action_31),(160,alex_action_31),(159,alex_action_31),(158,alex_action_31),(157,alex_action_31),(156,alex_action_31),(155,alex_action_31),(154,alex_action_31),(153,alex_action_31),(152,alex_action_31),(151,alex_action_31),(150,alex_action_31),(149,alex_action_31),(148,alex_action_31),(147,alex_action_31),(146,alex_action_31),(145,alex_action_31),(144,alex_action_31),(143,alex_action_31),(142,alex_action_31),(141,alex_action_31),(140,alex_action_31),(139,alex_action_31),(138,alex_action_31),(137,alex_action_31),(136,alex_action_31),(135,alex_action_31),(134,alex_action_31),(133,alex_action_31),(132,alex_action_31),(131,alex_action_31),(130,alex_action_31),(129,alex_action_31),(128,alex_action_31),(127,alex_action_31),(126,alex_action_31),(125,alex_action_31),(124,alex_action_31),(123,alex_action_31),(122,alex_action_31),(121,alex_action_31),(120,alex_action_31),(119,alex_action_31),(118,alex_action_31),(117,alex_action_31),(116,alex_action_31),(115,alex_action_31),(114,alex_action_31),(113,alex_action_31),(112,alex_action_31),(111,alex_action_31),(110,alex_action_31),(109,alex_action_31),(108,alex_action_31),(107,alex_action_31),(106,alex_action_31),(105,alex_action_31),(104,alex_action_31),(103,alex_action_31),(102,alex_action_31),(101,alex_action_31),(100,alex_action_31),(99,alex_action_31),(98,alex_action_31),(97,alex_action_31),(96,alex_action_31),(95,alex_action_31),(94,alex_action_31),(93,alex_action_31),(92,alex_action_31),(91,alex_action_31),(90,alex_action_31),(89,alex_action_31),(88,alex_action_31),(87,alex_action_31),(86,alex_action_31),(85,alex_action_31),(84,alex_action_31),(83,alex_action_31),(82,alex_action_31),(81,alex_action_31),(80,alex_action_31),(79,alex_action_31),(78,alex_action_31),(77,alex_action_31),(76,alex_action_31),(75,alex_action_31),(74,alex_action_31),(73,alex_action_31),(72,alex_action_31),(71,alex_action_31),(70,alex_action_31),(69,alex_action_31),(68,alex_action_31),(67,alex_action_31),(66,alex_action_31),(65,alex_action_31),(64,alex_action_31),(63,alex_action_31),(62,alex_action_31),(61,alex_action_31),(60,alex_action_31),(59,alex_action_31),(58,alex_action_31),(57,alex_action_31),(56,alex_action_31),(55,alex_action_31),(54,alex_action_31),(53,alex_action_31),(52,alex_action_31),(51,alex_action_31),(50,alex_action_31),(49,alex_action_31),(48,alex_action_31),(47,alex_action_31),(46,alex_action_31),(45,alex_action_31),(44,alex_action_32),(43,alex_action_33),(42,alex_action_34),(41,alex_action_35),(40,alex_action_35),(39,alex_action_36),(38,alex_action_37),(37,alex_action_37),(36,alex_action_38),(35,alex_action_38),(34,alex_action_39),(33,alex_action_40),(32,alex_action_41),(31,alex_action_42),(30,alex_action_43),(29,alex_action_44),(28,alex_action_45),(27,alex_action_46),(26,alex_action_47),(25,alex_action_48),(24,alex_action_49),(23,alex_action_50),(22,alex_action_51),(21,alex_action_52),(20,alex_action_53),(19,alex_action_54),(18,alex_action_55),(17,alex_action_56),(16,alex_action_57),(15,alex_action_58),(14,alex_action_59),(13,alex_action_60),(12,alex_action_61),(11,alex_action_62),(10,alex_action_63),(9,alex_action_64),(8,alex_action_65),(7,alex_action_66),(6,alex_action_67),(5,alex_action_68),(4,alex_action_69),(3,alex_action_70),(2,alex_action_71),(1,alex_action_72),(0,alex_action_73)]+ {-# LINE 97 "src/Jukebox/TPTP/Lexer.x" #-} data Pos = Pos {-# UNPACK #-} !Word {-# UNPACK #-} !Word deriving Show@@ -343,7 +346,7 @@ {-# LINE 9 "<command-line>" #-}-{-# LINE 1 "/tmp/ghc684_0/ghc_2.h" #-}+{-# LINE 1 "/tmp/ghc688_0/ghc_2.h" #-} @@ -576,7 +579,7 @@ {-# INLINE alexIndexInt32OffAddr #-}-alexIndexInt32OffAddr (AlexA# arr) off = +alexIndexInt32OffAddr (AlexA# arr) off = #ifdef WORDS_BIGENDIAN narrow32Int# i where@@ -622,30 +625,30 @@ alexScanUser user input (I# (sc)) = case alex_scan_tkn user input 0# input sc AlexNone of- (AlexNone, input') ->- case alexGetByte input of- Nothing -> + (AlexNone, input') ->+ case alexGetByte input of+ Nothing -> AlexEOF- Just _ ->+ Just _ -> AlexError input' - (AlexLastSkip input'' len, _) ->+ (AlexLastSkip input'' len, _) -> - AlexSkip input'' len+ AlexSkip input'' len - (AlexLastAcc k input''' len, _) ->+ (AlexLastAcc k input''' len, _) -> - AlexToken input''' len k+ AlexToken input''' len (alex_actions ! k) -- Push the input through the DFA, remembering the most recent accepting@@ -653,13 +656,13 @@ alex_scan_tkn user orig_input len input s last_acc = input `seq` -- strict in the input- let - new_acc = (check_accs (alex_accept `quickIndex` (I# (s))))+ let+ new_acc = (check_accs (alex_accept `quickIndex` (I# (s)))) in new_acc `seq` case alexGetByte input of Nothing -> (new_acc, input)- Just (c, new_input) -> + Just (c, new_input) -> @@ -668,7 +671,7 @@ base = alexIndexInt32OffAddr alex_base s offset = (base +# ord_c) check = alexIndexInt16OffAddr alex_check offset- + new_s = if GTE(offset,0#) && EQ(check,ord_c) then alexIndexInt16OffAddr alex_table offset else alexIndexInt16OffAddr alex_deflt s@@ -698,23 +701,18 @@ = check_accs rest -data AlexLastAcc a+data AlexLastAcc = AlexNone- | AlexLastAcc a !AlexInput !Int- | AlexLastSkip !AlexInput !Int--instance Functor AlexLastAcc where- fmap _ AlexNone = AlexNone- fmap f (AlexLastAcc x y z) = AlexLastAcc (f x) y z- fmap _ (AlexLastSkip x y) = AlexLastSkip x y+ | AlexLastAcc !Int !AlexInput !Int+ | AlexLastSkip !AlexInput !Int -data AlexAcc a user+data AlexAcc user = AlexAccNone- | AlexAcc a+ | AlexAcc Int | AlexAccSkip - | AlexAccPred a (AlexAccPred user) (AlexAcc a user)- | AlexAccSkipPred (AlexAccPred user) (AlexAcc a user)+ | AlexAccPred Int (AlexAccPred user) (AlexAcc user)+ | AlexAccSkipPred (AlexAccPred user) (AlexAcc user) type AlexAccPred user = user -> AlexInput -> Int -> AlexInput -> Bool @@ -724,16 +722,16 @@ alexAndPred p1 p2 user in1 len in2 = p1 user in1 len in2 && p2 user in1 len in2 ---alexPrevCharIsPred :: Char -> AlexAccPred _ +--alexPrevCharIsPred :: Char -> AlexAccPred _ alexPrevCharIs c _ input _ _ = c == alexInputPrevChar input alexPrevCharMatches f _ input _ _ = f (alexInputPrevChar input) ---alexPrevCharIsOneOfPred :: Array Char Bool -> AlexAccPred _ +--alexPrevCharIsOneOfPred :: Array Char Bool -> AlexAccPred _ alexPrevCharIsOneOf arr _ input _ _ = arr ! alexInputPrevChar input --alexRightContext :: Int -> AlexAccPred _-alexRightContext (I# (sc)) user _ _ input = +alexRightContext (I# (sc)) user _ _ input = case alex_scan_tkn user input 0# input sc AlexNone of (AlexNone, _) -> False _ -> True
jukebox.cabal view
@@ -1,5 +1,5 @@ Name: jukebox-Version: 0.2.9+Version: 0.2.10 Cabal-version: >= 1.8 Build-type: Simple Author: Nick Smallbone@@ -19,13 +19,27 @@ License-file: LICENSE extra-source-files: src/errors.h +flag minisat+ Description: Use minisat. Required for monotonicity inference.+ Default: True+ source-repository head type: git location: https://github.com/nick8325/jukebox Library Build-depends: base >= 4 && < 5, array, transformers >= 0.4.0.0, directory,- filepath, pretty >= 1.1.2.0, minisat, symbol, dlist, process, containers, uglymemo+ filepath, pretty >= 1.1.2.0, symbol, dlist, process, containers, uglymemo+ if flag(minisat)+ Build-depends: minisat+ Exposed-modules:+ Jukebox.Sat3+ Jukebox.SatEq+ Jukebox.Sat+ Jukebox.SatMin+ Jukebox.HighSat+ else+ cpp-options: -DNO_MINISAT ghc-options: -W -fno-warn-incomplete-patterns Build-tools: alex Hs-source-dirs: src@@ -34,7 +48,6 @@ Jukebox.Clausify Jukebox.Form Jukebox.GuessModel- Jukebox.HighSat Jukebox.InferTypes Jukebox.Monotonox.Monotonicity Jukebox.Monotonox.ToFOF@@ -42,10 +55,6 @@ Jukebox.Options Jukebox.Provers.E Jukebox.Provers.SPASS- Jukebox.Sat3- Jukebox.SatEq- Jukebox.Sat- Jukebox.SatMin Jukebox.SMTLIB Jukebox.Toolbox Jukebox.TPTP.Parse.Core
src/Jukebox/Form.hs view
@@ -545,8 +545,7 @@ term _ = mempty isFof :: Symbolic a => a -> Bool-isFof _ = False---isFof f = length (types' f) <= 1+isFof f = length (types' f) <= 1 uniqueNames :: Symbolic a => a -> NameM a uniqueNames t = evalStateT (aux Map.empty t) (Map.fromList [(x, t) | x ::: t <- Set.toList (free t)])
src/Jukebox/Monotonox/Monotonicity.hs view
@@ -1,13 +1,15 @@-{-# LANGUAGE TypeOperators #-}+{-# LANGUAGE TypeOperators, CPP #-} module Jukebox.Monotonox.Monotonicity where import Prelude hiding (lookup) import Jukebox.Name import Jukebox.Form hiding (Form, clause, true, false, And, Or)-import Jukebox.HighSat import Control.Monad import qualified Data.Map.Strict as Map import Data.Map(Map)+#ifndef NO_MINISAT+import Jukebox.HighSat+#endif data Extension = TrueExtend | FalseExtend | CopyExtend deriving Show @@ -24,6 +26,9 @@ return (fmap (mapType f) prob) monotone :: [Clause] -> IO (Map Type (Maybe (Map Function Extension)))+#ifdef NO_MINISAT+monotone _ = return Map.empty+#else monotone cs = runSat watch tys $ do let fs = functions cs mapM_ (clause . toLiterals) cs@@ -74,3 +79,4 @@ guards (Pos (Tru (p :@: ts))) x | Var x `elem` ts = Lit (Pos (TrueExtended p)) guards (Neg (Tru (p :@: ts))) x | Var x `elem` ts = Lit (Pos (FalseExtended p)) guards _ _ = false+#endif
src/Jukebox/TPTP/Print.hs view
@@ -37,7 +37,7 @@ showProblem = show . pPrintProblem isReallyFof :: Symbolic a => a -> Bool-isReallyFof = const False -- all p . types+isReallyFof = all p . types where p O = True p (Type ty _ _) | ty == i = True