Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER NEXT LETTER
FRAMES
NO FRAMES
All Classes
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
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER NEXT LETTER
FRAMES
NO FRAMES
All Classes
Y