package setr

You can search for identifiers within the package.

in-package search v0.2.0

setr
- SETr
- SETr_DS
- SETr_DS_CNF
  - ISet
  - Int
  - LSet
- SETr_DS_Dequeue
- SETr_DS_HMap
- SETr_DS_HSet
- SETr_DS_HashCons
  - HashedType
  - Make
    
    H
  - S
- SETr_DS_PSet
  - Compare
  - Make
    
    Ord
  - S
    
    Ord
- SETr_DS_SetOfSets
  - Comparable
  - Make
    
    C
    
    EMap
    
    ESet
  - S
    
    EMap
    
    ESet
- SETr_DomainBuilder
- SETr_Interface
- SETr_Lexer
- SETr_Parser
- SETr_Rename
- SETr_Select
- SETr_SymSing
- SETr_SymSing_Interface
  - S
- SETr_SymSing_Lin
- SETr_SymSing_Logic
- SETr_SymSing_Sing
  - Make
    
    D
- SETr_Symbolic
- SETr_Symbolic_BDD
  - Opt
- SETr_Symbolic_BDD_MLBDD
- SETr_Symbolic_BDD_XBDD
- SETr_Symbolic_BDD_XImp
  - Make
    
    HashedIf
    
    IfHashCons
    
    Var
  - VAR
- SETr_Symbolic_Debugger
  - Make
    
    D
- SETr_Symbolic_Equality
  - Make
    
    D
- SETr_Symbolic_Interface
  - S
- SETr_Symbolic_Logger
  - L
  - Make
    
    D
    
    L
- SETr_Symbolic_Logic
- SETr_Symbolic_Packer
  - Make
    
    D
- SETr_Symbolic_Remap
  - Inner
  - Make
    
    D
- SETr_Symbolic_Stats
  - Make
    
    D
- SETr_Symbolic_Tracer
  - L
  - Make
    
    D
    
    L

Legend:
Library
Module
Module type
Parameter
Class
Class type

module DS = SETr_DS

type !'sym e =

| Empty
| Universe
| DisjUnion of 'sym e * 'sym e
| Union of 'sym e * 'sym e
| Inter of 'sym e * 'sym e
| Diff of 'sym e * 'sym e
| Comp of 'sym e
| Var of 'sym

type !'sym t =

| Eq of 'sym e * 'sym e
| SubEq of 'sym e * 'sym e
| And of 'sym t * 'sym t
| Not of 'sym t
| True
| False

type !'sym q = {

get_eqs : unit -> ('sym * 'sym) list;
get_eqs_sym : 'sym -> 'sym list;

}

val prec_e : 'a e -> int

val pp_noparen_e : 
  ?parse:bool ->
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a e ->
  unit

val pp_e : 
  ?parse:bool ->
  ?prec:int ->
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a e ->
  unit

val pp : 
  ?parse:bool ->
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a t ->
  unit

val to_string_e : (Format.formatter -> 'a -> unit) -> 'a e -> string

val to_string : (Format.formatter -> 'a -> unit) -> 'a t -> string

val iter_sym_e : ('a -> unit) -> 'a e -> unit

val iter_sym : ('a -> unit) -> 'a t -> unit

val map_sym_e : ('a -> 'b e) -> 'a e -> 'b e

val map_sym : ('a -> 'b e) -> 'a t -> 'b t

val map_symbol_e : ('a -> 'b) -> 'a e -> 'b e

val map_symbol : ('a -> 'b) -> 'a t -> 'b t

val normalize_e : 'a e -> 'a e * 'a t

val normalize : 'a t -> 'a t

val to_cnf_e : int e -> DS.CNF.LSet.elt list list * DS.CNF.LSet.elt list list

val to_cnf : int t -> DS.CNF.LSet.elt list list