joeq.Compiler.Analysis.Primitive
Class PrimitivePA.ToString

java.lang.Object
  net.sf.javabdd.BDD.BDDToString
      joeq.Compiler.Analysis.Primitive.PrimitivePA.ToString

Enclosing class:

PrimitivePA

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

Field Summary

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

INSTANCE

Constructor Summary

PrimitivePA.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

PrimitivePA.ToString

public PrimitivePA.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