[Quant] Refactor and split the mono module
Showing
- src_colibri2/theories/quantifier/F.ml 2 additions, 0 deletionssrc_colibri2/theories/quantifier/F.ml
- src_colibri2/theories/quantifier/F_Pos.ml 13 additions, 0 deletionssrc_colibri2/theories/quantifier/F_Pos.ml
- src_colibri2/theories/quantifier/F_Pos.mli 5 additions, 0 deletionssrc_colibri2/theories/quantifier/F_Pos.mli
- src_colibri2/theories/quantifier/InvertedPath.ml 161 additions, 0 deletionssrc_colibri2/theories/quantifier/InvertedPath.ml
- src_colibri2/theories/quantifier/InvertedPath.mli 36 additions, 0 deletionssrc_colibri2/theories/quantifier/InvertedPath.mli
- src_colibri2/theories/quantifier/PC.ml 11 additions, 0 deletionssrc_colibri2/theories/quantifier/PC.ml
- src_colibri2/theories/quantifier/PC.mli 3 additions, 0 deletionssrc_colibri2/theories/quantifier/PC.mli
- src_colibri2/theories/quantifier/PP.ml 15 additions, 0 deletionssrc_colibri2/theories/quantifier/PP.ml
- src_colibri2/theories/quantifier/PP.mli 5 additions, 0 deletionssrc_colibri2/theories/quantifier/PP.mli
- src_colibri2/theories/quantifier/common.ml 12 additions, 0 deletionssrc_colibri2/theories/quantifier/common.ml
- src_colibri2/theories/quantifier/info.ml 27 additions, 0 deletionssrc_colibri2/theories/quantifier/info.ml
- src_colibri2/theories/quantifier/pattern.ml 268 additions, 0 deletionssrc_colibri2/theories/quantifier/pattern.ml
- src_colibri2/theories/quantifier/pattern.mli 46 additions, 0 deletionssrc_colibri2/theories/quantifier/pattern.mli
- src_colibri2/theories/quantifier/quantifier.ml 1 addition, 772 deletionssrc_colibri2/theories/quantifier/quantifier.ml
- src_colibri2/theories/quantifier/trigger.ml 214 additions, 0 deletionssrc_colibri2/theories/quantifier/trigger.ml
- src_colibri2/theories/quantifier/trigger.mli 43 additions, 0 deletionssrc_colibri2/theories/quantifier/trigger.mli
Loading
Please register or sign in to comment