zeus.concepts
Class SuppliedDb

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

All Implemented Interfaces:

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

public class SuppliedDb

extends java.util.Hashtable

See Also:

Serialized Form

Nested Class Summary

Nested classes inherited from class java.util.Hashtable

Field Summary

protected OntologyDb

ontology

Fields inherited from class java.util.Hashtable

Constructor Summary

SuppliedDb(OntologyDb ontology)

SuppliedDb(SuppliedDb db)

Method Summary

boolean	add(SuppliedDb db)
boolean	add(SuppliedItem item)
boolean	add(SuppliedItem[] List)
boolean	add(java.util.Vector List)
Fact[]	all(Fact fact)
int	allocateResource(SuppliedRequester rec, int position, int amount)
void	allocateResources(SuppliedRequester rec)
Fact	any(Fact fact)
boolean	cancelReservation(java.lang.String resrvId)
boolean	contains(Fact fact, int start)
void	del(SuppliedItem item)
void	del(SuppliedItem[] List)
void	del(java.util.Vector List)
SuppliedDb	duplicate(DuplicationTable table)
SuppliedDb	duplicate(java.lang.String name, GenSym genSym)
Fact	evalLocal(Fact fact)
int	findAll(SuppliedRequester rec, Fact fact, int precond_position, int required)
(package private) OntologyDb	getOntology()
ReservationEntry[]	getReservations(java.lang.String producer, java.lang.String consumer)
SuppliedItem	getSuppliedItem(java.lang.String itemId)
boolean	isReserved(java.lang.String itemId)
java.lang.String	toString()

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

Field Detail

ontology

protected OntologyDb ontology

Constructor Detail

SuppliedDb

public SuppliedDb(OntologyDb ontology)

SuppliedDb

public SuppliedDb(SuppliedDb db)

Method Detail

getOntology

OntologyDb getOntology()

add

public boolean add(SuppliedDb db)

add

public boolean add(java.util.Vector List)

add

public boolean add(SuppliedItem[] List)

add

public boolean add(SuppliedItem item)

del

public void del(java.util.Vector List)

del

public void del(SuppliedItem[] List)

del

public void del(SuppliedItem item)

findAll

public int findAll(SuppliedRequester rec,
                   Fact fact,
                   int precond_position,
                   int required)

allocateResources

public void allocateResources(SuppliedRequester rec)

allocateResource

public int allocateResource(SuppliedRequester rec,
                            int position,
                            int amount)

evalLocal

public Fact evalLocal(Fact fact)

all

public Fact[] all(Fact fact)

any

public Fact any(Fact fact)

contains

public boolean contains(Fact fact,
                        int start)

cancelReservation

public boolean cancelReservation(java.lang.String resrvId)

getSuppliedItem

public SuppliedItem getSuppliedItem(java.lang.String itemId)

isReserved

public boolean isReserved(java.lang.String itemId)

getReservations

public ReservationEntry[] getReservations(java.lang.String producer,
                                          java.lang.String consumer)

toString

public java.lang.String toString()

duplicate

public SuppliedDb duplicate(java.lang.String name,
                            GenSym genSym)

duplicate

public SuppliedDb duplicate(DuplicationTable table)