jdd.zdd

Class ZDDNames

java.lang.Object

jdd.zdd.ZDDNames

All Implemented Interfaces:

NodeName

public class ZDDNames
extends Object
implements NodeName

Constructor Summary

Constructors

Constructor and Description
ZDDNames()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ZDDNames

public ZDDNames()

Method Detail

zero

public String zero()

Specified by:

zero in interface NodeName

one

public String one()

Specified by:

one in interface NodeName

zeroShort

public String zeroShort()

Specified by:

zeroShort in interface NodeName

oneShort

public String oneShort()

Specified by:

oneShort in interface NodeName

variable

public String variable(int n)

Specified by:

variable in interface NodeName