(self)
return self._qfo
Get the Quantifier Oracle
Get the Quantifier Oracle
Get the Quantifier Oracle
def qfo(self):
        """ Get the Quantifier Oracle """
        return self._qfo
def qfo ( self ) : return self . _qfo