Skip to main content
https://github.com/audemard/glucose
09 May 2023, 15:45:59 UTC
Raw File Download Save again
Tip revision: 8cf82dc753b3ec6789bb7f926751f1b15403d091 authored by audemard on 09 May 2023, 13:35:33 UTC
glucose reboot
Tip revision: 8cf82dc
Clone.h 
#ifndef Glucose_Clone_h
#define Glucose_Clone_h


namespace Glucose {

    class Clone {
        public:
          virtual Clone* clone() const = 0;
    };
};

#endif