package lutin

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

val empty : t

type store = {

}

type unalias = CoIdent.t -> CoAlgExp.t

val empty_store : store

val get_store : Value.OfIdent.t -> Value.OfIdent.t -> store

val to_string : t -> string

exception Unsat

val of_exp : 
  ?unalias:unalias ->
  ?context:store option ->
  CoAlgExp.t ->
  CoTraceExp.src_info ->
  t

val add : 
  ?unalias:unalias ->
  ?context:store option ->
  CoAlgExp.t ->
  t ->
  CoTraceExp.src_info ->
  t

val merge : t -> t -> t

val dumpf : out_channel -> t -> unit

val to_exp_list : t -> CoAlgExp.t list

val simplify_exp : unalias -> store -> CoAlgExp.t -> CoAlgExp.t

exception Not_constant of CoAlgExp.t

val value_of_algexp : unalias -> store -> CoAlgExp.t -> Value.t