internal override bool CheckUseOfVars(List <string> fovar, List <string> sovar) { if (!sovar.Contains(variable)) { var fov1 = fovar.ToArray().ToList(); fov1.Add(variable); if (phi.CheckUseOfVars(fov1, sovar)) { return(true); } } if (!fovar.Contains(variable)) { var sov1 = sovar.ToArray().ToList(); sov1.Add(variable); if (phi.CheckUseOfVars(fovar, sov1)) { return(true); } } return(false); }
internal override bool CheckUseOfVars(List <string> fovar, List <string> sovar) { return(phi.CheckUseOfVars(fovar, sovar)); }
internal override bool CheckUseOfVars(List <string> fovar, List <string> sovar) { return(left.CheckUseOfVars(fovar, sovar) && right.CheckUseOfVars(fovar, sovar)); }