(self, left, right)
Utility function that treats = between booleans as <->
Utility function that treats = between booleans as <->
Utility function that treats = between booleans as < - >
def _equals_or_iff(self, left, right):
        """Utility function that treats = between booleans as <->"""
        mgr = self.env.formula_manager
        lty = self.env.stc.get_type(left)
        if lty == self.env.type_manager.BOOL():
            return mgr.Iff(left, right)
        else:
            return self.Equals(left, right)
def _equals_or_iff ( self , left , right ) : mgr = self . env . formula_manager lty = self . env . stc . get_type ( left ) if lty == self . env . type_manager . BOOL ( ) : return mgr . Iff ( left , right ) else : return self . Equals ( left , right )