|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectubc.cs.JLog.Foundation.jUnifiedVector
public class jUnifiedVector
This class is used to register a jVariable
after it is bound
during unification.
A single call can then return those variables back to their unbound state.
Field Summary | |
---|---|
protected java.util.Vector |
variables
|
Constructor Summary | |
---|---|
jUnifiedVector()
|
Method Summary | |
---|---|
void |
addVariable(jVariable v)
Registers a variable with this instance. |
boolean |
isEmpty()
|
void |
restoreVariables()
Restores all registered variables to their unbound state, and removes the variables from this registery. |
int |
size()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected java.util.Vector variables
Constructor Detail |
---|
public jUnifiedVector()
Method Detail |
---|
public final void addVariable(jVariable v)
jVariable
after it binds itself during unification.
v
- the variable to register.public final int size()
public final boolean isEmpty()
public final void restoreVariables()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |