#include "cvc4_public.h"
#include "options/options.h"
#include "theory/quantifiers/modes.h"
Go to the source code of this file.
Definition at line 62 of file options.h.