Examples of eas.math.fundamentalAlgorithms.graphBased.algorithms.bdd.BDD

Package eas.math.fundamentalAlgorithms.graphBased.algorithms.bdd

Examples of eas.math.fundamentalAlgorithms.graphBased.algorithms.bdd.BDD

eas.math.fundamentalAlgorithms.graphBased.algorithms.bdd.BDD
Klasse zur Erzeugung eines BDDs. Die Klasse kann temporär auch Zwischen- schritte speichern, also kein echtes BDD. Nach wiederholtem Aufruf der Methode simplifyOneStep (bis sie false zurückgibt), enthält die Klasse ein BDD. Die Variablenreihenfolge ist in der Variable VAR_NAMES angegeben; eine Änderung hier bewirkt jedoch keine verändert Berechnung - diese muss über den übergebeben Array im Konstruktor gesteuert werden. @author lko

        LinkedList<RepresentableAsGraph> list = new LinkedList<RepresentableAsGraph>();
        list.add(new FSM());
        list.add(new PDA());
        list.add(new Turing());
        list.add(new Grammar());
        list.add(new BDD());
        list.add(new Huffman());
        list.add(new PlainDOT());
        list.add(new PatTree());
        list.add(new MARB());
        list.add(new RedBlackTree());

View Full Code Here

TOP

Related Classes of eas.math.fundamentalAlgorithms.graphBased.algorithms.bdd.BDD

eas.math.fundamentalAlgorithms.graphBased.pdfProcessors.GraphViz

eas.math.fundamentalAlgorithms.graphBased.plugin.GraphBasedPlugin

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.