(self)
return get_closer_pysmt_logic(target_logic)
Returns the quantified version of logic.
Returns the quantified version of logic.
Returns the quantified version of logic .
def get_quantified_version(self):
        """Returns the quantified version of logic."""
        if self.quantifier_free:
            return self
        target_logic = Logic(name="", description="",
                             quantifier_free=False,
                             theory=self.theory)
        return get_closer_pysmt_logic(target_logic)
def get_quantified_version ( self ) : if self . quantifier_free : return self target_logic = Logic ( name = "" , description = "" , quantifier_free = False , theory = self . theory ) return get_closer_pysmt_logic ( target_logic )