Y

Y

yices - package yices
 
yicesl_del_context(int) - Method in class yices.YicesLite
Delete an existing context ctx
yicesl_enable_log_file(String) - Method in class yices.YicesLite
Log all the yices command executed into filename.
yicesl_enable_type_checker(short) - Method in class yices.YicesLite
Enable the type checker
yicesl_get_last_error_message() - Method in class yices.YicesLite
Get the last error message
yicesl_inconsistent(int) - Method in class yices.YicesLite
Check the inconsistency of the current logical context ctx
yicesl_mk_context() - Method in class yices.YicesLite
Create new context
yicesl_read(int, String) - Method in class yices.YicesLite
Run the yices command
yicesl_set_output_file(String) - Method in class yices.YicesLite
Log the output to a file, filename
yicesl_set_verbosity(short) - Method in class yices.YicesLite
This method use to set the verbosity level
yicesl_version() - Method in class yices.YicesLite
Get the version of the yices engine
YicesLite - Class in yices
This is the YicesLite Java API built on top of the existing C API
YicesLite() - Constructor for class yices.YicesLite
 

Y