edu.wis.jtlv.env
Class Env.JTLVBDDToString

java.lang.Object
  extended by net.sf.javabdd.BDD.BDDToString
      extended by edu.wis.jtlv.env.Env.JTLVBDDToString
Enclosing class:
Env

public static class Env.JTLVBDDToString
extends net.sf.javabdd.BDD.BDDToString

TBD.

Version:
"1.1.0"
Author:
yaniv sa'ar.

Field Summary
static boolean print_as_range
           
 
Fields inherited from class net.sf.javabdd.BDD.BDDToString
INSTANCE
 
Constructor Summary
Env.JTLVBDDToString()
           
 
Method Summary
 boolean domain_has_all_module_values(SMVModule m, net.sf.javabdd.BDDDomain dom, java.lang.String[] values)
           
 boolean domain_has_all_module_values(SMVModule m, int dom, java.lang.String[] values)
           
 boolean domain_has_module_value(SMVModule m, net.sf.javabdd.BDDDomain dom, java.lang.String value)
           
 boolean domain_has_module_value(SMVModule m, int dom, java.lang.String value)
           
 java.lang.String elementName(net.sf.javabdd.BDDDomain dom, java.math.BigInteger j)
           
 java.lang.String elementName(int i, java.math.BigInteger j)
           
 java.lang.String elementNames(net.sf.javabdd.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, net.sf.javabdd.BDDDomain dom, int range_value)
           
 java.math.BigInteger get_module_value_loc(SMVModule m, net.sf.javabdd.BDDDomain dom, java.lang.String value)
           
 java.math.BigInteger get_module_value_loc(SMVModule m, int dom, int range_value)
           
 java.math.BigInteger get_module_value_loc(SMVModule m, int dom, java.lang.String value)
           
 void register_domain_module_values(SMVModule m, net.sf.javabdd.BDDDomain dom, int range_start, int range_size)
           
 void register_domain_module_values(SMVModule m, net.sf.javabdd.BDDDomain dom, java.lang.String[] values)
           
 void register_domain_module_values(SMVModule m, int dom, int range_start, int range_size)
           
 void register_domain_module_values(SMVModule m, int dom, java.lang.String[] values)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

print_as_range

public static boolean print_as_range
Constructor Detail

Env.JTLVBDDToString

public Env.JTLVBDDToString()
Method Detail

register_domain_module_values

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

register_domain_module_values

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

register_domain_module_values

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

register_domain_module_values

public void register_domain_module_values(SMVModule m,
                                          net.sf.javabdd.BDDDomain dom,
                                          int range_start,
                                          int range_size)

domain_has_all_module_values

public boolean domain_has_all_module_values(SMVModule m,
                                            net.sf.javabdd.BDDDomain dom,
                                            java.lang.String[] values)

domain_has_all_module_values

public boolean domain_has_all_module_values(SMVModule m,
                                            int dom,
                                            java.lang.String[] values)

domain_has_module_value

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

domain_has_module_value

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

get_module_value_loc

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

get_module_value_loc

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

get_module_value_loc

public java.math.BigInteger get_module_value_loc(SMVModule m,
                                                 net.sf.javabdd.BDDDomain dom,
                                                 int range_value)

get_module_value_loc

public java.math.BigInteger get_module_value_loc(SMVModule m,
                                                 int dom,
                                                 int range_value)

elementName

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

elementName

public java.lang.String elementName(int i,
                                    java.math.BigInteger j)
Overrides:
elementName in class net.sf.javabdd.BDD.BDDToString

elementNames

public java.lang.String elementNames(net.sf.javabdd.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 net.sf.javabdd.BDD.BDDToString