Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package cvc5
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val delete : result -> unitResult instance destructor.
val to_string : result -> stringGet the string representation of the result.
val is_sat : result -> boolDetermine if the result is SAT.
val is_unsat : result -> boolDetermine if the result is UNSAT.
val is_unknown : result -> boolDetermine if the result is UNKNOWN.