Skip to content
  • Alexandre Duret-Lutz's avatar
    trival: new class for tri-valued logic · 1aeb260a
    Alexandre Duret-Lutz authored
    * spot/misc/trival.hh: New file.
    * spot/misc/Makefile.am: Add it.
    * python/spot_impl.i: Add Python bindings.
    * tests/core/trival.cc, tests/core/trival.test,
    tests/python/trival.py: New files, testing it.
    * tests/Makefile.am: Add them.
    1aeb260a