ubc.cs.JLog.Foundation
Class jVariableVector

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

public class jVariableVector
extends Object

Field Summary

protected Vector

variables

Constructor Summary

jVariableVector()

Method Summary

int	addVariable(jVariable v)
void	appendVariables(jCompoundTerm ct)
jVariable[]	duplicateVariables()
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 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 Enumeration enumerate()

duplicateVariables

public jVariable[] duplicateVariables()

getVariables

public jVariable[] getVariables()

appendVariables

public void appendVariables(jCompoundTerm ct)