User Tools
magik-demo:developer:class:core:querygeneralization
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
magik-demo:developer:class:core:querygeneralization [2013/07/26 11:03] alex [getCompleteAtoms] |
magik-demo:developer:class:core:querygeneralization [2017/07/06 15:24] (current) |
||
|---|---|---|---|
| Line 7: | Line 7: | ||
| ===== Class Attributes ===== | ===== Class Attributes ===== | ||
| - | No attributes for this class | + | <code java> |
| + | public static long executionTime | ||
| + | </code> | ||
| ===== Class Constructor ===== | ===== Class Constructor ===== | ||
magik-demo/developer/class/core/querygeneralization.1374829412.txt.gz · Last modified: 2017/07/06 15:24 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 3.0 Unported
