blob: ee789d048a1cc7cded1420a770c3041882336c1f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
|
module ExpressionElement :
sig
type t = SymbolicExpression.t
val equal : 'a -> 'a -> bool
val hash : SymbolicExpression.t -> int
end
module ExpressionTable :
sig
type key = ExpressionElement.t
type 'a t = 'a Hashtbl.Make(ExpressionElement).t
val create : int -> 'a t
val clear : 'a t -> unit
val copy : 'a t -> 'a t
val add : 'a t -> key -> 'a -> unit
val remove : 'a t -> key -> unit
val find : 'a t -> key -> 'a
val find_all : 'a t -> key -> 'a list
val replace : 'a t -> key -> 'a -> unit
val mem : 'a t -> key -> bool
val iter : (key -> 'a -> unit) -> 'a t -> unit
val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
val length : 'a t -> int
end
val eq_array : 'a array -> 'a array -> bool
module ArrayElement :
sig
type t = int list * SymbolicExpression.t array
val equal : 'a * 'b array -> 'a * 'b array -> bool
val hash : 'a * SymbolicExpression.t array -> int
end
module ArrayStore :
sig
type key = ArrayElement.t
type 'a t = 'a Hashtbl.Make(ArrayElement).t
val create : int -> 'a t
val clear : 'a t -> unit
val copy : 'a t -> 'a t
val add : 'a t -> key -> 'a -> unit
val remove : 'a t -> key -> unit
val find : 'a t -> key -> 'a
val find_all : 'a t -> key -> 'a list
val replace : 'a t -> key -> 'a -> unit
val mem : 'a t -> key -> bool
val iter : (key -> 'a -> unit) -> 'a t -> unit
val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
val length : 'a t -> int
end
type model_info = {
model : Optimization.model;
final_index_of_integer_parameters : int array;
final_index_of_string_parameters : int array;
final_index_of_real_parameters : int array;
final_index_of_variables : int array;
surfaces : SymbolicExpression.t list;
occurrence_table : occurrence_record ExpressionTable.t;
mutable current_index : int;
mutable max_index : int;
code_buffer : Buffer.t;
real_array_store_size : int;
real_arrays : int ArrayStore.t;
}
and occurrence_record = {
mutable occurrences : int;
mutable label : int option;
}
val postprocess_residue : Optimization.model -> unit
val next_index : model_info -> int
val create_index_array : 'a array -> ('a -> bool) -> int array
val final_index_of_integer_parameters : Optimization.model -> int array
val final_index_of_string_parameters : Optimization.model -> int array
val final_index_of_real_parameters : Optimization.model -> int array
val final_index_of_variables : Optimization.model -> int array
val collect_surfaces : Optimization.model -> SymbolicExpression.t list
val is_atomic : SymbolicExpression.t -> bool
val add_to_occurrence_table :
bool -> ExpressionTable.key -> model_info -> unit
val has_multiple_occurrences : ExpressionTable.key -> model_info -> bool
val has_alias_binding : ExpressionTable.key -> model_info -> bool
val real_array_store_size : Optimization.model -> int
val bufferize_float : float -> model_info -> unit
val bufferize_rhs :
model_info -> int -> bool -> string -> ExpressionTable.key -> unit
val bufferize_equations : model_info -> unit
val bufferize_jacobian : int -> model_info -> unit
val bufferize_outputs : model_info -> unit
val bufferize_surface_expression : model_info -> SymbolicExpression.t -> unit
val bufferize_surface_equation :
model_info -> int -> SymbolicExpression.t -> unit
val bufferize_when_equations : model_info -> unit
val bufferize_surfaces : model_info -> unit
val bufferize_initializations :
string option * 'a -> int -> int -> int -> int -> model_info -> unit
val bufferize_variable_store :
'a * string option -> 'b -> int -> int -> model_info -> unit
val bufferize_work_deallocation : 'a option * 'b -> int -> model_info -> unit
val bufferize_parameter_value : 'a option * 'b -> int -> model_info -> unit
val bufferize_variable_nature : int -> model_info -> unit
val last : 'a list -> 'a
val string_of_c_type : Instantiation.expression_type -> string
val generate_c_function_prototype :
out_channel ->
string ->
Instantiation.expression_type list ->
Instantiation.expression_type list -> unit
val generate_code :
'a ->
string ->
string ->
Optimization.model -> bool -> 'b -> string option * string option -> unit
|
