joeq.Compiler.Analysis.IPA
Class PA.ToString

java.lang.Object
  net.sf.javabdd.BDD.BDDToString
      joeq.Compiler.Analysis.IPA.PA.ToString

Enclosing class:

PA

public class PA.ToString
extends net.sf.javabdd.BDD.BDDToString

Field Summary

Fields inherited from class net.sf.javabdd.BDD.BDDToString

INSTANCE

Constructor Summary

PA.ToString()

Method Summary

String	elementName(int i, BigInteger j)
String	elementNames(int i, BigInteger j, BigInteger k)

Methods inherited from class java.lang.Object

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

Constructor Detail

PA.ToString

public PA.ToString()

Method Detail

elementName

public String elementName(int i,
                          BigInteger j)

Overrides:

elementName in class net.sf.javabdd.BDD.BDDToString

elementNames

public String elementNames(int i,
                           BigInteger j,
                           BigInteger k)

Overrides:

elementNames in class net.sf.javabdd.BDD.BDDToString