standup.unify
Class UnifiableListVar

java.lang.Object
  standup.unify.UnifiableList
      standup.unify.UnifiableListVar

All Implemented Interfaces:

Unifiable

public class UnifiableListVar
extends UnifiableList

Represents a unifiable list of UnifiableVariables.

Author:

Ruli Manurung

Field Summary

Fields inherited from class standup.unify.UnifiableList

elements

Constructor Summary

UnifiableListVar(List<UnifiableVariable> els)

Method Summary

UnifiableListVar	duplicate() Returns a deep copy of this UnifiableList.
UnifiableVariable	get(int idx)
List<UnifiableVariable>	getVariableList() Returns the elements contained in this UnifiableList as a List of UnifiableVariables.

Methods inherited from class standup.unify.UnifiableList

equals, first, getIterator, hashCode, rest, size, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

UnifiableListVar

public UnifiableListVar(List<UnifiableVariable> els)

Method Detail

get

public UnifiableVariable get(int idx)

Overrides:

get in class UnifiableList

duplicate

public UnifiableListVar duplicate()

Description copied from class: UnifiableList

Returns a deep copy of this UnifiableList.

Specified by:

duplicate in interface Unifiable

Overrides:

duplicate in class UnifiableList

See Also:

Unifiable.duplicate()

getVariableList

public List<UnifiableVariable> getVariableList()

Returns the elements contained in this UnifiableList as a List of UnifiableVariables.

Returns:

The elements contained in this object as a List of UnifiableVariables.