Lines Matching refs:ratmx

226 /* Attempting to verify the effect of the ratmx and detout ev flags
227  * is quite a mess. ratmx produces CRE but the parser produces 
256  ev (invert (M), ratmx=true), if equal (%%, foo) then true else %%);
259 is (invert (M) = M^^-1), ratmx=true;
262 block ([foo : ev (invert (M), ratmx=true, detout=true, doscmxops=false, doallmxops=false)],
267 is (invert (M) = M^^-1), ratmx=true, detout=true, doscmxops=false, doallmxops=false;
288 (M1 : ev (invert (M), ratmx=true),
292 is (invert (M) = M^^-1), ratmx=true;
295 (M1 : ev (invert (M), ratmx=true, detout=true, doscmxops=false, doallmxops=false),
300 is (invert (M) = M^^-1), ratmx=true, detout=true, doscmxops=false, doallmxops=false;
321 (M1 : ev (invert (M), ratmx=true),
325 is (invert (M) = M^^-1), ratmx=true;
328 (M1 : ev (invert (M), ratmx=true, detout=true, doscmxops=false, doallmxops=false),
333 is (invert (M) = M^^-1), ratmx=true, detout=true, doscmxops=false, doallmxops=false;