• Alexandre Duret-Lutz's avatar
    formula: b* is siSERE · 9e7e6d50
    Alexandre Duret-Lutz authored
    Since b[+] and [*0] are siSERE, b* is siSERE as well.
    Suggested by Victor Khomenko.
    
    * spot/tl/formula.cc: Implement that for Star and also
    in the concatenation rule.
    * tests/core/kind.test, tests/core/ltlfilt.test: Adjust.
    9e7e6d50
formula.cc 54.7 KB