jdd.examples

Interface Queens

All Known Implementing Classes:

BDDQueens, ZDDCSPQueens, ZDDQueens

public interface Queens

Method Summary

Modifier and Type	Method and Description
int	getN()
boolean[]	getOneSolution()
long	getTime()
double	numberOfSolutions()

Method Detail

getN

int getN()

getTime

long getTime()

getOneSolution

boolean[] getOneSolution()

numberOfSolutions

double numberOfSolutions()