• Alexandre Duret-Lutz's avatar
    Better types for instance maps. · 3488bf45
    Alexandre Duret-Lutz authored
    * src/ltlast/unop.hh (map): Use unop* as values.
    * src/ltlast/binop.hh (map): Use binop* as values.
    * src/ltlast/multop.hh (map): Use multop* as values.
    * src/ltlast/automatop.hh (paircmp): Rename as tripletcmp.
    (map): Use automaton* as values, not formula*.
To find the state of this project's repository at the time of any of these versions, check out the tags.