From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Wed, 5 Mar 2014 20:01:09 +0000 (-0500)
Subject: Another entry in autinfo
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=83e4520c925907a9d492cd4d8ecdf1808be0796a;p=autzoo

Another entry in autinfo
---

diff --git a/main.tex b/main.tex
index a8ffb8a..16e434c 100644
--- a/main.tex
+++ b/main.tex
@@ -109,6 +109,7 @@ or \url{http://www.gnu.org/licenses/agpl-3.0.txt}) or any later version.}}
 \define@key{autinfo}{member}     {\def\autmember {#1}}
 \define@key{autinfo}{empty}      {\def\autempty  {#1}}
 \define@key{autinfo}{univ}       {\def\autuniv   {#1}}
+\define@key{autinfo}{finite}     {\def\autfinite {#1}}
 \define@key{autinfo}{equiv}      {\def\autequiv  {#1}}
 \define@key{autinfo}{subset}     {\def\autsubset {#1}}
 \define@key{autinfo}{disjoin}    {\def\autdisjoin{#1}}
@@ -143,6 +144,7 @@ or \url{http://www.gnu.org/licenses/agpl-3.0.txt}) or any later version.}}
 	\def\autmember {}
 	\def\autempty  {}
 	\def\autuniv   {}
+	\def\autfinite {}
 	\def\autequiv  {}
 	\def\autsubset {}
 	\def\autdisjoin{}
@@ -165,9 +167,11 @@ or \url{http://www.gnu.org/licenses/agpl-3.0.txt}) or any later version.}}
 		\textbf{Decision Predicates} & \\ \hline
 		\ifdefempty{\autmember} {}{Membership testing   & \autmember  \\ \hline}
 		\ifdefempty{\autempty}  {}{Emptiness            & \autempty   \\ \hline}
+		\ifdefempty{\autfinte}  {}{Finiteness           & \autfinite  \\ \hline}
         \ifdefempty{\autuniv}   {}{Universality         & \autuniv    \\ \hline}
 		\ifdefempty{\autequiv}  {}{Equivalence          & \autequiv   \\ \hline}
 		\ifdefempty{\autsubset} {}{Subset               & \autsubset  \\ \hline}
+			% \autdisjoin AKA "Emptyness of Intersection"
 		\ifdefempty{\autdisjoin}{}{Disjointness         & \autsubset  \\ \hline}
 		\textbf{Closure Properties} & \\ \hline
 		\ifdefempty{\autregkstr}{}{Kleene star          & \autregkstr \\ \hline}