stage3/narrow_candidate_datatypes.hh
changeset 843 f9a059c24aea
parent 839 99d9ef4d210b
child 873 dea39ef02847
equal deleted inserted replaced
842:2415912b0aa0 843:f9a059c24aea
   180     void *visit(fb_spec_init_c *symbol);
   180     void *visit(fb_spec_init_c *symbol);
   181 
   181 
   182     /*********************/
   182     /*********************/
   183     /* B 1.4 - Variables */
   183     /* B 1.4 - Variables */
   184     /*********************/
   184     /*********************/
       
   185     void *visit(symbolic_variable_c *symbol);
   185     /********************************************/
   186     /********************************************/
   186     /* B 1.4.1 - Directly Represented Variables */
   187     /* B 1.4.1 - Directly Represented Variables */
   187     /********************************************/
   188     /********************************************/
   188     /*************************************/
   189     /*************************************/
   189     /* B 1.4.2 - Multi-element variables */
   190     /* B 1.4.2 - Multi-element variables */