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