|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.upb.swt.mcie.robdds.Variable
public class Variable
Implements a variable within an ROBDD's context. A variable is a name
that can be primed or unprimed. Each variable is assigned a unique
number, which defines the variable order (currently, the order is the
order in which the variables are created in the context). When a variable
is created in the context, the variable as well as its primed or unprimed
version are instantiated, where the unprimed version is created first
(see Context
).
Field Summary | |
---|---|
(package private) Context |
context
The context in which this variable is defined. |
(package private) boolean |
isprimed
Field indicating whether the variable is primed or unprimed. |
(package private) java.lang.String |
name
The identifier of this variable. |
(package private) int |
number
The number of the variable. |
(package private) Variable |
partner
The partner variable. |
(package private) ROBDD |
repr
The ROBDD representing the formula that consists of this variable only. |
Constructor Summary | |
---|---|
Variable(Context context,
java.lang.String name,
int number,
boolean isprimed)
Constructs a variable. |
Method Summary | |
---|---|
java.lang.String |
getName()
Returns the name of the variable. |
Variable |
getPartner()
Returns the partner variable. |
boolean |
isPrimed()
Checks whether the variable is a primed variable. |
boolean |
precedes(Variable v)
Checks whether this variable precedes the given variable v in the variable order. |
ROBDD |
toROBDD()
Returns the ROBDD representation for this variable (considered as a formula). |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
Context context
int number
java.lang.String name
boolean isprimed
Variable partner
ROBDD repr
Constructor Detail |
---|
Variable(Context context, java.lang.String name, int number, boolean isprimed)
Context
only.
name
- the identifier of the variableisprimed
- true if the primed version should be instantiatedMethod Detail |
---|
public java.lang.String getName()
public boolean isPrimed()
public Variable getPartner()
public ROBDD toROBDD()
public boolean precedes(Variable v)
v
- the variable to be compared with.
IncorrectUseException
- if variables are from a different
context
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |