to see if state lies entirely outside the rspace L.

    Parameters
    ----------
    state : partial state dictionary
        State, or partial state to test.
    L : rspace list
        Restrict space list (see restrict_space.rspace for details).

    Returns
    -------
    bool
        True if and only if state is not in L.

    &#34;&#34;&#34;
    for clause in L:
        csat = False
        for p in clause:
            if not sm_doi.fixed_excludes_implicant(state,p):
                csat = True
    