ubc.cs.JLog.Foundation
Class jVariableVector
java.lang.Object
ubc.cs.JLog.Foundation.jVariableVector
public class jVariableVector
- extends java.lang.Object
Field Summary |
protected java.util.Vector |
variables
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
variables
protected java.util.Vector variables
jVariableVector
public jVariableVector()
addVariable
public int addVariable(jVariable v)
getVariableIndex
public int getVariableIndex(jVariable v)
hasVariable
public boolean hasVariable(jVariable v)
enumerate
public java.util.Enumeration enumerate()
duplicateVariables
public jVariable[] duplicateVariables()
getVariables
public jVariable[] getVariables()
appendVariables
public void appendVariables(jCompoundTerm ct)