line_despatch.cpp File Reference

#include "line_despatch.h"
#include "citable.h"
#include "io.h"
#include "contradiction.h"
#include "if_control.h"
#include "canonical.h"
#include "directive.h"

Go to the source code of this file.

Detailed Description

This file implements struct line_despatch

Definition in file line_despatch.cpp.