src/steps.h


1
2
3
4
5
6
7
8
9
10
11
12

#ifndef STEPS_H
#define STEPS_H

#include "pruning.h"

#define NSTEPS          50

extern Step *           steps[NSTEPS];

void                    prepare_step(Step *step, DfsData *dd);

#endif