Package jade.domain
Class DFMemKB
- java.lang.Object
-
- jade.domain.KBManagement.KB
-
- jade.domain.KBManagement.MemKB
-
- jade.domain.DFMemKB
-
public class DFMemKB extends MemKB
- Author:
- Elisabetta Cortese - TILab
-
-
Field Summary
-
Fields inherited from class jade.domain.KBManagement.MemKB
currentReg, facts, lm, MAX_REGISTER_WITHOUT_CLEAN, sr, subscriptions
-
-
Constructor Summary
Constructors Constructor Description DFMemKB(int maxResultLimit)Constructor
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description protected voidclean()Scan the facts and remove those whose lease time has expired.static booleancompare(Object template, Object fact)static booleancompareServiceDesc(ServiceDescription template, ServiceDescription fact)protected Objectinsert(Object name, Object fact)booleanmatch(Object template, Object fact)-
Methods inherited from class jade.domain.KBManagement.MemKB
getSubscriptionDfAgentDescriptions, getSubscriptions, getSubscriptions, iterator, matchAID, remove, search, subscribe, unsubscribe
-
Methods inherited from class jade.domain.KBManagement.KB
deregister, register, search, setLeaseManager, setSubscriptionResponder
-
-
-
-
Method Detail
-
clean
protected void clean()
Scan the facts and remove those whose lease time has expired.
-
compareServiceDesc
public static final boolean compareServiceDesc(ServiceDescription template, ServiceDescription fact)
-
-