epf.pl

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 update(Arg1, Arg2, Arg3, Arg4)

 state2(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)

 updatechk(Arg1, Arg2, Arg3, Arg4)

 termchk(Arg1, Arg2, Arg3)

 state(Arg1, Arg2, Arg3, Arg4)

 term(Arg1, Arg2, Arg3)

 state(Arg1, Arg2, Arg3, Arg4, Arg5)

 state(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7)

 selectchk(Arg1, Arg2, Arg3, Arg4)

 state(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7, Arg8)

 add(Arg1, Arg2, Arg3)

 selectchk(Arg1, Arg2, Arg3)

 state2(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7, Arg8, Arg9, Arg10, Arg11)

 sequence2(Arg1, Arg2, Arg3, Arg4, Arg5)

 select(Arg1, Arg2, Arg3)

 state(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)

 state(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7, Arg8, Arg9)

 state(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7, Arg8, Arg9, Arg10)

 state(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7, Arg8, Arg9, Arg10, Arg11)

 sequence2(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7)

 state2(Arg1, Arg2, Arg3)

 state2(Arg1, Arg2, Arg3, Arg4)

 state2(Arg1, Arg2, Arg3, Arg4, Arg5)