(self, formula, measure=None)
return res
Return the size of the formula according to the specified measure.

        The default measure is MEASURE_TREE_NODES.
Return the size of the formula according to the specified measure.
Return the size of the formula according to the specified measure .
def get_size(self, formula, measure=None):
        """Return the size of the formula according to the specified measure.

        The default measure is MEASURE_TREE_NODES.
        """
        if measure is None:
            # By default, count tree nodes
            measure = SizeOracle.MEASURE_TREE_NODES

        self.set_walking_measure(measure)
        res = self.walk(formula, measure=measure)

        if measure == SizeOracle.MEASURE_DAG_NODES or \
           measure == SizeOracle.MEASURE_SYMBOLS or \
           measure == SizeOracle.MEASURE_BOOL_DAG :
            return len(res)
        return res
def get_size ( self , formula , measure = None ) : if measure is None : # By default, count tree nodes measure = SizeOracle . MEASURE_TREE_NODES self . set_walking_measure ( measure ) res = self . walk ( formula , measure = measure ) if measure == SizeOracle . MEASURE_DAG_NODES or measure == SizeOracle . MEASURE_SYMBOLS or measure == SizeOracle . MEASURE_BOOL_DAG : return len ( res ) return res