aboutsummaryrefslogblamecommitdiff
path: root/types.h
blob: a3773e858eff3af14f2fc80d82a230b562e97439 (plain) (tree)


























                                


                                 















                                                                    
                                      





                                                                            
                
                                  
                            
                                                               










                                               






































































                                                                       
                                       
           
                              









                                                                            


                                                                       















                                                                        
                   


                                                                


                                                               









                                                          
                                  






















































                                                                                   
                                          

                                               




                                        

















































                                                     
                                       


                                        

                                                      
                          

                                            



                                                        
                                 
                                  


                                                               





                            
                                        




                              
                   



                                    


                                                               




                                                                         
                                            








                                                                              
                       










                                                                               
                                  


                                                               






                                                                               
                                              












                                                                          

                                  


                                                               


















                                                
                              






                                                                   



                            











                                               
                              






                                                                




                            









                                  
                





                                          
                                        













                                            
                                        
                            
      
                              






                                                                    




                            




                           
 

















                                            
                               
                            
                                        
      
                              






                                                            










                            




                           
 




                                  
#ifndef TYPES_H
#define TYPES_H

#include "model.h"
#include <string>
#include <list>
#include <map>
#include <vector>
#include <set>
#include <gmpxx.h>

using std::list;
using std::string;
using std::map;
using std::vector;
using std::set;

const int CLS_OPT_OBJ = 1 << 3;
const int CLS_PROM_OBJ = 1 << 9;

const int CLS_SYM_OBJ = 1 << 2;
const int CLS_NUM_OBJ = 1 << 4;
const int CLS_BOOL_OBJ