1 2 3 4 5 6 7 8 9 10 11 12 13 14
#include "cvc4_private.h" #ifndef __CVC4__THEORY__SETS__OPTIONS_HANDLERS_H #define __CVC4__THEORY__SETS__OPTIONS_HANDLERS_H namespace CVC4 { namespace theory { namespace sets { }/* CVC4::theory::sets namespace */ }/* CVC4::theory namespace */ }/* CVC4 namespace */ #endif /* __CVC4__THEORY__SETS__OPTIONS_HANDLERS_H */