alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Add interface for and test the bdd_setxor() function added to Buddy.

Browse source 
* wrap/python/buddy.i (bdd_setxor): New function.
* wrap/python/tests/setxor.py: New file.
* wrap/python/tests/Makefile.am (TESTS): Add setxor.py.
This commit is contained in:
Alexandre Duret-Lutz 2010-11-07 11:15:56 +01:00
parent 4034b7f87f
commit 2b46cb4bab
4 changed files with 62 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
wrap/python/buddy.i
View file

@ -1,3 +1,4 @@
// Copyright (C) 2010 Laboratoire de Recherche et Développement de l'EPITA.
// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie.
@ -155,6 +156,7 @@ bdd bdd_or(const bdd &l, const bdd &r);
bdd bdd_xor(const bdd &l, const bdd &r);
bdd bdd_imp(const bdd &l, const bdd &r);
bdd bdd_biimp(const bdd &l, const bdd &r);
bdd bdd_setxor(const bdd &l, const bdd &r);
bdd bdd_ite(const bdd &f, const bdd &g, const bdd &h);
bdd bdd_exist(const bdd &r, const bdd &var);
bdd bdd_existcomp(const bdd &r, const bdd &var);