ubc.cs.JLog.Foundation
Class jVariableVector

java.lang.Object
  extended by ubc.cs.JLog.Foundation.jVariableVector

public class jVariableVector
extends java.lang.Object


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

Field Detail

variables

protected java.util.Vector variables
Constructor Detail

jVariableVector

public jVariableVector()
Method Detail

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)