jdd.examples

Class Adder

java.lang.Object

jdd.bdd.NodeTable

jdd.bdd.BDD

jdd.examples.Adder

public class Adder
extends BDD

Adder.java, converted from BuDDy:s source:

        FILE:  adder.cc
        DESCR: BDD implementation of an N bit adder.
        AUTH:  Jorn Lind
        DATE:  feb 1998
 

This class builds a BDD representation of an N-bit adder.

See Also:

ConfigExample

Field Summary

Fields inherited from class jdd.bdd.BDD

CACHE_AND, CACHE_BIIMP, CACHE_EXISTS, CACHE_FORALL, CACHE_IMP, CACHE_NAND, CACHE_NOR, CACHE_OR, CACHE_RESTRICT, CACHE_XOR, ite_cache, last_sat_vars, nodeNames, not_cache, num_vars, oneSat_buffer, op_cache, quant_cache, quant_conj, quant_cube, quant_id, relprod_cache, replace_cache, restrict_careset, sat_cache, sign_vec, varset_last, varset_vec

Fields inherited from class jdd.bdd.NodeTable

dead_nodes, ht_chain, mark_stack, NODE_MARK, NODE_UNMARK, nodesminfree, stat_gc_count, stat_gc_freed, stat_gc_time, stat_grow_time, stat_lookup_count, stat_notify_time, stat_nt_grow, table_size, work_stack, work_stack_tos

Constructor Summary

Constructors

Constructor and Description
Adder(int N) create an N-bit adder

Method Summary

Modifier and Type	Method and Description
void	dump()
static void	main(String[] args)
boolean	test_adder()

Methods inherited from class jdd.bdd.BDD

and, andTo, biimp, cleanup, createPermutation, createVar, cube, cube, exists, forall, getMemoryUsage, getOne, getZero, imp, internal_test, isVariable, ite, member, minterm, minterm, mk, nand, nodeCount, nor, not, numberOfVariables, oneSat_rec, oneSat, oneSat, or, orTo, post_removal_callbak, print, printCubes, printDot, printSet, quasiReducedNodeCount, relProd, replace, restrict, satCount_rec, satCount, setNodeNames, showStats, simplify, support, xor

Methods inherited from class jdd.bdd.NodeTable

add, addDebugger, check_all_nodes, check_node, countRootNodes, deref, enableStackMarking, gc, getHigh, getLow, getRef, getVar, getVarUnmasked, grow, invalidate, isNodeMarked, isValid, mark_node, mark_tree, match_table, ref, saturate, setAll, setAll, show_table_all, show_table, show_tuple, signal_removed, tree_depth_changed, unmark_node, unmark_tree, update_grow_parameters

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Adder

public Adder(int N)

create an N-bit adder

Method Detail

dump

public void dump()

test_adder

public boolean test_adder()

main

public static void main(String[] args)