Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/vis12/src/compiler/c-util/fragments/lib-interface-body.in
ViewVC logotype

Diff of /branches/vis12/src/compiler/c-util/fragments/lib-interface-body.in

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1716, Sat Mar 10 17:08:11 2012 UTC revision 1717, Sat Mar 10 19:44:29 2012 UTC
# Line 1  Line 1 
1    
2    /***** Runtime options *****/
3    
4    //! Set verbose mode
5    void @PREFIX@SetVerbose (@PREFIX@World_t *wrld, bool mode);
6    
7    //! Get verbose mode
8    bool @PREFIX@GetVerbose (@PREFIX@World_t *wrld);
9    
10  /***** World query operations *****/  /***** World query operations *****/
11    
12  //! Return the total number of strands (active+stable) in the world  //! Return the total number of strands (active+stable) in the world
13  int @PREFIX@NumStrands (@PREFIX@World_t *wrld);  uint32_t @PREFIX@NumStrands (@PREFIX@World_t *wrld);
14    
15  //! Return the total number of active strands  //! Return the total number of active strands
16  int @PREFIX@NumActive (@PREFIX@World_t *wrld);  uint32_t @PREFIX@NumActive (@PREFIX@World_t *wrld);
17    
18  //! Return the total number of stable strands  //! Return the total number of stable strands
19  int @PREFIX@NumStable (@PREFIX@World_t *wrld);  uint32_t @PREFIX@NumStable (@PREFIX@World_t *wrld);
20    
21  //! Return the strand descriptor  //! Return the strand descriptor
22  /* FIXME: does not support multiple strand types! */  /* FIXME: does not support multiple strand types! */
# Line 26  Line 34 
34  //! \param wrld the world-state of the Diderot program  //! \param wrld the world-state of the Diderot program
35  //! \param maxNSteps the limit on the number of super steps; 0 means unlimited  //! \param maxNSteps the limit on the number of super steps; 0 means unlimited
36  //! \return the number of steps taken.  //! \return the number of steps taken.
37  int @PREFIX@Run (@PREFIX@World_t *wrld, int maxNSteps);  uint32_t @PREFIX@Run (@PREFIX@World_t *wrld, uint32_t maxNSteps);
38    
39  //! shutdown and deallocate the world  //! shutdown and deallocate the world
40  void @PREFIX@Shutdown (@PREFIX@World_t *wrld);  void @PREFIX@Shutdown (@PREFIX@World_t *wrld);

Legend:
Removed from v.1716  
changed lines
  Added in v.1717

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0