(self, measure=None)
return _env().sizeo.get_size(self, measure)
Return the size of the formula according to the given metric.

        See :py:class:`SizeOracle`
Return the size of the formula according to the given metric.
Return the size of the formula according to the given metric .
def size(self, measure=None):
        """Return the size of the formula according to the given metric.

        See :py:class:`SizeOracle`
        """
        return _env().sizeo.get_size(self, measure)
def size ( self , measure = None ) : return _env ( ) . sizeo . get_size ( self , measure )