#ifndef OUTPUT
#define OUTPUT

#include "runs.h"

void tracePrint(System sys);
void attackDisplay(System sys);
void graphInit (System sys);
void graphDone (System sys);
void graphNode (System sys);

#endif