Module Sat.Parameters

Encode a set of parameters as a protocol buffer.

Directly use the underlying protocol buffer interface. See Sat_parameters.make_sat_parameters and the documentation in sat_parameters.proto.

val defaults : unit -> t

Return the default parameters.

val pb_output : t -> Stdlib.out_channel -> unit

Write the parameters to an output channel.

val pb_encode : t -> Pbrt.Encoder.t -> unit

Encode the parameters using a specific encoder.