(self)
return self._theoryo
Get the Theory Oracle
Get the Theory Oracle
Get the Theory Oracle
def theoryo(self):
        """ Get the Theory Oracle """
        return self._theoryo
def theoryo ( self ) : return self . _theoryo