SableJBDD.bdd
Class JBddVariable

java.lang.Object
  extended bySableJBDD.bdd.JBddVariable

public final class JBddVariable
extends java.lang.Object

A bdd variable has name, order, and so on.


Method Summary
 boolean equals(java.lang.Object other)
           
 int getLevel()
           
 int hashCode()
           
 void setName(java.lang.String name)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
 

Method Detail

hashCode

public int hashCode()

equals

public boolean equals(java.lang.Object other)

getLevel

public int getLevel()

toString

public java.lang.String toString()

setName

public void setName(java.lang.String name)