#ifndef _STOPTIFU_H_
#define _STOPTIFU_H_

#include "AC.h"
#include "OrderingConstraint.h"
#include "parameter.h"
#include "storage.h"

#endif // _STOPTIFU_H_