edu.wis.jtlv.env
Class Env.JTLVBDDToString

java.lang.Object
  net.sf.javabdd.BDD.BDDToString
      edu.wis.jtlv.env.Env.JTLVBDDToString

Enclosing class:

Env

public static class Env.JTLVBDDToString
extends BDD.BDDToString

The JTLVBDDToString is responsible for naming of the values in the BDD domain.

Its holder is variable stringer at Env, and all operation should be done through the Env (unless another instance of this object is created else where by the user...).

Version:

"1.3.2"

Author:

yaniv sa'ar.

Field Summary

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

INSTANCE

Method Summary

boolean	domain_has_module_value(SMVModule m, BDDDomain dom, java.lang.String value)
java.lang.String	elementName(BDDDomain dom, java.math.BigInteger j)
java.lang.String	elementName(int i, java.math.BigInteger j)
java.lang.String	elementNames(BDDDomain dom, java.math.BigInteger lo, java.math.BigInteger hi)
java.lang.String	elementNames(int i, java.math.BigInteger lo, java.math.BigInteger hi)
java.math.BigInteger	get_module_value_loc(SMVModule m, BDDDomain dom, java.lang.String value)
void	register_domain_module_values(SMVModule m, BDDDomain dom, int range_start, int range_size)
void	register_domain_module_values(SMVModule m, BDDDomain dom, java.lang.String[] values)

Methods inherited from class java.lang.Object

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

Method Detail

register_domain_module_values

public void register_domain_module_values(SMVModule m,
                                          BDDDomain dom,
                                          java.lang.String[] values)

register_domain_module_values

public void register_domain_module_values(SMVModule m,
                                          BDDDomain dom,
                                          int range_start,
                                          int range_size)

domain_has_module_value

public boolean domain_has_module_value(SMVModule m,
                                       BDDDomain dom,
                                       java.lang.String value)

get_module_value_loc

public java.math.BigInteger get_module_value_loc(SMVModule m,
                                                 BDDDomain dom,
                                                 java.lang.String value)

elementName

public java.lang.String elementName(BDDDomain dom,
                                    java.math.BigInteger j)

elementName

public java.lang.String elementName(int i,
                                    java.math.BigInteger j)

Overrides:

elementName in class BDD.BDDToString

elementNames

public java.lang.String elementNames(BDDDomain dom,
                                     java.math.BigInteger lo,
                                     java.math.BigInteger hi)

elementNames

public java.lang.String elementNames(int i,
                                     java.math.BigInteger lo,
                                     java.math.BigInteger hi)

Overrides:

elementNames in class BDD.BDDToString