| Did you know ... | Search Documentation: |
 | Pack smtlib -- prolog/smtlib.pl |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- smtlib_read_expression(Arg1, Arg2)
- smtlib_read_expressions(Arg1, Arg2)
- smtlib_read_theory(Arg1, Arg2)
- smtlib_read_logic(Arg1, Arg2)
- smtlib_read_script(Arg1, Arg2)
- smtlib_parse_expression(Arg1, Arg2)
- smtlib_parse_expressions(Arg1, Arg2)
- smtlib_parse_theory(Arg1, Arg2)
- smtlib_parse_logic(Arg1, Arg2)
- smtlib_parse_script(Arg1, Arg2)
- smtlib_write_to_stream(Arg1, Arg2)
- smtlib_write_to_file(Arg1, Arg2)