Frobby
0.9.5
|
#include "stdinc.h"
#include "TransformAction.h"
#include "BigIdeal.h"
#include "IOFacade.h"
#include "IdealFacade.h"
#include "Scanner.h"
#include "ElementDeleter.h"
#include "VarSorter.h"
#include "DataType.h"
#include <algorithm>