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

---

Compil3r.Quad.IPA
Class CSPAResults.TypedBDD  

java.lang.Object
  Compil3r.Quad.IPA.CSPAResults.TypedBDD

Enclosing class:

CSPAResults

---

public class CSPAResults.TypedBDD

extends java.lang.Object

---

Field Summary
(package private)  org.sf.javabdd.BDD	bdd
(package private)  java.util.Set	dom

 

Constructor Summary

CSPAResults.TypedBDD(org.sf.javabdd.BDD bdd, org.sf.javabdd.BDDDomain d)

CSPAResults.TypedBDD(org.sf.javabdd.BDD bdd, org.sf.javabdd.BDDDomain[] domains)

CSPAResults.TypedBDD(org.sf.javabdd.BDD bdd, org.sf.javabdd.BDDDomain d1, org.sf.javabdd.BDDDomain d2)

CSPAResults.TypedBDD(org.sf.javabdd.BDD bdd, java.util.Set domains)

 

Method Summary
CSPAResults.TypedBDD	and(CSPAResults.TypedBDD bdd1)
CSPAResults.TypedBDD	exist(CSPAResults.TypedBDD set)
(package private)  org.sf.javabdd.BDD	getDomains()
CSPAResults.TypedBDD	or(CSPAResults.TypedBDD bdd1)
CSPAResults.TypedBDD	relprod(CSPAResults.TypedBDD bdd1, CSPAResults.TypedBDD set)
CSPAResults.TypedBDD	restrict(CSPAResults.TypedBDD bdd1)
double	satCount()
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

bdd

org.sf.javabdd.BDD bdd

---

dom

java.util.Set dom

Constructor Detail

CSPAResults.TypedBDD

public CSPAResults.TypedBDD(org.sf.javabdd.BDD bdd,
                            org.sf.javabdd.BDDDomain[] domains)

---

CSPAResults.TypedBDD

public CSPAResults.TypedBDD(org.sf.javabdd.BDD bdd,
                            java.util.Set domains)

---

CSPAResults.TypedBDD

public CSPAResults.TypedBDD(org.sf.javabdd.BDD bdd,
                            org.sf.javabdd.BDDDomain d)

---

CSPAResults.TypedBDD

public CSPAResults.TypedBDD(org.sf.javabdd.BDD bdd,
                            org.sf.javabdd.BDDDomain d1,
                            org.sf.javabdd.BDDDomain d2)

Method Detail

relprod

public CSPAResults.TypedBDD relprod(CSPAResults.TypedBDD bdd1,
                                    CSPAResults.TypedBDD set)

---

restrict

public CSPAResults.TypedBDD restrict(CSPAResults.TypedBDD bdd1)

---

exist

public CSPAResults.TypedBDD exist(CSPAResults.TypedBDD set)

---

and

public CSPAResults.TypedBDD and(CSPAResults.TypedBDD bdd1)

---

or

public CSPAResults.TypedBDD or(CSPAResults.TypedBDD bdd1)

---

getDomains

org.sf.javabdd.BDD getDomains()

---

satCount

public double satCount()

---

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 >> Compil3r >> Quad >> [ IPA overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---