prolog::satMinUnary/4

(undocumented)

Private-func:

1. prolog::satMinUnary_4::satMinUnary/4(int ARG1, int ARG2, int ARG3, int ARG4)():