jdd.bdd

Class BDDUserNames

java.lang.Object

jdd.bdd.BDDNames

jdd.bdd.BDDUserNames

All Implemented Interfaces:

NodeName

public class BDDUserNames
extends BDDNames

BDD-style node naming: v1..vn but also accepts names provided by the user

Constructor Summary

Constructors

Constructor and Description
BDDUserNames()

Method Summary

Modifier and Type	Method and Description
void	setName(int index, String name)
String	variable(int n)

Methods inherited from class jdd.bdd.BDDNames

one, oneShort, zero, zeroShort

Methods inherited from class java.lang.Object

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

Constructor Detail

BDDUserNames

public BDDUserNames()

Method Detail

setName

public void setName(int index,
                    String name)

variable

public String variable(int n)

Specified by:

variable in interface NodeName

Overrides:

variable in class BDDNames