main.c File Reference

#include "report.h"
#include "contradiction.h"
#include "line_despatch.h"
#include "if_control.h"
#include "args.h"
#include "io.h"
#include "chew.h"
#include "line_edit.h"
#include "exception.h"
#include "dataset.h"
#include "configured_symbols.h"
#include "unconfigured_symbols.h"
#include "includes_tally.h"
#include "line_select.h"

Include dependency graph for main.c:

Go to the source code of this file.

Functions
static void	ready (void)
static void	process (void)
int	main (int argc, char *argv[])
static void	line_debug (int line)
static void	node_proc (file_tree_h ft, char const *name, file_tree_traverse_state_t context)

---

Detailed Description

This file implments the Coan program

Definition in file main.c.