Skip to content

Making aiger a class

Philipp Schlehuber requested to merge aiger into next

Aiger circuit have now their own class, can be read from aag files and converted to monitors. Moreover new translation methods to convert a strategy into an aig are available.

  • spot/twaalgos/aiger.hh, spot/twaalgos/aiger.cc: Here
  • spot/misc/hash.hh: Add pair_hash specialization
  • bin/ltlsynt.cc: Doc for new options
  • tests/core/ltlsynt.test: Adjust and add tests

Merge request reports