Use *unify-string-case-sensitive-p* consistently.
Annotate for file docs/html/usci-variable.html
2004-11-17 mantoniotti 1 <html>
22:19:54 ' 2 <head>
2011-04-02 rbrown 3 <title>CL Unification: Variable *UNIFY-STRING-CASE-SENSITIVE-P*</title>
2004-11-17 mantoniotti 4 <link rel="stylesheet" href="main.css">
22:19:54 ' 5 </head>
' 6
' 7 <body marginheight="0" marginwidth="0" leftmargin="0" topmargin="0" bgcolor="#ffffff">
' 8
' 9 <table border="0" cellpadding="0" cellspacing="0" width="100%" height="100%" vspace="0" hspace="0">
' 10 <tr>
' 11 <td colspan="3">
' 12 <div class="header"
' 13 style="font-family:=Verdana,Arial,Helvetica; font-size: 18px; color: #41286f;">
2011-04-02 rbrown 14 <strong><i>CL Unification: Variable *UNIFY-STRING-CASE-SENSITIVE-P*</title></i></strong>
2004-11-17 mantoniotti 15 <div class="navigation">
22:19:54 ' 16 <a href="index.html" class="navigation-link">Home</a>
' 17 | <a href="unification-package.html" class="navigation-link">Previous</a>
' 18 | <a href="index.html" class="navigation-link">Next</a>
' 19 | <a href="downloads.html" class="navigation-link">Downloads</a>
' 20 | <a href="links.html" class="navigation-link">Links</a>
' 21 </div>
' 22 </div>
' 23 <div class="black-line"><img src="images/shim.gif" height="1" width="1"></div>
' 24 <div class="middle-bar"><img src="images/shim.gif" height="5" width="1"></div>
' 25 <div class="black-line"><img src="images/shim.gif" height="1" width="1"></div>
' 26 </td>
' 27 </tr>
' 28
' 29 <tr height="100%">
' 30 <td height="100%">&nbsp;</td>
' 31 <td valign="top" width="80%" height="100%">
' 32
' 33 <div class="content">
' 34 <div class="text" style="padding-top: 10px;">
' 35
2011-04-02 rbrown 36 <h1><i>Variable</i> <strong>*UNIFY-STRING-CASE-SENSITIVE-P*</strong></h1>
2004-11-17 mantoniotti 37
22:19:54 ' 38 <h2>Package:</h2>
' 39
' 40 <p><code>COMMON-LISP.EXTENSIONS.DATA-AND-CONTROL-FLOW.UNIFICATION</code></p>
' 41
' 42
' 43 <h2>Value Type:</h2>
' 44
' 45 <p>
' 46 A <i>generalized boolean</i>.
' 47 </p>
' 48
' 49
' 50 <h2>Initial Value:</h2>
' 51
' 52 <p>
' 53 NIL
' 54 </p>
' 55
' 56
' 57 <h2>Description:</h2>
' 58
2011-04-02 rbrown 59 <p>The value of *UNIFY-STRING-CASE-SENSITIVE-P* controls the
2004-11-17 mantoniotti 60 behavior of the UNIFY method with signature <code>(<i>string</i> <i>string</i>)</code>.
2011-04-02 rbrown 61 If T (the default), the method will use STRING= to test for
2004-11-17 mantoniotti 62 equality of the two strings. Otherwise, the UNIFY method will use STRING-EQUAL.</p>
22:19:54 ' 63
' 64 <h2>Affected By:</h2>
' 65
' 66 <p>None.</p>
' 67
' 68
' 69 <h2>Exceptional Situations:</h2>
' 70
' 71 <p>None.</p>
' 72
' 73
' 74 <h2>See Also:</h2>
' 75
' 76 <p>UNIFY</p>
' 77
' 78 <h2>Notes:</h2>
' 79
' 80 <p>None.</p>
' 81
' 82 </td>
' 83
' 84 <!-- <td height="100%">&nbsp;</td> -->
' 85 </tr>
' 86
' 87 <tr height="100%">
' 88 <td height="100%">&nbsp;</td>
' 89 <td valign="top" width="80%" height="100%">
' 90
' 91 <div class="content">
' 92 <div class="text" style="padding-top: 10px;">
' 93
' 94 <h1>News</h1>
' 95
' 96 <p>News in chronological order, most recent on top.
' 97 </p>
' 98
' 99 <ul>
' 100 <li><strong>2004-06-11</strong><br>
' 101 Completed description.
' 102 </li>
' 103
' 104 </ul>
' 105
' 106 </div>
' 107 </div>
' 108
' 109 </td>
' 110
' 111 <td height="100%">&nbsp;</td>
' 112 </tr>
' 113
' 114
' 115
' 116
' 117 <tr>
' 118 <td colspan="3" valign="bottom" align="right">
' 119 <div class="copyright">
' 120 &copy; 2003-2004, Marco Antoniotti, all rights reserved.
' 121 </div>
' 122 </td>
' 123 </tr>
' 124
' 125 </table>
' 126 </body>
' 127 </html>
' 128
' 129 <!-- end of file -- usci-variable.html -->