simulate.py (7531:f5e86115a07a) simulate.py (7532:3f6413fc37a2)
1# Copyright (c) 2005 The Regents of The University of Michigan
2# All rights reserved.
3#
4# Redistribution and use in source and binary forms, with or without
5# modification, are permitted provided that the following conditions are
6# met: redistributions of source code must retain the above copyright
7# notice, this list of conditions and the following disclaimer;
8# redistributions in binary form must reproduce the above copyright

--- 74 unchanged lines hidden (view full) ---

83 for obj in root.descendants(): obj.regStats()
84 for obj in root.descendants(): obj.regFormulas()
85
86 # We're done registering statistics. Enable the stats package now.
87 stats.enable()
88
89 # Restore checkpoint (if any)
90 if ckpt_dir:
1# Copyright (c) 2005 The Regents of The University of Michigan
2# All rights reserved.
3#
4# Redistribution and use in source and binary forms, with or without
5# modification, are permitted provided that the following conditions are
6# met: redistributions of source code must retain the above copyright
7# notice, this list of conditions and the following disclaimer;
8# redistributions in binary form must reproduce the above copyright

--- 74 unchanged lines hidden (view full) ---

83 for obj in root.descendants(): obj.regStats()
84 for obj in root.descendants(): obj.regFormulas()
85
86 # We're done registering statistics. Enable the stats package now.
87 stats.enable()
88
89 # Restore checkpoint (if any)
90 if ckpt_dir:
91 internal.core.unserializeAll(ckpt_dir)
91 ckpt = internal.core.getCheckpoint(ckpt_dir)
92 internal.core.unserializeGlobals(ckpt);
93 for obj in root.descendants(): obj.loadState(ckpt)
92 need_resume.append(root)
94 need_resume.append(root)
95 else:
96 for obj in root.descendants(): obj.initState()
93
94 # Reset to put the stats in a consistent state.
95 stats.reset()
96
97def doDot(root):
98 dot = pydot.Dot()
99 instance.outputDot(dot)
100 dot.orientation = "portrait"

--- 110 unchanged lines hidden --- 		97
98 # Reset to put the stats in a consistent state.
99 stats.reset()
100
101def doDot(root):
102 dot = pydot.Dot()
103 instance.outputDot(dot)
104 dot.orientation = "portrait"

--- 110 unchanged lines hidden ---