zeus.concepts
Class AttributeList

java.lang.Object
  java.util.Dictionary
      java.util.Hashtable
          zeus.concepts.AttributeList

All Implemented Interfaces:

java.lang.Cloneable, java.util.Map, java.io.Serializable

public class AttributeList

extends java.util.Hashtable

See Also:

Serialized Form

Nested Class Summary

Nested classes inherited from class java.util.Hashtable

Field Summary

Fields inherited from class java.util.Hashtable

Constructor Summary

(package private)	AttributeList()
(package private)	AttributeList(AttributeList List)

Method Summary

(package private) void	disjoin(AttributeList List)
(package private) AttributeList	duplicate(DuplicationTable table)
(package private) AttributeList	duplicate(java.lang.String name, GenSym genSym)
boolean	equals(AttributeList List) somewhat changed to allow less constrained matches
ValueFunction	getFn(java.lang.String attribute)
java.lang.String[]	getNames() getNames produces a list of the names of the attributes.
java.lang.String	getValue(java.lang.String attribute)
(package private) boolean	isDeterminate()
(package private) boolean	isDeterminate(java.lang.String attribute)
java.lang.String[]	listAttributes()
(package private) ValueFunction[]	listValues()
(package private) java.lang.String	pprint()
(package private) java.lang.String	pprint(int sp)
(package private) boolean	resolve(ResolutionContext context, Bindings bindings)
void	setValue(java.lang.String attribute, ValueFunction value)
java.lang.String	toSL() added by Simon on 20/02/02 - rough and ready implementation as an experiment
java.lang.String	toString()
(package private) boolean	unifiesWith(AttributeList List, Bindings bindings)
(package private) java.util.Vector	variables()

Methods inherited from class java.util.Hashtable

clear, clone, contains, containsKey, containsValue, elements, entrySet, equals, get, hashCode, isEmpty, keys, keySet, put, putAll, rehash, remove, size, values

Methods inherited from class java.lang.Object

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

Constructor Detail

AttributeList

AttributeList()

AttributeList

AttributeList(AttributeList List)

Method Detail

getNames

public java.lang.String[] getNames()

getNames produces a list of the names of the attributes. You can iterate through this list using the getValue call to find the values of the attributes

Since:

1.21

listAttributes

public java.lang.String[] listAttributes()

listValues

ValueFunction[] listValues()

variables

java.util.Vector variables()

setValue

public void setValue(java.lang.String attribute,
                     ValueFunction value)

getValue

public java.lang.String getValue(java.lang.String attribute)

getFn

public ValueFunction getFn(java.lang.String attribute)

toString

public java.lang.String toString()

toSL

public java.lang.String toSL()

added by Simon on 20/02/02 - rough and ready implementation as an experiment

pprint

java.lang.String pprint()

pprint

java.lang.String pprint(int sp)

unifiesWith

boolean unifiesWith(AttributeList List,
                    Bindings bindings)

equals

public boolean equals(AttributeList List)

somewhat changed to allow less constrained matches

Since:

1.2.2

isDeterminate

boolean isDeterminate()

isDeterminate

boolean isDeterminate(java.lang.String attribute)

resolve

boolean resolve(ResolutionContext context,
                Bindings bindings)

disjoin

void disjoin(AttributeList List)

duplicate

AttributeList duplicate(java.lang.String name,
                        GenSym genSym)

duplicate

AttributeList duplicate(DuplicationTable table)