• martinez's avatar
    * src/ltltest/formules.ltl: A pattern of 2000 formulas. · 61e7d4e2
    martinez authored
    * src/ltltest/inf.test: Test some case of implies.
    * src/ltltest/inf.cc: Test some case of implies.
    * src/ltltest/reduc.test: Test reduction of a file of formula.
    * src/ltltest/reduc.cc: Test reduction of a formula.
    
    * src/ltlvisit/formlength.cc: Gives the lenght of a formula.
    * src/ltlvisit/forminf.cc: To know if a formula implies an other.
    * src/ltlvisit/basereduc.cc: Implement only basic reduction.
    * src/ltlvisit/reducform.cc: Implement reduction.
    * src/ltlvisit/reducform.hh: To reduce a formula.
    61e7d4e2