|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectyices.YicesLite
public class YicesLite
This is the YicesLite Java API built on top of the existing C API
Constructor Summary | |
---|---|
YicesLite()
|
Method Summary | |
---|---|
void |
yicesl_del_context(int ctx)
Delete an existing context ctx |
void |
yicesl_enable_log_file(java.lang.String filename)
Log all the yices command executed into filename. |
void |
yicesl_enable_type_checker(short flag)
Enable the type checker |
java.lang.String |
yicesl_get_last_error_message()
Get the last error message |
int |
yicesl_inconsistent(int ctx)
Check the inconsistency of the current logical context ctx |
int |
yicesl_mk_context()
Create new context |
int |
yicesl_read(int ctx,
java.lang.String cmd)
Run the yices command |
void |
yicesl_set_output_file(java.lang.String filename)
Log the output to a file, filename |
void |
yicesl_set_verbosity(short l)
This method use to set the verbosity level |
java.lang.String |
yicesl_version()
Get the version of the yices engine |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public YicesLite()
Method Detail |
---|
public void yicesl_set_verbosity(short l)
l
- the verbosity levelpublic java.lang.String yicesl_version()
public void yicesl_enable_type_checker(short flag)
flag
- to enable the type checker
Note: flag: 0 means disable and not 0 is enablepublic void yicesl_enable_log_file(java.lang.String filename)
filename
- public int yicesl_mk_context()
public void yicesl_del_context(int ctx)
ctx
- delete the logical context reference number ctxpublic int yicesl_read(int ctx, java.lang.String cmd)
ctx
- the logical context reference numbercmd
- the commnad in the yices input language format
public int yicesl_inconsistent(int ctx)
ctx
- check inconsistency in the logical context
public java.lang.String yicesl_get_last_error_message()
public void yicesl_set_output_file(java.lang.String filename)
filename
- write output to the file, filename, instead of standard ouput of the system
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |