No, the names are held in a HashSet, so it's an arbitrary order.

On Nov 12, 2010, at 7:41 AM, Donald Winston wrote:

ok thanks. Another question. Will listModules() always give me a list of module names in the order they were defined? If so that would be better then reproducing the list of module names in a config file.

On Nov 11, 2010, at 10:13 PM, Ernest Friedman-Hill wrote:

setFocus() *is* the "pushFocus()" you're looking for. That's what it does.

On Nov 11, 2010, at 9:19 PM, Donald Winston wrote:

There appears to be no pushFocus(String module) method in the rete class. There's a popFocus() and a setFocus().

So the only way to set the focus stack is do rete.eval("(focus mod1 mod2 mod3)"); ?


Donald Paul Winston
[email protected]



---------------------------------------------------------
Ernest Friedman-Hill
Informatics & Decision Sciences, Sandia National Laboratories
PO Box 969, MS 9012, Livermore, CA 94550
http://www.jessrules.com







--------------------------------------------------------------------
To unsubscribe, send the words 'unsubscribe jess-users [email protected] '
in the BODY of a message to [email protected], NOT to the list
(use your own address!) List problems? Notify [email protected] .
--------------------------------------------------------------------


Donald Paul Winston
[email protected]







--------------------------------------------------------------------
To unsubscribe, send the words 'unsubscribe jess-users [email protected]'
in the BODY of a message to [email protected], NOT to the list
(use your own address!) List problems? Notify [email protected] .
--------------------------------------------------------------------

---------------------------------------------------------
Ernest Friedman-Hill
Informatics & Decision Sciences          Phone: (925) 294-2154
Sandia National Labs
PO Box 969, MS 9012                            [email protected]
Livermore, CA 94550                             http://www.jessrules.com





--------------------------------------------------------------------
To unsubscribe, send the words 'unsubscribe jess-users [email protected]'
in the BODY of a message to [email protected], NOT to the list
(use your own address!) List problems? Notify [email protected].
--------------------------------------------------------------------

Reply via email to