Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> sf >> [ javabdd overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

org.sf.javabdd
Class BDDFactory.BDDOp  

java.lang.Object
  org.sf.javabdd.BDDFactory.BDDOp

Enclosing class:

BDDFactory

---

public static class BDDFactory.BDDOp

extends java.lang.Object

Enumeration class for binary operations on BDDs. Use the static fields in BDDFactory to access the different binary operations.

---

Field Summary
(package private)  int	id
(package private)  java.lang.String	name

 

Constructor Summary
private	BDDFactory.BDDOp(int id, java.lang.String name)

 

Method Summary
java.lang.String	toString()           Convert this Object to a human-readable String.

 

Methods inherited from class java.lang.Object

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

 

Field Detail

id

final int id

---

name

final java.lang.String name

Constructor Detail

BDDFactory.BDDOp

private BDDFactory.BDDOp(int id,
                         java.lang.String name)

Method Detail

toString

public java.lang.String toString()

Description copied from class: java.lang.Object

Convert this Object to a human-readable String. There are no limits placed on how long this String should be or what it should contain. We suggest you make it as intuitive as possible to be able to place it into System.out.println() 55 and such.

It is typical, but not required, to ensure that this method never completes abruptly with a java.lang.RuntimeException.

This method will be called when performing string concatenation with this object. If the result is null, string concatenation will instead use "null".

The default implementation returns getClass().getName() + "@" + Integer.toHexString(hashCode()).

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> sf >> [ javabdd overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---