jdd.bdd

Class BDDNames

java.lang.Object

jdd.bdd.BDDNames

All Implemented Interfaces:

NodeName

Direct Known Subclasses:

BDDUserNames

public class BDDNames
extends Object
implements NodeName

BDD-style node naming: v1..vn

Constructor Summary

Constructors

Constructor and Description
BDDNames()

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

BDDNames

public BDDNames()

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