sig
type ('vertex, 'hedge, 'threshold) parameter = {
mutable compare : 'threshold -> 'threshold -> int;
mutable print : Format.formatter -> 'threshold -> unit;
mutable init : 'vertex -> 'threshold PSette.t;
mutable apply :
'hedge -> 'threshold PSette.t array -> 'threshold PSette.t;
mutable iteration_nb : int;
}
val inference :
('vertex, 'hedge, 'abstract, 'arc) FixpointType.manager ->
('vertex, 'hedge, 'threshold) FixpointThreshold.parameter ->
('vertex, 'hedge, 'a, 'b, 'c) PSHGraph.t ->
('vertex, 'hedge) FixpointType.strategy ->
('vertex, 'threshold PSette.t) PHashhe.t
end