? :p fuml.p
Reading script file "1syntax_abstractSyntax_embedded.gs":
Reading script file "1syntax_library_embedded.gs":
Reading script file "2syntax_abstractSyntax_profile.gs":
Reading script file "3syntax_userModel_embedded.gs":
Reading script file "3syntax_abstractSyntax_derivedFunctions.gs":
Reading script file "4semanticDomain_embedded.gs":
Reading script file "5semanticDomain_tokenFlow.gs":
Reading script file "5semanticDomain_agents.gs":
Reading script file "5semanticDomain_time.gs":
Reading script file "5semanticDomain_communication.gs":
Reading script file "5semanticDomain_structuralFeature.gs":
Reading script file "6mapping_environment.gs":
Reading script file "6mapping_library.gs":
Reading script file "6mapping_controlNodes.gs":
Reading script file "6mapping_actions.gs":
Reading script file "6mapping_activities.gs":
Reading script file "6mapping_evaluateExpressions.gs":
Reading script file "6mapping_discreteDomain.gs":
Reading script file "6mapping_continuousDomain.gs":
Reading script file "6mapping_main.gs":

Gofer session for: (project: fuml.p)
C:\work\AsmGofer-v1.1\tk.prelude-all-asm
1syntax_abstractSyntax_embedded.gs
1syntax_library_embedded.gs
2syntax_abstractSyntax_profile.gs
3syntax_userModel_embedded.gs
3syntax_abstractSyntax_derivedFunctions.gs
4semanticDomain_embedded.gs
5semanticDomain_tokenFlow.gs
5semanticDomain_agents.gs
5semanticDomain_time.gs
5semanticDomain_communication.gs
5semanticDomain_structuralFeature.gs
6mapping_environment.gs
6mapping_library.gs
6mapping_controlNodes.gs
6mapping_actions.gs
6mapping_activities.gs
6mapping_evaluateExpressions.gs
6mapping_discreteDomain.gs
6mapping_continuousDomain.gs
6mapping_main.gs
? fire1 rule_fUML_init

1 steps

(507 reductions, 1590 cells)
? fire 2 (rule_fUML_main False)

2 steps

(48517973 reductions, 91498519 cells, 3 garbage collections)
? function_fUML_showSignalTrace
1,Credit,15.0
2,Credit,0.0

(67 reductions, 177 cells)
? function_fUML_showSignals
-- signals dom -> ran
8 -> 8
-- signals classifier x reaction
[
"Gum x 1 ABSENT",
"Gum x 2 PRESENT",
"Nickel x 1 PRESENT",
"Nickel x 2 ABSENT",
"Dime x 1 PRESENT",
"Dime x 2 ABSENT",
"Credit x 1 PRESENT",
"Credit x 2 PRESENT"]

0 steps

(12839 reductions, 25935 cells)
?

? function_fUML_showSignals
-- signals dom -> ran
8 -> 8
-- signals classifier x reaction
[
"Gum x 3 ABSENT",
"Nickel x 3 ABSENT",
"Nickel x 2 ABSENT",
"Dime x 3 ABSENT",
"Dime x 2 ABSENT",
"Gum x 2 PRESENT",
"Credit x 3 PRESENT",
"Credit x 2 PRESENT"]

0 steps

(13737 reductions, 27704 cells)
? function_fUML_showSignalTrace
1,Credit,15.0
2,Credit,0.0
3,Credit,0.0