jdd.util

Interface NodeName

All Known Implementing Classes:

BDDNames, BDDUserNames, ZDDNames

public interface NodeName

interface for an object that gives "names" to each node in a *DD tree

Method Summary

Modifier and Type	Method and Description
String	one()
String	oneShort()
String	variable(int n)
String	zero()
String	zeroShort()

Method Detail

zero

String zero()

one

String one()

zeroShort

String zeroShort()

oneShort

String oneShort()

variable

String variable(int n)