package Snowflake
-
Snowflake
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type wap_solver = Wap_exchange.input -> Wap_exchange.output
val wap_of_system : MLBDD.man -> int list -> MLBDD.t list -> Wap_exchange.input
val default_wap_solver : wap_solver
val compute :
?verbose:int ->
?wap_solver:wap_solver ->
?support_consistency:bool ->
MLBDD.man ->
int list ->
MLBDD.t list ->
MLBDD.t