blob: da5c0418fe3091f85b73330108cd93bf561ee20a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#ifndef STEPS_H
#define STEPS_H
#include "pruning.h"
extern Step * steps[];
/* Two steps used directly by two-phase solver */
extern Step drany_HTM;
extern Step dranyfin_DR;
void copy_estimatedata(EstimateData *s, EstimateData *d);
void invert_estimatedata(EstimateData *ed);
void reset_estimatedata(EstimateData *ed);
void prepare_step(Step *step, SolveOptions *opts);
#endif
|