jdd.bdd

Class Permutation

java.lang.Object

jdd.bdd.Permutation

public class Permutation
extends Object

BDD permutation, a function p:N -> N

See Also:

BDD

Method Summary

Modifier and Type	Method and Description
long	getMemoryUsage() get the approximate memory usage of this object
void	show()

Methods inherited from class java.lang.Object

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

Method Detail

show

public void show()

getMemoryUsage

public long getMemoryUsage()

get the approximate memory usage of this object