Issue902

Issues
Show Unassigned
Show All
Search

Login




Register
Lost your login?

Help
Roundup docs

Title CEGAR: rename Domains to CartesianSet
Priority wish Status resolved
Superseder Nosy List jendrik, malte
Assigned To jendrik Keywords
Optional summary 


















Created on 2019-03-07.19:23:46 by jendrik, last changed  by jendrik.








 
Messages

 
  

   msg8643 (view)
   Author: jendrik
   Date: 2019-03-08.11:21:25
   
    
   
  

  

   
    
Thanks! Yes, the file remained the same except for some renamings. Merged.

   		
  

 
 
  

   msg8641 (view)
   Author: malte
   Date: 2019-03-08.10:41:15
   
    
   
  

  

   
    
Looks good. I assume that the old domains.{h,cc} and the new
cartesian_set.{h,cc} are essentially identical and didn't verify this part.

   		
  

 
 
  

   msg8638 (view)
   Author: jendrik
   Date: 2019-03-08.09:58:57
   
    
   
  

  

   
    
I made a pull request at
https://bitbucket.org/jendrikseipp/downward/pull-requests/126 . Could you please
have a quick look?

   		
  

 
 
  

   msg8633 (view)
   Author: malte
   Date: 2019-03-07.19:28:09
   
    
   
  

  

   
    
Sounds good.

   		
  

 
 
  

   msg8632 (view)
   Author: jendrik
   Date: 2019-03-07.19:23:45
   
    
   
  

  

   
    
I'd like to rename cegar::Domains to cegar::CartesianSet since the latter is a
clearer name.

   		
  

 





History


Date
User
Action
Args



2019-03-08 11:21:25jendriksetstatus: reviewing -> resolved
messages:
  + msg8643


2019-03-08 10:41:15maltesetmessages:
  + msg8641


2019-03-08 09:58:57jendriksetstatus: chatting -> reviewing
messages:
  + msg8638


2019-03-07 19:28:09maltesetstatus: unread -> chatting
messages:
  + msg8633


2019-03-07 19:23:46jendrikcreate