Is it possible to get a bdd for (x0 ∧ x1 ) ∨ (x0 ∧!x1 ) ∨ (!x0 ∧ x1 ) ∨ (!x 0 ∧!x 1 ) that still has nodes representing the variables x0 and x1, using CUDD? I know the above boolean formula simplifies to the constant function 1. But I still want a BDD that doesnt simplify the formula but represents it as a BDD 'containing' nodes corresponding to both x0 and x1. If not in CUDD, is it possible to do so using some other tool?
Representing BDDs in CUDD without simplification
437 Views Asked by Ashwin Bhaskar At
2
There are 2 best solutions below
0
David Speck
On
You might want to try the MEDDLY Library. (https://meddly.sourceforge.io/).
It is possible to use different types of reduction within this library. For example, quasi-reduction never skips a level (variable). That sounds like what you want.
Hope, that helps.
Related Questions in C++
- C++ using std::vector across boundaries
- Linked list without struct
- Connecting Signal QML to C++ (Qt5)
- how to get the reference of struct soap inherited in C++ Proxy/Service class
- Why we can't assign value to pointer
- Conversion of objects in c++
- shared_ptr: "is not a type" error
- C++ template using pointer and non pointer arguments in a QVector
- C++ SFML 2.2 vectors
- Lifetime of temporary objects
- I want to be able to use 4 different variables in a select statement in c ++
- segmentation fault: 11, extracting data in vector
- How to catch delay-import dll errors (missing dll or symbol) in MinGW(-w64)?
- How can I print all the values in this linked list inside a hash table?
- Configured TTL for A record(s) backing CNAME records
Related Questions in C
- Passing arguments to main in C using Eclipse
- kernel module does not print packet info
- error C2016 (C requires that a struct or union has at least one member) and structs typedefs
- Drawing with ncurses, sockets and fork
- How to catch delay-import dll errors (missing dll or symbol) in MinGW(-w64)?
- Configured TTL for A record(s) backing CNAME records
- Allocating memory for pointers inside structures in functions
- Finding articulation point of undirected graph by DFS
- C first fgets() is being skipped while the second runs
- C std library don't appear to be linked in object file
- gcc static library compilation
- How to do a case-insensitive string comparison?
- C programming: Create and write 2D array of files as function
- How to read a file then store to array and then print?
- Function timeouts in C and thread
Related Questions in BINARY-DECISION-DIAGRAM
- Create a Reduced Ordered Binary Decision Diagram from boolean expression in Haskell
- Python Trees: Modifying a tree
- How to successfully run cudd library in window
- Calculate image of a set for a function represented as an array of ROBDD's
- How to distinguish between positive and negative integers for Binary Decision Diagrams
- How to find the complexity of decision trees in Tic Tac Toe by hand?
- Using a binary decision diagram for the conceptual representation of simple rules
- BDD implementations in Java
- How to encode integers in BDDs
- Patternmatching on 'Or' of 2 newtypes in haskell
- How do I display numerical values that come from two labels (0,1) in two different colors in python?
- Learning Binary Decision Diagrams (BDDs) from data in Python
- CUDD: Access BDD childs
- Exploration of State Space in NuSMV Source
- convert binary formula to Shannon Normal Form
Related Questions in CUDD
- How to successfully run cudd library in window
- Cudd Statistics, low hits, high collision
- CUDD C++ Interface for converting Booleans to BDDs and resulting set of minterms (to cutsets)
- cudd C++ interface. A suggestion for reading the string-formatted Boolean expressions into cudd?
- Cudd: extracting variable ordering
- CUDD: Access BDD childs
- Representing BDDs in CUDD without simplification
- "same" values appear in the leaf in an ADD
- Decision Diagram for Multiple Output Boolean Function in CUDD
- Segmentation fault in CUDD execution
- Make printf appear in stdout from shared object library
- JavaBDD and CUDD on a 64bit Windows Machine
- CUDD: determine if a variable is present in BDD expression
- CUDD: Manipulation of BDDs
- Multistate DDs on CUDD (Python version, tulip-DD)
Trending Questions
- UIImageView Frame Doesn't Reflect Constraints
- Is it possible to use adb commands to click on a view by finding its ID?
- How to create a new web character symbol recognizable by html/javascript?
- Why isn't my CSS3 animation smooth in Google Chrome (but very smooth on other browsers)?
- Heap Gives Page Fault
- Connect ffmpeg to Visual Studio 2008
- Both Object- and ValueAnimator jumps when Duration is set above API LvL 24
- How to avoid default initialization of objects in std::vector?
- second argument of the command line arguments in a format other than char** argv or char* argv[]
- How to improve efficiency of algorithm which generates next lexicographic permutation?
- Navigating to the another actvity app getting crash in android
- How to read the particular message format in android and store in sqlite database?
- Resetting inventory status after order is cancelled
- Efficiently compute powers of X in SSE/AVX
- Insert into an external database using ajax and php : POST 500 (Internal Server Error)
Popular Questions
- How do I undo the most recent local commits in Git?
- How can I remove a specific item from an array in JavaScript?
- How do I delete a Git branch locally and remotely?
- Find all files containing a specific text (string) on Linux?
- How do I revert a Git repository to a previous commit?
- How do I create an HTML button that acts like a link?
- How do I check out a remote Git branch?
- How do I force "git pull" to overwrite local files?
- How do I list all files of a directory?
- How to check whether a string contains a substring in JavaScript?
- How do I redirect to another webpage?
- How can I iterate over rows in a Pandas DataFrame?
- How do I convert a String to an int in Java?
- Does Python have a string 'contains' substring method?
- How do I check if a string contains a specific word?
Well, this may not be the useful answer but if you use ZDDs (also called 0-sup-BDDs) and you represent constant 1, you will get a graph with all variables - different reduction rule is used. I have generated it by some other tool but CUDD also supports ZDDs.