enumerate_vs.py

def enumerate_vs(S, G):
    """Enumerate all hypotheses contained in the version space bounded by S and G."""
    hypotheses = set()
    for s in S:
        for g in G:
            places = [i for i in range(len(s)) if s[i] != g[i]]
            for ss in all_subsets(places):
                conj = Conjunction(g[i] if (i in ss) else s[i] for i in range(len(s)))
                hypotheses.add(conj)
    return hypotheses