Lines Matching full:determinist
210 int valid : temporary validity check result state state used for non-determinist
