Uses of Class
zeus.concepts.AttributeList

Packages that use AttributeList

zeus.actors
zeus.concepts

Uses of AttributeList in zeus.actors

Methods in zeus.actors with parameters of type AttributeList

void	TaskDb.checkAndMapValue(java.lang.String attrName, AttributeList attrs, Fact[] produced) checkAndMapValue takes a value from an attribute and checks to see if it is a reference to a post condition.

Uses of AttributeList in zeus.concepts

Fields in zeus.concepts declared as AttributeList

protected AttributeList

Fact.attr

Methods in zeus.concepts that return AttributeList

(package private) AttributeList	AttributeList.duplicate(java.lang.String name, GenSym genSym)
(package private) AttributeList	AttributeList.duplicate(DuplicationTable table)
AttributeList	Fact.getAttributeList() getAttributeList returns a list of the attributes of the Fact.

Methods in zeus.concepts with parameters of type AttributeList

(package private) boolean	AttributeList.unifiesWith(AttributeList List, Bindings bindings)
boolean	AttributeList.equals(AttributeList List) somewhat changed to allow less constrained matches
(package private) void	AttributeList.disjoin(AttributeList List)
(package private) void	Fact.setAttributeList(AttributeList List)

Constructors in zeus.concepts with parameters of type AttributeList

AttributeList(AttributeList List)

Fact(java.lang.String type, java.lang.String id, int modifiers, AttributeList attr, OntologyDb ontology)