def reallyLongCond(S,K,C,F,G):
for v in S:
FLv = FL(F,v,G)
for u in K:
FLu = FL(F,u,G)
FLsubset = ckyCBFG.subset(FLu,FLv)
for f in C:
fouInL = ckyCBFG.accepts(G,odot(f,u))
fovInL = ckyCBFG.accepts(G,odot(f,v))
if FLsubset and fouInL and not(fovInL):
return True
return False
def wInDMinusLG(w,D,G):
for s in D:
if not(ckyCBFG.accepts(G,s)):
return True
return False