jdd.examples

Class BDDQueens

java.lang.Object

jdd.bdd.NodeTable

jdd.bdd.BDD

jdd.examples.BDDQueens

All Implemented Interfaces:

Queens

public class BDDQueens
extends BDD
implements Queens

 The N Queens on a N * N chessboard...
 we have borrowed this from JavaBDD, to see how much of the [lack of] speed depends
 on Java...

 Note that this problem can be solved far faster with a more intelligent use of BDDs.

 [e-mail Arash and ask for an explanation, because none of us knows why he claims such a thing...]

 

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
BDDQueens(int N)

Method Summary

Modifier and Type	Method and Description
double	getMemory()
int	getN()
boolean[]	getOneSolution()
long	getTime()
static void	internal_test() testbench.
static void	main(String[] args)
double	numberOfSolutions()
void	showOneSolution()

Methods inherited from class jdd.bdd.BDD

and, andTo, biimp, cleanup, createPermutation, createVar, cube, cube, exists, forall, getMemoryUsage, getOne, getZero, imp, 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

BDDQueens

public BDDQueens(int N)

Method Detail

showOneSolution

public void showOneSolution()

getN

public int getN()

Specified by:

getN in interface Queens

numberOfSolutions

public double numberOfSolutions()

Specified by:

numberOfSolutions in interface Queens

getTime

public long getTime()

Specified by:

getTime in interface Queens

getMemory

public double getMemory()

getOneSolution

public boolean[] getOneSolution()

Specified by:

getOneSolution in interface Queens

main

public static void main(String[] args)

internal_test

public static void internal_test()

testbench. do not call