# HG changeset patch
# User jwe
# Date 747887394 0
# Node ID 0a3d698c6e6094abc39a7fb43a8646091b721823
# Parent  ef73939dc2c5d7e8f4a1a617ce458e116819c4af
[project @ 1993-09-13 02:29:54 by jwe]
(is_empty): New inline function.

diff -r ef73939dc2c5 -r 0a3d698c6e60 src/pt-const.h
--- a/src/pt-const.h	Mon Sep 13 02:29:35 1993 +0000
+++ b/src/pt-const.h	Mon Sep 13 02:29:54 1993 +0000
@@ -688,6 +688,8 @@
   int rows (void) { return rep->rows (); }
   int columns (void) { return rep->columns (); }
 
+  int is_empty (void) { return (rows () == 0 || columns () == 0); }
+
   tree_constant all (void) { return rep->all (); }
   tree_constant any (void) { return rep->any (); }
   tree_constant isstr (void) { return rep->isstr (); }