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 net.sf.javabdd.BDD.BDDToString
TBD.
- Version:
- "1.1.0"
- Author:
- yaniv sa'ar.
Fields inherited from class net.sf.javabdd.BDD.BDDToString |
INSTANCE |
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 |
print_as_range
public static boolean print_as_range
Env.JTLVBDDToString
public Env.JTLVBDDToString()
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