options.cpp File Reference

#include "options.h"
#include "symbol.h"
#include "get_options.h"
#include "contradiction.h"
#include "diagnostic.h"
#include "io.h"
#include "dataset.h"
#include "line_despatch.h"
#include "help.h"
#include "version.h"
#include <fstream>
#include <iostream>
#include <iterator>

Go to the source code of this file.

Classes
struct	options
	Manages coan's commandline arguments. More...
struct	options
	Manages coan's commandline arguments. More...
struct	options
	Manages coan's commandline arguments. More...

Detailed Description

This file implements struct options

Definition in file options.cpp.