Module Smtml.ModelSource

Model Module. This module defines a symbol table that maps symbols to values. It provides utility functions for iteration, retrieval, evaluation, serialization, and parsing from various formats.

Sourcetype t = (Symbol.t, Value.t) Smtml_prelude.Hashtbl.t

Iteration

Sourceval iter : ((Symbol.t * Value.t) -> unit) -> t -> unit

iter f tbl applies function f to all bindings in tbl.

Retrieval

Sourceval get_symbols : t -> Symbol.t list

get_symbols tbl returns the list of symbols stored in tbl.

Sourceval get_bindings : t -> (Symbol.t * Value.t) list

get_bindings tbl returns all bindings in tbl, sorted by symbol.

Evaluation

Sourceval evaluate : t -> Symbol.t -> Value.t option

evaluate tbl sym returns the value associated with symbol sym in tbl, if any.

Pretty Printing

Sourceval pp : ?no_values:bool -> t Fmt.t

pp ?no_values fmt tbl formats tbl using Fmt.t. If no_values is true, values are omitted from the output.

Serialization

Sourceval to_string : t -> string

to_string tbl converts tbl to a human-readable string.

Sourceval to_json : t -> Yojson.t

to_json tbl converts tbl to a JSON representation.

Sourceval to_json_string : t -> string

to_json_string tbl converts tbl to a JSON string.

Sourceval to_scfg : no_value:bool -> t -> Scfg.Types.config

to_scfg ~no_value tbl converts tbl to an SCFG configuration. If no_value is true, values are omitted from the output.

Sourceval to_scfg_string : no_value:bool -> t -> string

to_scfg_string ~no_value tbl converts tbl to an SCFG string.

Sourceval to_smtlib_string : t -> string

to_smtlib_string tbl converts tbl to an SMT-LIB string.

Parsing

Sourcemodule Parse : sig ... end