prolog::satMaxUnary/4

(undocumented)

Private-func:

1. prolog::satMaxUnary_4::satMaxUnary/4(int ARG1, int ARG2, int ARG3, int ARG4)():