Lines Matching defs:ok
13995 * derivation-ok-restriction (2) - (4)
14170 * SPEC derivation-ok-restriction (3):
14213 * derivation-ok-restriction (4)
15195 int ok = 1;
15206 ok = 0;
15213 if (ok == 0)
15382 int ok = 1;
15409 ok = 0;
15414 if (ok == 0)
15570 int ok = 1;
15579 ok = 0;
15583 if (ok == 0)
15912 * Type Derivation OK (Complex) (cos-ct-derived-ok)
16263 * Derivation Valid (Restriction, Complex) (derivation-ok-restriction)
16658 * Occurrence Range OK (range-ok)