Skip to content

formula: introduce one_plus(), and saturate predefined formulas

Alexandre Duret-Lutz requested to merge adl/simplsere into next
  • spot/tl/formula.hh (one_plus): New. (fnode): Add a saturated argument. (tt_, ff_, eword_, one_plus, one_star): Create saturated node. (destroy): Do not check for id() < 3.

Merge request reports