Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val delete : result -> unit
Result instance destructor.
val to_string : result -> string
Get the string representation of the result.
val is_sat : result -> bool
Determine if the result is SAT.
val is_unsat : result -> bool
Determine if the result is UNSAT.
val is_unknown : result -> bool
Determine if the result is UNKNOWN.