|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.wis.jtlv.env.module.ModuleEntity
edu.wis.jtlv.env.module.ModuleBDDField
public class ModuleBDDField
JTLVBDDField is an object representing a field variable in JTLV environment. On one hand, this object encapsulate the BDD domain, which does not necessarily has two boolean values. From the other hand, this object also encapsulate both prime and unprime, versions of the variables.
Constructor Summary | |
---|---|
ModuleBDDField(BDDDomain unprime,
BDDDomain prime,
java.lang.String a_path,
java.lang.String name)
The main public constructor for JTLVBDDField. |
Method Summary | |
---|---|
boolean |
comparable(ModuleBDDField other)
Check whether this object's domain is comparable to the give object domain. |
BDDDomain |
getDomain()
Getter for the domain of this field. |
BDDDomain |
getOtherDomain()
Getter for the domain of the other corresponding field. |
boolean |
isPrime()
Check whether this is a prime version of the field representation. |
ModuleBDDField |
other()
Return the other version of the field, regardless of which instance this is. |
ModuleBDDField |
prime()
Get the prime version of this field. |
BDDVarSet |
support()
Get the set of BDD variables which construct the domain for this field. |
ModuleBDDField |
unprime()
Get the unprime version of this field. |
Methods inherited from class edu.wis.jtlv.env.module.ModuleEntity |
---|
equals, getName, getPath, getSimpleArrayName, strongEquals, toFullString, toString |
Methods inherited from class java.lang.Object |
---|
getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public ModuleBDDField(BDDDomain unprime, BDDDomain prime, java.lang.String a_path, java.lang.String name)
The main public constructor for JTLVBDDField. Given a path, a name, a domain, and a corresponding domain, a new BDD field is created with a corresponding prime version of the field.
unprime
- The domain to which we are constructing a field.prime
- The other corresponding domain.a_path
- A path to the field.name
- A name for this field.Env.newVar(String, String)
,
Env.newVar(String, String, int)
Method Detail |
---|
public ModuleBDDField other()
Return the other version of the field, regardless of which instance this is.
prime()
,
unprime()
public ModuleBDDField prime() throws BDDException
Get the prime version of this field.
BDDException
- If this is a prime version of the field.other()
,
unprime()
public ModuleBDDField unprime() throws BDDException
Get the unprime version of this field.
BDDException
- If this is an unprime version of the field.other()
,
prime()
public BDDVarSet support()
Get the set of BDD variables which construct the domain for this field.
public boolean isPrime()
Check whether this is a prime version of the field representation.
public BDDDomain getDomain()
Getter for the domain of this field.
getOtherDomain()
public BDDDomain getOtherDomain()
Getter for the domain of the other corresponding field.
getDomain()
public boolean comparable(ModuleBDDField other)
Check whether this object's domain is comparable to the give object domain.
other
- The other object to compare this filed to.
ModuleEntity.equals(Object)
,
ModuleEntity.strongEquals(Object)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |