we always have liblpp now, remove WITH_ILP flag
[libfirm] / ir / lpp / lpp_t.h
1
2 /**
3  * @file   lpp_t.h
4  * @date   30.07.2005
5  * @author Sebastian Hack
6  *
7  * Copyright (C) 2005 Universitaet Karlsruhe
8  * Released under the GPL
9  */
10
11 #ifndef _LPP_T_H
12 #define _LPP_T_H
13
14 #include "lpp.h"
15 #include "lpp_comm.h"
16
17 /**
18  * Serialize a lpp to a file descriptor.
19  * @param comm The file descriptor.
20  * @param lpp The lpp.
21  * @param with_names Also send the names of constraints/variables.
22  */
23 void lpp_serialize(lpp_comm_t *comm, const lpp_t *lpp, int with_names);
24
25 /**
26  * Deserialize an lpp from a file descriptor.
27  * @param comm The file descriptor.
28  * @param with_names Also receive names of constraints/variables.
29  * @return The Problem.
30  */
31 lpp_t *lpp_deserialize(lpp_comm_t *comm);
32
33 /**
34  * Serialize values of the lpps for a given value kind.
35  * This function only serializes values of the given kind.
36  * @param fd   The file descriptor to serialize to.
37  * @param lpp  The problem.
38  * @param kind The value kind.
39  */
40 void lpp_serialize_values(lpp_comm_t *comm, const lpp_t *lpp, lpp_value_kind_t kind);
41
42 /**
43  * Desrialize values from a stream.
44  * @param fd   The file descriptor to read from.
45  * @param lpp  The problem to set the values.
46  * @param kind The value kind the values shall be assigned.
47  */
48 void lpp_deserialize_values(lpp_comm_t *comm, lpp_t *lpp, lpp_value_kind_t kind);
49
50 void lpp_serialize_stats(lpp_comm_t *comm, const lpp_t *lpp);
51 void lpp_deserialize_stats(lpp_comm_t *comm, lpp_t *lpp);
52
53
54 #endif /* _LPP_T_H */