| Did you know ... | Search Documentation: |
 | Pack clpcd -- prolog/clpcd/bv.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.
- allvars(Arg1, Arg2)
- detach_bounds(Arg1, Arg2)
- detach_bounds_vlv(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)
- iterate_dec(Arg1, Arg2, Arg3)
- var_with_def_assign(Arg1, Arg2, Arg3)
- vertex_value(Arg1, Arg2, Arg3)
- maximize(Arg1, Arg2)
- minimize(Arg1, Arg2)
- sup(Arg1, Arg2, Arg3)
- sup(Arg1, Arg2, Arg3, Arg4, Arg5)
- inf(Arg1, Arg2, Arg3)
- inf(Arg1, Arg2, Arg3, Arg4, Arg5)