diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/oberdiek/bitset.dtx')
| -rw-r--r-- | Master/texmf-dist/source/latex/oberdiek/bitset.dtx | 2957 |
1 files changed, 0 insertions, 2957 deletions
diff --git a/Master/texmf-dist/source/latex/oberdiek/bitset.dtx b/Master/texmf-dist/source/latex/oberdiek/bitset.dtx deleted file mode 100644 index dbb7c1ba2a6..00000000000 --- a/Master/texmf-dist/source/latex/oberdiek/bitset.dtx +++ /dev/null @@ -1,2957 +0,0 @@ -% \iffalse meta-comment -% -% File: bitset.dtx -% Version: 2016/05/16 v1.2 -% Info: Handle bit-vector datatype -% -% Copyright (C) -% 2007, 2011 Heiko Oberdiek -% 2016-2019 Oberdiek Package Support Group -% https://github.com/ho-tex/oberdiek/issues -% -% This work may be distributed and/or modified under the -% conditions of the LaTeX Project Public License, either -% version 1.3c of this license or (at your option) any later -% version. This version of this license is in -% https://www.latex-project.org/lppl/lppl-1-3c.txt -% and the latest version of this license is in -% https://www.latex-project.org/lppl.txt -% and version 1.3 or later is part of all distributions of -% LaTeX version 2005/12/01 or later. -% -% This work has the LPPL maintenance status "maintained". -% -% The Current Maintainers of this work are -% Heiko Oberdiek and the Oberdiek Package Support Group -% https://github.com/ho-tex/oberdiek/issues -% -% The Base Interpreter refers to any `TeX-Format', -% because some files are installed in TDS:tex/generic//. -% -% This work consists of the main source file bitset.dtx -% and the derived files -% bitset.sty, bitset.pdf, bitset.ins, bitset.drv, bitset-test1.tex, -% bitset-test2.tex, bitset-test3.tex. -% -% Distribution: -% CTAN:macros/latex/contrib/oberdiek/bitset.dtx -% CTAN:macros/latex/contrib/oberdiek/bitset.pdf -% -% Unpacking: -% (a) If bitset.ins is present: -% tex bitset.ins -% (b) Without bitset.ins: -% tex bitset.dtx -% (c) If you insist on using LaTeX -% latex \let\install=y\input{bitset.dtx} -% (quote the arguments according to the demands of your shell) -% -% Documentation: -% (a) If bitset.drv is present: -% latex bitset.drv -% (b) Without bitset.drv: -% latex bitset.dtx; ... -% The class ltxdoc loads the configuration file ltxdoc.cfg -% if available. Here you can specify further options, e.g. -% use A4 as paper format: -% \PassOptionsToClass{a4paper}{article} -% -% Programm calls to get the documentation (example): -% pdflatex bitset.dtx -% makeindex -s gind.ist bitset.idx -% pdflatex bitset.dtx -% makeindex -s gind.ist bitset.idx -% pdflatex bitset.dtx -% -% Installation: -% TDS:tex/generic/oberdiek/bitset.sty -% TDS:doc/latex/oberdiek/bitset.pdf -% TDS:source/latex/oberdiek/bitset.dtx -% -%<*ignore> -\begingroup - \catcode123=1 % - \catcode125=2 % - \def\x{LaTeX2e}% -\expandafter\endgroup -\ifcase 0\ifx\install y1\fi\expandafter - \ifx\csname processbatchFile\endcsname\relax\else1\fi - \ifx\fmtname\x\else 1\fi\relax -\else\csname fi\endcsname -%</ignore> -%<*install> -\input docstrip.tex -\Msg{************************************************************************} -\Msg{* Installation} -\Msg{* Package: bitset 2016/05/16 v1.2 Handle bit-vector datatype (HO)} -\Msg{************************************************************************} - -\keepsilent -\askforoverwritefalse - -\let\MetaPrefix\relax -\preamble - -This is a generated file. - -Project: bitset -Version: 2016/05/16 v1.2 - -Copyright (C) - 2007, 2011 Heiko Oberdiek - 2016-2019 Oberdiek Package Support Group - -This work may be distributed and/or modified under the -conditions of the LaTeX Project Public License, either -version 1.3c of this license or (at your option) any later -version. This version of this license is in - https://www.latex-project.org/lppl/lppl-1-3c.txt -and the latest version of this license is in - https://www.latex-project.org/lppl.txt -and version 1.3 or later is part of all distributions of -LaTeX version 2005/12/01 or later. - -This work has the LPPL maintenance status "maintained". - -The Current Maintainers of this work are -Heiko Oberdiek and the Oberdiek Package Support Group -https://github.com/ho-tex/oberdiek/issues - - -The Base Interpreter refers to any `TeX-Format', -because some files are installed in TDS:tex/generic//. - -This work consists of the main source file bitset.dtx -and the derived files - bitset.sty, bitset.pdf, bitset.ins, bitset.drv, bitset-test1.tex, - bitset-test2.tex, bitset-test3.tex. - -\endpreamble -\let\MetaPrefix\DoubleperCent - -\generate{% - \file{bitset.ins}{\from{bitset.dtx}{install}}% - \file{bitset.drv}{\from{bitset.dtx}{driver}}% - \usedir{tex/generic/oberdiek}% - \file{bitset.sty}{\from{bitset.dtx}{package}}% -% \usedir{doc/latex/oberdiek/test}% -% \file{bitset-test1.tex}{\from{bitset.dtx}{test1}}% -% \file{bitset-test2.tex}{\from{bitset.dtx}{test2,etex}}% -% \file{bitset-test3.tex}{\from{bitset.dtx}{test2,noetex}}% -} - -\catcode32=13\relax% active space -\let =\space% -\Msg{************************************************************************} -\Msg{*} -\Msg{* To finish the installation you have to move the following} -\Msg{* file into a directory searched by TeX:} -\Msg{*} -\Msg{* bitset.sty} -\Msg{*} -\Msg{* To produce the documentation run the file `bitset.drv'} -\Msg{* through LaTeX.} -\Msg{*} -\Msg{* Happy TeXing!} -\Msg{*} -\Msg{************************************************************************} - -\endbatchfile -%</install> -%<*ignore> -\fi -%</ignore> -%<*driver> -\NeedsTeXFormat{LaTeX2e} -\ProvidesFile{bitset.drv}% - [2016/05/16 v1.2 Handle bit-vector datatype (HO)]% -\documentclass{ltxdoc} -\usepackage{holtxdoc}[2011/11/22] -\usepackage{amstext} -\usepackage{ifluatex} -\ifluatex -\else - \usepackage[T1]{fontenc}% - \usepackage{lmodern}% -\fi -\begin{document} - \DocInput{bitset.dtx}% -\end{document} -%</driver> -% \fi -% -% -% -% \GetFileInfo{bitset.drv} -% -% \title{The \xpackage{bitset} package} -% \date{2016/05/16 v1.2} -% \author{Heiko Oberdiek\thanks -% {Please report any issues at \url{https://github.com/ho-tex/oberdiek/issues}}} -% -% \maketitle -% -% \begin{abstract} -% This package defines and implements the data type bit set, -% a vector of bits. The size of the vector may grow dynamically. -% Individual bits can be manipulated. -% \end{abstract} -% -% \tableofcontents -% -% \clearpage -% \section{Documentation} -% -% \subsection{Introduction} -% -% Annotations in the PDF format know entries whose values are -% integers. This numbers are interpreted as set of flags -% specifying properties. For example, annotation dictionaries -% can have a key |/F|. The bits of its integer value -% are interpreted the following way: -% \begin{quote} -% \begin{tabular}{@{}l|l@{}} -% Bit position & Property name\\ -% \hline -% 1 & Invisible\\ -% 2 & Hidden\\ -% 3 & Print\\ -% 4 & NoZoom\\ -% 5 & NoRotate\\ -% 6 & NoView\\ -% 7 & ReadOnly\\ -% \dots & \dots -% \end{tabular} -% \end{quote} -% Now, let's see how these values are set in package \xpackage{hyperref} -% before it uses this package (before v6.77a): -%\begin{quote} -%\begin{verbatim} -%\ifFld@hidden /F 6\else /F 4\fi -%\end{verbatim} -%\end{quote} -% Where are the other flags? The following example for key |/Ff| -% in a widget annotation -% supports at least three properties: -%\begin{quote} -%\begin{verbatim} -%\ifFld@multiline -% \ifFld@readonly /Ff 4097\else /Ff 4096\fi -%\else -% \ifFld@password -% \ifFld@readonly /Ff 8193\else /Ff 8192\fi -% \else -% \ifFld@readonly /Ff 1\fi -% \fi -%\fi -%\end{verbatim} -%\end{quote} -% But you see the point. It would be a nightmare to continue -% this way in supporting the missing flag settings. This kind -% of integers may have up to 32 bits. -% -% Therefore I wanted a data structure for setting and -% clearing individual bits. Also it should provide -% an export as decimal number. The snipsets above are -% executed in expansion contexts without \TeX's stomach -% commands. It would be convenient to have an expandable -% conversion from the data structure to the integer that -% gets written to the PDF file. -% -% This package \xpackage{bitset} implements such a data -% structure. The interface is quite close to Java's -% class |BitSet| in order not to learn to many interfaces -% for the same kind of data structure. -% -% \subsection{Glossary} -% -% \begin{description} -% \item[Bit set:] -% A bit set is a vector of bits or flags. -% The vector size is unlimited and -% grows dynamically. An undefined bit set is treated as bit -% set where all bits are cleared. -% -% Bit sets are addressed by name. A name should consists of -% letters or digits. Technically it must survive \cs{csname}, -% see \LaTeX's environment names for other names with such -% a constraint. Package \xpackage{babel}'s shorthands are -% not supported due to technical reasons. Shorthand support -% would break expandable operations. -% \item[Size:] -% A size of a bit set is the number of bits in use. -% It's the number of the highest index, incremented by one. -% Sizes are in the range |0| up to |2147483647|, the highest -% number supported by \TeX. -% \item[Index:] -% Bit positions in a bit set are addressed by an index number. -% The bit vector is zero based. The first and least significant -% bit is addressed by index |0| and the highest possible bit -% by |2147483646|. -% \item[Bit:] -% A bit is enoded as |0| for cleared/disabled or |1| for set/enabled. -% \end{description} -% -% \subsection{Design principles} -% -% \begin{description} -% \item[Name conventions:] -% To avoid conflicts with existing macro names, the operations -% are prefixed by the package name. -% \item[Zero based indexes:] The first bit is addressed by zero. -% (Convention of array indexing in C, Java, \dots) -% \item[Unlimited size:] -% There is no restriction on the size of a bit set other than -% usual memory limitations. \cs{bitsetSetDec} and \cs{bitsetGetDec} -% transparently switch to package \xpackage{bigintcalc} if the numbers -% get too large for \TeX's number limit. -% \item[Expandibility:] -% Any operation that does not change the bit set is expandable. -% And all operations that extract or calculate some result -% do this in exact two expansion steps. For example, -% a macro \cs{Macro} wants a bit set as decimal number. -% But the argument must be a plain number without macros. -% Thus you could prefix \cs{bitsetGetDec} with \cs{number}. -% However this won't work for bit sets with 31 or more bits -% because of \TeX's number limit of $2^{31}-1$. -% then just hit the operator with two \cs{expandafter}: -% \begin{quote} -% |\expandafter\expandafter\expandafter|\\ -% |\Macro\bitsetGetDec{foo}| -% \end{quote} -% |\bitsetGetDec| is hit first by the third \cs{expandafter} -% and then by the second one. -% \item[Format independence:] This package is written as \LaTeX\ package, -% but it does not depend on \LaTeX. It will also work for other formats -% such as \plainTeX. -% \item[Independence from \TeX\ engines:] -% Vanilla \TeX\ is all you need. Calculations are delegated to -% packages \xpackage{intcalc} and \xpackage{bigintcalc}. -% They don't need any special features, but they will switch -% to a little more efficient implementation if features such -% as \cs{numexpr} are available. -% \item[Numeric arguments:] Anything that is accepted by -% \cs{number}. If \eTeX\ is detected, also expressions -% for \cs{numexpr} are supported. The only exception so far -% is the number for \cs{bitsetSetDec}. The number might be too -% large for \cs{number} or \cs{numexpr}. -% \item[Error messages:] -% In expandable contexts, only a limited set of \TeX\ primitive -% commands work as expected. So called stomach commands behave -% like \cs{relax} and don't get expanded or executed. -% Unhappily also the error commands belong to this category. -% The expandable operations will throw an unknown control -% sequence instead to get \TeX's and user's attention. -% The name of these control sequences starts with -% \cs{BitSetError:} with the type of error after the colon. -% \end{description} -% -% \subsection{Operator overview} -% -% \begin{minipage}{\linewidth} -% \begin{description} -% \def\It#1#2{^^A -% \item[^^A -% {#1} ^^A -% \textmd{(\hyperref[{sec:#2}]{section \ref*{sec:#2}})}^^A -% ]^^A -% \mbox{}\\^^A -% } -% \def\op#1{^^A -% \cs{bitset}\texttt{\bfseries#1}^^A -% } -% \def\M#1{\meta{#1}} -% \def\Q{\hspace*{\fill}} -% \It{Miscellaneous}{misc} -% \op{Reset}\Q \M{BitSet}\\ -% \op{Let}\Q \M{BitSet A} \M{BitSet B} -% \It{Import}{import} -% \op{SetBin}, \op{SetOct}, \op{SetHex}\Q \M{BitSet} \M{Value}\\ -% \op{SetDec}\Q \M{BitSet} \M{Value} -% \It{Export\textsuperscript{a}}{export} -% \op{GetBin}, \op{GetOct}, \op{GetHex}\Q \M{BitSet} \M{MinSize}\\ -% \op{GetDec}\Q \M{BitSet} -% \It{Logical operators}{log} -% \op{And}, \op{AndNot}\Q \M{BitSet A} \M{BitSet B}\\ -% \op{Or}, \op{Xor}\Q \M{BitSet A} \M{BitSet B} -% \It{Shifting}{shift} -% \op{ShiftLeft}, \op{ShiftRight}\Q \M{BitSet} \M{ShiftAmount}\\ -% \It{Bit manipulation}{bitman} -% \op{Clear}, \op{Set}, \op{Flip}\Q \M{BitSet} \M{Index}\\ -% \op{SetValue}\Q \M{BitSet} \M{Index} \M{Value}\\ -% \op{ClearRange}, \op{SetRange}, \op{FlipRange}\\ -% \Q \M{BitSet} \M{IndexFrom} \M{IndexTo}\\ -% \op{SetValueRange}\Q \M{BitSet} \M{IndexFrom} \M{IndexTo} -% \It{Bit retrieval\textsuperscript{a}}{bitret} -% \op{Get}\Q \M{BitSet} \M{Index}\\ -% \op{NextClearBit}, \op{NextSetBit}\Q \M{BitSet} \M{Index}\\ -% \op{GetSetBitList}\Q \M{BitSet} -% \It{Bit set properties}{prop} -% \op{Size}, \op{Cardinality}\Q \M{BitSet} -% \It{Queries\textsuperscript{b}}{query} -% \op{IsDefined}, \op{IsEmpty}\Q \M{BitSet} \M{Then} \M{Else}\\ -% \op{Equals}, \op{Intersects}\Q \M{BitSet A} \M{BitSet B} \M{Then} \M{Else}\\ -% \op{Query}\Q \M{BitSet} \M{Index} \M{Then} \M{Else} -% \end{description} -% \footnotetext[1]{Macros are expandable, full expansion by two steps.} -% \footnotetext[2]{Macros are expandable.} -% \end{minipage} -% -% \subsection{Package loading} -% -% The package can be used as normal \LaTeX\ package: -%\begin{quote} -%|\usepackage{bitset}| -%\end{quote} -% Also \plainTeX\ is supported: -%\begin{quote} -%|\input bitset.sty\relax| -%\end{quote} -% -% \subsection{Operators} -% -% The following macros work on and with bit sets. -% A bit set \meta{BitSet} is represented by a name. -% The should consist of letters and digits. Technically -% it must survive \cs{csname}. It is the same constraint -% that must be satisfied by label or environment names -% in \LaTeX. -% -% However active characters that are shorthands -% of package \xpackage{babel} are not supported. -% Support for shorthands works by an assignment. -% But many operators -% such as \cs{bitsetGetDec} must be usable in expandable -% contexts. There assignments will not be executed in the -% best case or they will cause errors. -% -% The bits in a bit set are addressed by non-negative -% integers starting from zero. Thus negative index -% numbers cause an error message. Because index numbers -% are \TeX\ numbers. The largest index is 2147483647. -% But in practice memory limits and patience limits -% will be very likely reached much before. -% -% \subsubsection{Miscellaneous}\label{sec:misc} -% -% There isn't a separate operation for bit set creation. -% For simplicity an undefined bit set is treated as bit set -% with all bits cleared. -% -% \begin{declcs}{bitsetReset} \M{BitSet} -% \end{declcs} -% Macro \cs{bitsetReset} clears all bits. The result is an -% empty bit set. It may also be used as replacement for -% an operation ``new'', because an undefined bit set is defined -% afterwards. -% -% \begin{declcs}{bitsetLet} \M{BitSet A} \M{BitSet B} -% \end{declcs} -% Macro \cs{bitsetLet} performs a simple assignment similar -% to \TeX's \cs{let}. After the operation \meta{BitSet A} has -% the same value as \meta{BitSet B}. If \meta{BitSet B} is -% undefined, then \meta{BitSet A} will be the empty bit set. -% -% Note: If \meta{BitSet A} exists, it will be overwritten. -% -% \subsubsection{Import}\label{sec:import} -% -% \begin{declcs}{bitsetSetBin} \M{BitSet} \M{BinaryNumber}\\ -% \cs{bitsetSetOct} \M{BitSet} \M{OctalNumber}\\ -% \cs{bitsetSetHex} \M{BitSet} \M{HexadecimalNumber} -% \end{declcs} -% The numbers are interpreted as bit vectors and the flags in -% the bit \meta{BitSet} set are set accordingly. -% These numeric arguments are the only arguments where -% spaces are allowed. Then the numbers are easier to read. -% -% \begin{declcs}{bitsetSetDec} \M{BitSet} \M{DecimalNumber} -% \end{declcs} -% Macro \cs{bitsetSetDec} uses \meta{DecimalNumber} to -% set the bit set \meta{BitSet}. -% The numeric argument must expand -% to a plain number consisting of decimal digits without -% command tokens or spaces. Internally this argument is -% expanded only. It cannot be passed to \cs{number} or -% \cs{numexpr}, because the number may be too large for them. -% However \cs{number} or |\the\numexpr| may be used -% explicitely. This also helps for unexpandable number -% command tokens or registers (\cs{z@}, \cs{@ne}, \cs{count@}, \dots). -% Also \LaTeX'\ \cs{value} needs prefixing: -% \begin{quote} -% |\bitsetSetDec{foo}{\number\value{bar}}| -% \end{quote} -% -% \subsubsection{Export}\label{sec:export} -% -% \begin{declcs}{bitsetGetBin} \M{BitSet} \M{MinSize}\\ -% \cs{bitsetGetOct} \M{BitSet} \M{MinSize}\\ -% \cs{bitsetGetHex} \M{BitSet} \M{MinSize} -% \end{declcs} -% These macros returns the bit set as binary, octal or hexadecimal -% number. If the bit size is smaller than \meta{MinSize} the gap is -% filled with leading zeros. -% Example: -% \begin{quote} -% |\bitsetReset{abc}|\\ -% |\bitsetSet{abc}{2}|\\ -% |\bitsetGetBin{abc}{8}| $\rightarrow$ |00000100|\\ -% |\bitsetSet{abc}{5}\bitsetSet{abc}{7}|\\ -% |\bitsetGetHex{abc}{16}| $\rightarrow$ |00A2| -% \end{quote} -% Macro \cs{bitsetGetHex} uses the uppercase letters |A| to |F|. -% The catcode of the letters is one of 11 (letter) or 12 (other). -% -% \begin{declcs}{bitsetGetDec} \M{BitSet} -% \end{declcs} -% Macro \cs{bitsetGetDec} returns the bit set \meta{BitSet} as -% decimal number. The returned number can be larger than -% \TeX's number limit of $2^{31}-1$. -% -% \subsubsection{Logical operators}\label{sec:log} -% -% \begin{declcs}{bitsetAnd} \M{BitSet A} \M{BitSet B} -% \end{declcs} -% $A_{\text{new}} \mathrel{\mathop{:}}= A_{\text{old}} -% \mathbin{\text{and}} B \qquad (\forall\, \text{bits})$ -% -% \begin{declcs}{bitsetAndNot} \M{BitSet A} \M{BitSet B} -% \end{declcs} -% $A_{\text{new}} \mathrel{\mathop{:}}= A_{\text{old}} -% \mathbin{\text{and}} (\text{not}\,B) \qquad (\forall\, \text{bits})$ -% -% \begin{declcs}{bitsetOr} \M{BitSet A} \M{BitSet B} -% \end{declcs} -% $A_{\text{new}} \mathrel{\mathop{:}}= A_{\text{old}} -% \mathbin{\text{or}} B \qquad (\forall\, \text{bits})$ -% -% \begin{declcs}{bitsetXor} \M{BitSet A} \M{BitSet B} -% \end{declcs} -% $A_{\text{new}} \mathrel{\mathop{:}}= A_{\text{old}} -% \mathbin{\text{xor}} B \qquad (\forall\, \text{bits})$ -% -% \subsubsection{Shifting}\label{sec:shift} -% -% \begin{declcs}{bitsetShiftLeft} \M{BitSet} \M{ShiftAmount}\\ -% \cs{bitsetShiftRight} \M{BitSet} \M{ShiftAmount} -% \end{declcs} -% A left shift by one is a multiplication by two, thus left shifting -% moves the flags to higher positions. The new created low positions -% are filled by zeros. -% -% A right shift is the opposite, dividing by two, movint the bits -% to lower positions. The number will become smaller, the lowest -% bits are lost. -% -% If the \meta{ShiftAmount} is negative, it reverts the meaning of -% the shift operation. A left shift becomes a right shift. -% A \meta{ShiftAmount} of zero is ignored. -% -% \subsubsection{Bit manipulation}\label{sec:bitman} -% -% \begin{declcs}{bitsetClear} \M{BitSet} \M{Index}\\ -% \cs{bitsetSet} \M{BitSet} \M{Index}\\ -% \cs{bitsetFlip} \M{BitSet} \M{Index} -% \end{declcs} -% This macros manipulate a single bit in \meta{BitSet} addressed -% by \cs{Index}. Macro \cs{bitsetClear} disables the bit, -% \cs{bitsetSet} enables it and \cs{bitsetFlip} reverts the current -% setting of the bit. -% -% \begin{declcs}{bitsetSetValue} \M{BitSet} \M{Index} \M{Bit} -% \end{declcs} -% Macro \cs{bitsetSetValue} puts bit \meta{Bit} at position \meta{Index} -% in bit set \meta{BitSet}. \meta{Bit} must be a valid \TeX\ number -% equals to zero (disabled/cleared) or one (enabled/set). -% -% \subsubsection{Bit retrieval}\label{sec:bitret} -% -% \begin{declcs}{bitsetGet} \M{BitSet} \M{Index} -% \end{declcs} -% Macro \cs{bitsetGet} extracts the status of the bit at -% position \meta{Index} in bit set \meta{BitSet}. -% Digit |1| is returned if the bit is set/enabled. If the -% bit is cleared/disabled and in cases of an undefined bitset or -% an index number out of range the return value is |0|. -% -% \begin{declcs}{bitsetNextClearBit} \M{BitSet} \M{Index} -% \end{declcs} -% Starting at position \meta{Index} (inclusive) the bits -% are inspected. The first position without a set bit is returned. -% Possible results are decimal numbers: \meta{Index}, \meta{Index} + 1, -% \dots, ($\infty$) -% -% \begin{declcs}{bitsetNextSetBit} \M{BitSet} \M{Index} -% \end{declcs} -% Starting at position \meta{Index} (inclusive) the bits are -% inspected and the index position of the first found set bit -% is returned. If there isn't such a bit, then the result is -% |-1|. In summary possible results are decimal numbers: -% |-1|, \meta{Index}, \meta{Index} + 1, \dots, ($\infty$) -% -% \begin{declcs}{bitsetGetSetBitList} \M{BitSet} -% \end{declcs} -% Macro \cs{bitsetGetSetBitList} is an application for -% \cs{bitsetNextSetBit}. The set bits are iterated and -% returned as comma separated list of index positions -% in increasing order. The list is empty in case of -% an empty bit set. -% -% \subsubsection{Bit set properties}\label{sec:prop} -% -% \begin{declcs}{bitsetSize} \M{BitSet} -% \end{declcs} -% Macro \cs{bitsetSize} returns number of bits in use. -% It is the same as the index number of the highest set/enabled bit -% incremented by one. -% -% \begin{declcs}{bitsetCardinality} \M{BitSet} -% \end{declcs} -% Macro \cs{bitsetCardinality} counts the number of set/enabled bits. -% -% \subsubsection{Queries}\label{sec:query} -% -% Also the query procedures are expandable. They ask for a piece -% of information about a bit set and execute code depending -% on the answer. -% -% \begin{declcs}{bitsetIsDefined} \M{BitSet} \M{Then} \M{Else} -% \end{declcs} -% If the bit set with the name \meta{BitSet} exists the code -% given in \meta{Then} is executed, otherwise \meta{Else} is used. -% -% \begin{declcs}{bitsetIsEmpty} \M{BitSet} \M{Then} \M{Else} -% \end{declcs} -% If the bit set \meta{BitSet} exists and at least one bit -% is set/enabled, the code in \meta{Then} is executed, -% \meta{Else} otherwise. -% -% \begin{declcs}{bitsetEquals} \M{BitSet A} \M{BitSet B} \M{Then} \M{Else} -% \end{declcs} -% Both bit sets are equal if and only if either both are undefined -% or both are defined and represents the same bit values at the -% same positions. Thus this definition is reflexive, symmeric, -% and transitive, enough for an equivalent relation. -% -% \begin{declcs}{bitsetIntersects} \M{BitSet A} \M{BitSet B} \M{Then} \M{Else} -% \end{declcs} -% If and only if \meta{BitSet A} and \meta{BitSet B} have -% at least one bit at the same position that is set, then -% code part \meta{Then} is executed. -% -% \begin{declcs}{bitsetQuery} \M{BitSet} \M{Index} \M{Then} \M{Else} -% \end{declcs} -% It's just a wrapper for \cs{bitsetGet}. If the bit at position -% \meta{Index} is enabled, code \meta{Then} is called. -% -% \StopEventually{ -% } -% -% \section{Implementation} -% -% The internal format of a bit set is quite simple, a sequence -% of digits |0| and |1|. The least significant bit is left. -% A bit set without any flag set is encoded by |0|. Also -% undefined bit sets are treated that way. After the -% highest bit that is set there are no further zeroes. -% A regular expression of valid bit sets values: -% \begin{quote} -% |0|\string||[01]*1| -% \end{quote} -% -% \begin{macrocode} -%<*package> -% \end{macrocode} -% -% \subsection{Reload check and package identification} -% Reload check, especially if the package is not used with \LaTeX. -% \begin{macrocode} -\begingroup\catcode61\catcode48\catcode32=10\relax% - \catcode13=5 % ^^M - \endlinechar=13 % - \catcode35=6 % # - \catcode39=12 % ' - \catcode44=12 % , - \catcode45=12 % - - \catcode46=12 % . - \catcode58=12 % : - \catcode64=11 % @ - \catcode123=1 % { - \catcode125=2 % } - \expandafter\let\expandafter\x\csname ver@bitset.sty\endcsname - \ifx\x\relax % plain-TeX, first loading - \else - \def\empty{}% - \ifx\x\empty % LaTeX, first loading, - % variable is initialized, but \ProvidesPackage not yet seen - \else - \expandafter\ifx\csname PackageInfo\endcsname\relax - \def\x#1#2{% - \immediate\write-1{Package #1 Info: #2.}% - }% - \else - \def\x#1#2{\PackageInfo{#1}{#2, stopped}}% - \fi - \x{bitset}{The package is already loaded}% - \aftergroup\endinput - \fi - \fi -\endgroup% -% \end{macrocode} -% Package identification: -% \begin{macrocode} -\begingroup\catcode61\catcode48\catcode32=10\relax% - \catcode13=5 % ^^M - \endlinechar=13 % - \catcode35=6 % # - \catcode39=12 % ' - \catcode40=12 % ( - \catcode41=12 % ) - \catcode44=12 % , - \catcode45=12 % - - \catcode46=12 % . - \catcode47=12 % / - \catcode58=12 % : - \catcode64=11 % @ - \catcode91=12 % [ - \catcode93=12 % ] - \catcode123=1 % { - \catcode125=2 % } - \expandafter\ifx\csname ProvidesPackage\endcsname\relax - \def\x#1#2#3[#4]{\endgroup - \immediate\write-1{Package: #3 #4}% - \xdef#1{#4}% - }% - \else - \def\x#1#2[#3]{\endgroup - #2[{#3}]% - \ifx#1\@undefined - \xdef#1{#3}% - \fi - \ifx#1\relax - \xdef#1{#3}% - \fi - }% - \fi -\expandafter\x\csname ver@bitset.sty\endcsname -\ProvidesPackage{bitset}% - [2016/05/16 v1.2 Handle bit-vector datatype (HO)]% -% \end{macrocode} -% -% \subsection{Catcodes} -% -% \begin{macrocode} -\begingroup\catcode61\catcode48\catcode32=10\relax% - \catcode13=5 % ^^M - \endlinechar=13 % - \catcode123=1 % { - \catcode125=2 % } - \catcode64=11 % @ - \def\x{\endgroup - \expandafter\edef\csname BitSet@AtEnd\endcsname{% - \endlinechar=\the\endlinechar\relax - \catcode13=\the\catcode13\relax - \catcode32=\the\catcode32\relax - \catcode35=\the\catcode35\relax - \catcode61=\the\catcode61\relax - \catcode64=\the\catcode64\relax - \catcode123=\the\catcode123\relax - \catcode125=\the\catcode125\relax - }% - }% -\x\catcode61\catcode48\catcode32=10\relax% -\catcode13=5 % ^^M -\endlinechar=13 % -\catcode35=6 % # -\catcode64=11 % @ -\catcode123=1 % { -\catcode125=2 % } -\def\TMP@EnsureCode#1#2{% - \edef\BitSet@AtEnd{% - \BitSet@AtEnd - \catcode#1=\the\catcode#1\relax - }% - \catcode#1=#2\relax -} -\TMP@EnsureCode{33}{12}% ! -\TMP@EnsureCode{39}{12}% ' -\TMP@EnsureCode{40}{12}% ( -\TMP@EnsureCode{41}{12}% ) -\TMP@EnsureCode{42}{12}% * -\TMP@EnsureCode{43}{12}% + -\TMP@EnsureCode{44}{12}% , -\TMP@EnsureCode{45}{12}% - -\TMP@EnsureCode{46}{12}% . -\TMP@EnsureCode{47}{12}% / -\TMP@EnsureCode{58}{11}% : (letter!) -\TMP@EnsureCode{60}{12}% < -\TMP@EnsureCode{62}{12}% > -\TMP@EnsureCode{63}{14}% ? (comment!) -\TMP@EnsureCode{91}{12}% [ -\TMP@EnsureCode{93}{12}% ] -\TMP@EnsureCode{96}{12}% ` -\edef\BitSet@AtEnd{\BitSet@AtEnd\noexpand\endinput} -\begingroup\expandafter\expandafter\expandafter\endgroup -\expandafter\ifx\csname BitSet@TestMode\endcsname\relax -\else - \catcode63=9 % ? (ignore) -\fi -? \let\BitSet@@TestMode\BitSet@TestMode -% \end{macrocode} -% -% \subsection{Package loading} -% -% \begin{macrocode} -\begingroup\expandafter\expandafter\expandafter\endgroup -\expandafter\ifx\csname RequirePackage\endcsname\relax - \def\TMP@RequirePackage#1[#2]{% - \begingroup\expandafter\expandafter\expandafter\endgroup - \expandafter\ifx\csname ver@#1.sty\endcsname\relax - \input #1.sty\relax - \fi - }% - \TMP@RequirePackage{infwarerr}[2007/09/09]% - \TMP@RequirePackage{intcalc}[2007/09/27]% - \TMP@RequirePackage{bigintcalc}[2007/09/27]% -\else - \RequirePackage{infwarerr}[2007/09/09]% - \RequirePackage{intcalc}[2007/09/27]% - \RequirePackage{bigintcalc}[2007/09/27]% -\fi -% \end{macrocode} -% -% \subsection{Help macros} -% -% \subsubsection{Number constant} -% -% \begin{macro}{\BitSet@MaxSize} -% \begin{macrocode} -\def\BitSet@MaxSize{2147483647}% -% \end{macrocode} -% \end{macro} -% -% \subsubsection{General basic macros} -% -% \begin{macro}{\BitSet@Empty} -% \begin{macrocode} -\def\BitSet@Empty{} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@FirstOfOne} -% \begin{macrocode} -\def\BitSet@FirstOfOne#1{#1} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@Gobble} -% \begin{macrocode} -\def\BitSet@Gobble#1{} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@FirstOfTwo} -% \begin{macrocode} -\def\BitSet@FirstOfTwo#1#2{#1} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@SecondOfTwo} -% \begin{macrocode} -\def\BitSet@SecondOfTwo#1#2{#2} -% \end{macrocode} -% \end{macro} -% -% \begin{macro}{\BitSet@Space} -% \begin{macrocode} -\def\BitSet@Space{ } -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@ZapSpace} -% \begin{macrocode} -\def\BitSet@ZapSpace#1 #2{% - #1% - \ifx\BitSet@Empty#2% - \else - \expandafter\BitSet@ZapSpace - \fi - #2% -} -% \end{macrocode} -% \end{macro} -% -% \subsubsection{Tail recursion} -% -% \begin{macro}{\BitSet@Fi} -% \begin{macrocode} -\let\BitSet@Fi\fi -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@AfterFi} -% \begin{macrocode} -\def\BitSet@AfterFi#1#2\BitSet@Fi{\fi#1} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@AfterFiFi} -% \begin{macrocode} -\def\BitSet@AfterFiFi#1#2\BitSet@Fi{\fi\fi#1}% -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@AfterFiFiFi} -% \begin{macrocode} -\def\BitSet@AfterFiFiFi#1#2\BitSet@Fi{\fi\fi\fi#1}% -% \end{macrocode} -% \end{macro} -% -% \subsubsection{Check macros} -% -% \begin{macro}{\BitSet@IfUndefined} -% \begin{macrocode} -\def\BitSet@IfUndefined#1{% - \expandafter\ifx\csname BS@#1\endcsname\relax - \expandafter\BitSet@FirstOfTwo - \else - \expandafter\BitSet@SecondOfTwo - \fi -} -% \end{macrocode} -% \end{macro} -% -% \begin{macro}{\BitSet@CheckIndex} -% |#1|: continuation code\\ -% |#2|: BitSet\\ -% |#3|: Index -% \begin{macrocode} -\def\BitSet@CheckIndex#1#2#3{% - \BitSet@IfUndefined{#2}{\bitsetReset{#2}}{}% - \expandafter\expandafter\expandafter\BitSet@@CheckIndex - \intcalcNum{#3}!% - {#2}{#1}% -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@@CheckIndex} -% |#1|: plain Index\\ -% |#2|: BitSet\\ -% |#3|: continuation code -% \begin{macrocode} -\def\BitSet@@CheckIndex#1!#2#3{% - \ifnum#1<0 % - \BitSet@AfterFi{% - \@PackageError{bitset}{% - Invalid negative index (#1)% - }\@ehc - }% - \else - \BitSet@AfterFi{% - #3{#2}{#1}% - }% - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% -% \subsection{Miscellaneous}\label{src:misc} -% -% \begin{macro}{\bitsetReset} -% \begin{macrocode} -\def\bitsetReset#1{% - \expandafter\def\csname BS@#1\endcsname{0}% -} -% \end{macrocode} -% \end{macro} -% -% \begin{macro}{\bitsetLet} -% \begin{macrocode} -\def\bitsetLet#1#2{% - \BitSet@IfUndefined{#2}{% - \bitsetReset{#1}% - }{% - \expandafter\let\csname BS@#1\expandafter\endcsname - \csname BS@#2\endcsname - }% -} -% \end{macrocode} -% \end{macro} -% -% \subsection{Import}\label{src:import} -% -% \subsubsection{From binary number} -% -% \begin{macro}{\bitsetSetBin} -% \begin{macrocode} -\def\bitsetSetBin#1#2{% - \edef\BitSet@Temp{#2}% - \edef\BitSet@Temp{% - \expandafter\expandafter\expandafter\BitSet@ZapSpace - \expandafter\BitSet@Temp\BitSet@Space\BitSet@Empty - }% - \edef\BitSet@Temp{% - \expandafter\BitSet@KillZeros\BitSet@Temp\BitSet@Empty - }% - \ifx\BitSet@Temp\BitSet@Empty - \expandafter\let\csname BS@#1\endcsname\BitSet@Zero - \else - \expandafter\edef\csname BS@#1\endcsname{% - \expandafter\BitSet@Reverse\BitSet@Temp!% - }% - \fi -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@KillZeros} -% \begin{macrocode} -\def\BitSet@KillZeros#1{% - \ifx#10% - \expandafter\BitSet@KillZeros - \else - #1% - \fi -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@Reverse} -% \begin{macrocode} -\def\BitSet@Reverse#1#2!{% - \ifx\\#2\\% - #1% - \else - \BitSet@AfterFi{% - \BitSet@Reverse#2!#1% - }% - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% -% \subsubsection{From octal/hex number} -% -% \begin{macro}{\bitsetSetOct} -% \begin{macrocode} -\def\bitsetSetOct{% - \BitSet@SetOctHex\BitSet@FromFirstOct -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\bitsetSetHex} -% \begin{macrocode} -\def\bitsetSetHex{% - \BitSet@SetOctHex\BitSet@FromFirstHex -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@SetOctHex} -% \begin{macrocode} -\def\BitSet@SetOctHex#1#2#3{% - \edef\BitSet@Temp{#3}% - \edef\BitSet@Temp{% - \expandafter\expandafter\expandafter\BitSet@ZapSpace - \expandafter\BitSet@Temp\BitSet@Space\BitSet@Empty - }% - \edef\BitSet@Temp{% - \expandafter\BitSet@KillZeros\BitSet@Temp\BitSet@Empty - }% - \ifx\BitSet@Temp\BitSet@Empty - \expandafter\let\csname BS@#2\endcsname\BitSet@Zero - \else - \edef\BitSet@Temp{% - \expandafter#1\BitSet@Temp!% - }% - \ifx\BitSet@Temp\BitSet@Empty - \expandafter\let\csname BS@#2\endcsname\BitSet@Zero - \else - \expandafter\edef\csname BS@#2\endcsname{% - \expandafter\BitSet@Reverse\BitSet@Temp!% - }% - \fi - \fi -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@FromFirstOct} -% \begin{macrocode} -\def\BitSet@FromFirstOct#1{% - \ifx#1!% - \else - \ifcase#1 \BitSet@AfterFiFi\BitSet@FromFirstOct - \or 1% - \or 10% - \or 11% - \or 100% - \or 101% - \or 110% - \or 111% - \else \BitSetError:WrongOctalDigit% - \fi - \expandafter\BitSet@FromOct - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@FromOct} -% \begin{macrocode} -\def\BitSet@FromOct#1{% - \ifx#1!% - \else - \ifcase#1 000% - \or 001% - \or 010% - \or 011% - \or 100% - \or 101% - \or 110% - \or 111% - \else \BitSetError:WrongOctalDigit% - \fi - \expandafter\BitSet@FromOct - \fi -} -% \end{macrocode} -% \end{macro} -% -% \begin{macro}{\BitSet@FromFirstHex} -% \begin{macrocode} -\def\BitSet@FromFirstHex#1{% - \ifx#1!% - \else - \ifx#10% - \BitSet@AfterFiFi\BitSet@FromFirstHex - \fi - \expandafter\ifx\csname BitSet@Hex#1\endcsname\relax - \BitSetError:InvalidHexDigit% - \else - \expandafter\expandafter\expandafter\BitSet@KillZeros - \csname BitSet@Hex#1\endcsname - \fi - \expandafter\BitSet@FromHex - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@FromHex} -% \begin{macrocode} -\def\BitSet@FromHex#1{% - \ifx#1!% - \else - \expandafter\ifx\csname BitSet@Hex#1\endcsname\relax - \BitSetError:InvalidHexDigit% - \else - \csname BitSet@Hex#1\endcsname - \fi - \expandafter\BitSet@FromHex - \fi -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@Hex[0..F]} -% \begin{macrocode} -\def\BitSet@Temp#1{% - \expandafter\def\csname BitSet@Hex#1\endcsname -} -\BitSet@Temp 0{0000}% -\BitSet@Temp 1{0001}% -\BitSet@Temp 2{0010}% -\BitSet@Temp 3{0011}% -\BitSet@Temp 4{0100}% -\BitSet@Temp 5{0101}% -\BitSet@Temp 6{0110}% -\BitSet@Temp 7{0111}% -\BitSet@Temp 8{1000}% -\BitSet@Temp 9{1001}% -\BitSet@Temp A{1010}% -\BitSet@Temp B{1011}% -\BitSet@Temp C{1100}% -\BitSet@Temp D{1101}% -\BitSet@Temp E{1110}% -\BitSet@Temp F{1111}% -\BitSet@Temp a{1010}% -\BitSet@Temp b{1011}% -\BitSet@Temp c{1100}% -\BitSet@Temp d{1101}% -\BitSet@Temp e{1110}% -\BitSet@Temp f{1111}% -% \end{macrocode} -% \end{macro} -% -% \subsubsection{From decimal number} -% -% \begin{macro}{\bitsetSetDec} -% \begin{macrocode} -\def\bitsetSetDec#1#2{% - \edef\BitSet@Temp{#2}% - \edef\BitSet@Temp{% - \expandafter\expandafter\expandafter\BitSet@ZapSpace - \expandafter\BitSet@Temp\BitSet@Space\BitSet@Empty - }% - \edef\BitSet@Temp{% - \expandafter\BitSet@KillZeros\BitSet@Temp\BitSet@Empty - }% - \ifx\BitSet@Temp\BitSet@Empty - \expandafter\let\csname BS@#1\endcsname\BitSet@Zero - \else - \ifcase\bigintcalcSgn{\BitSet@Temp} % - \expandafter\let\csname BS@#1\endcsname\BitSet@Zero - \or - \ifnum\bigintcalcCmp\BitSet@Temp\BitSet@MaxSize>0 % - \expandafter\edef\csname BS@#1\endcsname{% - \expandafter\BitSet@SetDecBig\BitSet@Temp!% - }% - \else - \expandafter\edef\csname BS@#1\endcsname{% - \expandafter\BitSet@SetDec\BitSet@Temp!% - }% - \fi - \else - \@PackageError{bitset}{% - Bit sets cannot be negative% - }\@ehc - \fi - \fi -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@SetDecBig} -% \begin{macrocode} -\def\BitSet@SetDecBig#1#2#3#4#5#6#7#8#9!{% - \ifx\\#9\\% - \BitSet@SetDec#1#2#3#4#5#6#7#8!% - \else - \ifcase\BigIntCalcOdd#1#2#4#5#6#7#8#9! % - 0% - \or - 1% -? \else\BitSetError:ThisCannotHappen% - \fi - \BitSet@AfterFi{% - \expandafter\expandafter\expandafter\BitSet@SetDecBig - \BigIntCalcShr#1#2#3#4#5#6#7#8#9!!% - }% - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@SetDec} -% \begin{macrocode} -\def\BitSet@SetDec#1!{% - \ifcase#1 % - \or 1% - \else - \ifodd#1 % - 1% - \else - 0% - \fi - \BitSet@AfterFi{% - \expandafter\expandafter\expandafter\BitSet@SetDec - \IntCalcShr#1!!% - }% - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% -% \subsection{Export}\label{src:export} -% -% \subsubsection{To binary number} -% -% \begin{macro}{\bitsetGetBin} -% \begin{macrocode} -\def\bitsetGetBin#1#2{% - \romannumeral0% - \expandafter\expandafter\expandafter\BitSet@@GetBin - \intcalcNum{#2}!{#1}% -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@@GetBin} -% \begin{macrocode} -\def\BitSet@@GetBin#1!#2{% - \BitSet@IfUndefined{#2}{% - \ifnum#1>1 % - \BitSet@AfterFi{% - \expandafter\expandafter\expandafter\BitSet@Fill - \IntCalcDec#1!!0% - }% - \else - \BitSet@AfterFi{ 0}% - \BitSet@Fi - }{% - \expandafter\expandafter\expandafter\BitSet@NumBinRev - \expandafter\expandafter\expandafter1% - \expandafter\expandafter\expandafter!% - \csname BS@#2\endcsname!!#1!% - }% -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@Fill} -% |#1|: number of leading digits |0|\\ -% |#2|: result -% \begin{macrocode} -\def\BitSet@Fill#1!{% - \ifnum#1>0 % - \BitSet@AfterFi{% - \expandafter\expandafter\expandafter\BitSet@Fill - \IntCalcDec#1!!0% - }% - \else - \BitSet@AfterFi{ }% - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% -% \begin{macro}{\BitSet@NumBinRev} -% |#1|: bit counter (including |#2|)\\ -% |#2#3|: reverted number\\ -% |#4|: result\\ -% |#5|: min size -% \begin{macrocode} -\def\BitSet@NumBinRev#1!#2#3!{% - \ifx\\#3\\% - \BitSet@AfterFi{% - \BitSet@NumBinFill#1!#2% - }% - \else - \BitSet@AfterFi{% - \expandafter\expandafter\expandafter\BitSet@NumBinRev - \IntCalcInc#1!!#3!#2% - }% - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@NumBinFill} -% \begin{macrocode} -\def\BitSet@NumBinFill#1!#2!#3!{% - \ifnum#3>#1 % - \BitSet@AfterFi{% - \expandafter\expandafter\expandafter\BitSet@Fill - \IntCalcSub#3!#1!!#2% - }% - \else - \BitSet@AfterFi{ #2}% - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% -% \subsubsection{To octal/hexadecimal number} -% -% \begin{macro}{\bitsetGetOct} -% \begin{macrocode} -\def\bitsetGetOct#1#2{% - \romannumeral0% - \bitsetIsEmpty{#1}{% - \expandafter\expandafter\expandafter\BitSet@@GetOctHex - \intcalcNum{#2}!3!230% - }{% - \expandafter\expandafter\expandafter\BitSet@@GetOct - \expandafter\expandafter\expandafter1% - \expandafter\expandafter\expandafter!% - \expandafter\expandafter\expandafter!% - \csname BS@#1\endcsname00% - \BitSet@Empty\BitSet@Empty\BitSet@Empty!{#2}% - }% -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\bitsetGetHex} -% \begin{macrocode} -\def\bitsetGetHex#1#2{% - \romannumeral0% - \bitsetIsEmpty{#1}{% - \expandafter\expandafter\expandafter\BitSet@@GetOctHex - \intcalcNum{#2}!4!340% - }{% - \expandafter\expandafter\expandafter\BitSet@@GetHex - \expandafter\expandafter\expandafter1% - \expandafter\expandafter\expandafter!% - \expandafter\expandafter\expandafter!% - \csname BS@#1\endcsname000% - \BitSet@Empty\BitSet@Empty\BitSet@Empty\BitSet@Empty!{#2}% - }% -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@@GetOct} -% |#1|: number of digits\\ -% |#2|: result\\ -% |#3#4#5|: bits -% \begin{macrocode} -\def\BitSet@@GetOct#1!#2!#3#4#5{% - \ifx#5\BitSet@Empty - \BitSet@AfterFi{% - \expandafter\expandafter\expandafter\BitSet@GetOctHex - \IntCalcDec#1!!#2!23% - }% - \else - \BitSet@AfterFi{% - \expandafter\expandafter\expandafter\BitSet@@GetOct - \number\IntCalcInc#1!\expandafter\expandafter\expandafter!% - \csname BitSet@Oct#5#4#3\endcsname#2!% - }% - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@Oct[000..111]} -% \begin{macrocode} -\def\BitSet@Temp#1#2#3#4{% - \expandafter\def\csname BitSet@Oct#1#2#3\endcsname{#4}% -} -\BitSet@Temp0000% -\BitSet@Temp0011% -\BitSet@Temp0102% -\BitSet@Temp0113% -\BitSet@Temp1004% -\BitSet@Temp1015% -\BitSet@Temp1106% -\BitSet@Temp1117% -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@@GetHex} -% |#1|: number of digits\\ -% |#2|: result\\ -% |#3#4#5#6|: bits -% \begin{macrocode} -\def\BitSet@@GetHex#1!#2!#3#4#5#6{% - \ifx#6\BitSet@Empty - \BitSet@AfterFi{% - \expandafter\expandafter\expandafter\BitSet@GetOctHex - \IntCalcDec#1!!#2!34% - }% - \else - \BitSet@AfterFi{% - \expandafter\expandafter\expandafter\BitSet@@GetHex - \number\IntCalcInc#1!\expandafter\expandafter\expandafter!% - \csname BitSet@Hex#6#5#4#3\endcsname#2!% - }% - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@Hex[0000..1111]} -% \begin{macrocode} -\def\BitSet@Temp#1#2#3#4#5{% - \expandafter\def\csname BitSet@Hex#1#2#3#4\endcsname{#5}% -} -\BitSet@Temp00000% -\BitSet@Temp00011% -\BitSet@Temp00102% -\BitSet@Temp00113% -\BitSet@Temp01004% -\BitSet@Temp01015% -\BitSet@Temp01106% -\BitSet@Temp01117% -\BitSet@Temp10008% -\BitSet@Temp10019% -\BitSet@Temp1010A% -\BitSet@Temp1011B% -\BitSet@Temp1100C% -\BitSet@Temp1101D% -\BitSet@Temp1110E% -\BitSet@Temp1111F% -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@GetOctHex} -% Leading zeros $ (|#4| - |#1| * 3 + 2)/3 $ if $ |#4| > |#1| * 3$\\ -% |#1|: digit size\\ -% |#2|: result\\ -% |#3|: bits per digit - 1\\ -% |#4|: bits per digit -% |#5|: garbage\\ -% |#6|: min size -% \begin{macrocode} -\def\BitSet@GetOctHex#1!#2!#3#4#5!#6{% - \expandafter\BitSet@@GetOctHex - \number\intcalcNum{#6}\expandafter\expandafter\expandafter!% - \IntCalcMul#1!#4!!#3#4#2% -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@@GetOctHex} -% |#1|: plain min size\\ -% |#2|: digits * (bits per digit)\\ -% |#3|: bits per digit - 1\\ -% |#4|: bits per digit -% \begin{macrocode} -\def\BitSet@@GetOctHex#1!#2!#3#4{% - \ifnum#1>#2 % - \BitSet@AfterFi{% - \expandafter\expandafter\expandafter\expandafter - \expandafter\expandafter\expandafter\BitSet@Fill - \expandafter\IntCalcDiv\number - \expandafter\expandafter\expandafter\IntCalcAdd - \IntCalcSub#1!#2!!#3!!#4!!% - }% - \else - \BitSet@AfterFi{ }% - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% -% \subsubsection{To decimal number} -% -% \begin{macro}{\bitsetGetDec} -% \begin{macrocode} -\def\bitsetGetDec#1{% - \romannumeral0% - \BitSet@IfUndefined{#1}{ 0}{% - \expandafter\expandafter\expandafter\BitSet@GetDec - \csname BS@#1\endcsname!% - }% -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@GetDec} -% \begin{macrocode} -\def\BitSet@GetDec#1#2!{% - \ifx\\#2\\% - \BitSet@AfterFi{ #1}% - \else - \BitSet@AfterFi{% - \BitSet@@GetDec2!#1!#2!% - }% - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@@GetDec} -% |#1|: power of two\\ -% |#2|: result\\ -% |#3#4|: number -% \begin{macrocode} -\def\BitSet@@GetDec#1!#2!#3#4!{% - \ifx\\#4\\% - \ifx#31% - \BitSet@AfterFiFi{% - \expandafter\expandafter\expandafter\BitSet@Space - \IntCalcAdd#1!#2!% - }% - \else - \BitSet@AfterFiFi{ #2}% - \fi - \else - \ifx#31% - \BitSet@AfterFiFi{% - \csname BitSet@N#1% - \expandafter\expandafter\expandafter\endcsname - \IntCalcAdd#1!#2!!#4!% - }% - \else - \BitSet@AfterFiFi{% - \csname BitSet@N#1\endcsname#2!#4!% - }% - \fi - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@N[1,2,4,...]} -% \begin{macrocode} -\def\BitSet@Temp#1#2{% - \expandafter\def\csname BitSet@N#1\endcsname{% - \BitSet@@GetDec#2!% - }% -} -\BitSet@Temp{1}{2} -\BitSet@Temp{2}{4} -\BitSet@Temp{4}{8} -\BitSet@Temp{8}{16} -\BitSet@Temp{16}{32} -\BitSet@Temp{32}{64} -\BitSet@Temp{64}{128} -\BitSet@Temp{128}{256} -\BitSet@Temp{256}{512} -\BitSet@Temp{512}{1024} -\BitSet@Temp{1024}{2048} -\BitSet@Temp{2048}{4096} -\BitSet@Temp{4096}{8192} -\BitSet@Temp{8192}{16384} -\BitSet@Temp{16384}{32768} -\BitSet@Temp{32768}{65536} -\BitSet@Temp{65536}{131072} -\BitSet@Temp{131072}{262144} -\BitSet@Temp{262144}{524288} -\BitSet@Temp{524288}{1048576} -\BitSet@Temp{1048576}{2097152} -\BitSet@Temp{2097152}{4194304} -\BitSet@Temp{4194304}{8388608} -\BitSet@Temp{8388608}{16777216} -\BitSet@Temp{16777216}{33554432} -\BitSet@Temp{33554432}{67108864} -\BitSet@Temp{67108864}{134217728} -\BitSet@Temp{134217728}{268435456} -\BitSet@Temp{268435456}{536870912} -\BitSet@Temp{536870912}{1073741824} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@N1073741824} -% \begin{macrocode} -\expandafter\def\csname BitSet@N1073741824\endcsname{% - \BitSet@GetDecBig2147483648!% -}% -% \end{macrocode} -% \end{macro} -% -% \begin{macro}{\BitSet@GetDecBig} -% |#1|: current power of two\\ -% |#2|: result\\ -% |#3#4|: number -% \begin{macrocode} -\def\BitSet@GetDecBig#1!#2!#3#4!{% - \ifx\\#4\\% - \ifx#31% - \BitSet@AfterFiFi{% - \expandafter\expandafter\expandafter\BitSet@Space - \BigIntCalcAdd#1!#2!% - }% - \else - \BitSet@AfterFiFi{ #2}% - \fi - \else - \ifx#31% - \BitSet@AfterFiFi{% - \expandafter\expandafter\expandafter\BitSet@@GetDecBig - \BigIntCalcAdd#1!#2!!#1!#4!% - }% - \else - \BitSet@AfterFiFi{% - \expandafter\expandafter\expandafter\BitSet@GetDecBig - \BigIntCalcShl#1!!#2!#4!% - }% - \fi - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@@GetDecBig} -% |#1|: result\\ -% |#2|: power of two\\ -% |#3#4|: number -% \begin{macrocode} -\def\BitSet@@GetDecBig#1!#2!{% - \expandafter\expandafter\expandafter\BitSet@GetDecBig - \BigIntCalcShl#2!!#1!% -} -% \end{macrocode} -% \end{macro} -% -% \subsection{Logical operators}\label{src:log} -% -% \subsubsection{\cs{bitsetAnd}} -% -% \begin{macro}{\bitsetAnd} -% Decision table for \cs{bitsetAnd}: -% \begin{quote} -% \begin{tabular}{l|l|l|l|} -% & undef(B) & empty(B) & cardinality(B)$>$0\\ -% \hline -% undef(A) & A := empty & A := empty & A := empty\\ -% \hline -% empty(A) & & &\\ -% \hline -% cardinality(A)$>$0 & A := empty & A := empty & A \&= B\\ -% \hline -% \end{tabular} -% \end{quote} -% \begin{macrocode} -\def\bitsetAnd#1#2{% - \bitsetIsEmpty{#1}{% - \bitsetReset{#1}% - }{% - \bitsetIsEmpty{#2}{% - \bitsetReset{#1}% - }{% - \expandafter\edef\csname BS@#1\endcsname{% - \expandafter\expandafter\expandafter\BitSet@And - \csname BS@#1\expandafter\expandafter\expandafter\endcsname - \expandafter\expandafter\expandafter!% - \csname BS@#2\endcsname!!% - }% - \expandafter\ifx\csname BS@#1\endcsname\BitSet@Empty - \bitsetReset{#1}% - \fi - }% - }% -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@And} -% \begin{macrocode} -\def\BitSet@And#1#2!#3#4!#5!{% - \ifx\\#2\\% - \ifnum#1#3=11 #51\fi - \else - \ifx\\#4\\% - \ifnum#1#3=11 #51\fi - \else - \ifnum#1#3=11 % - #51% - \BitSet@AfterFiFiFi{% - \BitSet@And#2!#4!!% - }% - \else - \BitSet@AfterFiFiFi{% - \BitSet@And#2!#4!#50!% - }% - \fi - \fi - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% -% \subsubsection{\cs{bitsetAndNot}} -% -% \begin{macro}{\bitsetAndNot} -% Decision table for \cs{bitsetAndNot}: -% \begin{quote} -% \begin{tabular}{l|l|l|l|} -% & undef(B) & empty(B) & cardinality(B)$>$0\\ -% \hline -% undef(A) & A := empty & A := empty & A := empty\\ -% \hline -% empty(A) & & &\\ -% \hline -% cardinality(A)$>$0 & & & A \&= !B\\ -% \hline -% \end{tabular} -% \end{quote} -% \begin{macrocode} -\def\bitsetAndNot#1#2{% - \bitsetIsEmpty{#1}{% - \bitsetReset{#1}% - }{% - \bitsetIsEmpty{#2}{% - }{% - \expandafter\edef\csname BS@#1\endcsname{% - \expandafter\expandafter\expandafter\BitSet@AndNot - \csname BS@#1\expandafter\expandafter\expandafter\endcsname - \expandafter\expandafter\expandafter!% - \csname BS@#2\endcsname!!% - }% - \expandafter\ifx\csname BS@#1\endcsname\BitSet@Empty - \bitsetReset{#1}% - \fi - }% - }% -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@AndNot} -% \begin{macrocode} -\def\BitSet@AndNot#1#2!#3#4!#5!{% - \ifx\\#2\\% - \ifnum#1#3=10 #51\fi - \else - \ifx\\#4\\% - #5% - \ifnum#1#3=10 1\else 0\fi - #2% - \else - \ifnum#1#3=10 % - #51% - \BitSet@AfterFiFiFi{% - \BitSet@AndNot#2!#4!!% - }% - \else - \BitSet@AfterFiFiFi{% - \BitSet@AndNot#2!#4!#50!% - }% - \fi - \fi - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% -% \subsubsection{\cs{bitsetOr}} -% -% \begin{macro}{\bitsetOr} -% Decision table for \cs{bitsetOr}: -% \begin{quote} -% \begin{tabular}{l|l|l|l|} -% & undef(B) & empty(B) & cardinality(B)$>$0\\ -% \hline -% undef(A) & A := empty & A := empty & A := B\\ -% \hline -% empty(A) & & & A := B\\ -% \hline -% cardinality(A)$>$0 & & & A \string|= B\\ -% \hline -% \end{tabular} -% \end{quote} -% \begin{macrocode} -\def\bitsetOr#1#2{% - \bitsetIsEmpty{#2}{% - \BitSet@IfUndefined{#1}{\bitsetReset{#1}}{}% - }{% - \bitsetIsEmpty{#1}{% - \expandafter\let\csname BS@#1\expandafter\endcsname - \csname BS@#2\endcsname - }{% - \expandafter\edef\csname BS@#1\endcsname{% - \expandafter\expandafter\expandafter\BitSet@Or - \csname BS@#1\expandafter\expandafter\expandafter\endcsname - \expandafter\expandafter\expandafter!% - \csname BS@#2\endcsname!% - }% - }% - }% -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@Or} -% \begin{macrocode} -\def\BitSet@Or#1#2!#3#4!{% - \ifnum#1#3>0 1\else 0\fi - \ifx\\#2\\% - #4% - \else - \ifx\\#4\\% - #2% - \else - \BitSet@AfterFiFi{% - \BitSet@Or#2!#4!% - }% - \fi - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% -% \subsubsection{\cs{bitsetXor}} -% -% \begin{macro}{\bitsetXor} -% Decision table for \cs{bitsetXor}: -% \begin{quote} -% \begin{tabular}{l|l|l|l|} -% & undef(B) & empty(B) & cardinality(B)$>$0\\ -% \hline -% undef(A) & A := empty & A := empty & A := B\\ -% \hline -% empty(A) & & & A := B\\ -% \hline -% cardinality(A)$>$0 & & & A \string^= B\\ -% \hline -% \end{tabular} -% \end{quote} -% \begin{macrocode} -\def\bitsetXor#1#2{% - \bitsetIsEmpty{#2}{% - \BitSet@IfUndefined{#1}{\bitsetReset{#1}}{}% - }{% - \bitsetIsEmpty{#1}{% - \expandafter\let\csname BS@#1\expandafter\endcsname - \csname BS@#2\endcsname - }{% - \expandafter\edef\csname BS@#1\endcsname{% - \expandafter\expandafter\expandafter\BitSet@Xor - \csname BS@#1\expandafter\expandafter\expandafter\endcsname - \expandafter\expandafter\expandafter!% - \csname BS@#2\endcsname!!% - }% - \expandafter\ifx\csname BS@#1\endcsname\BitSet@Empty - \bitsetReset{#1}% - \fi - }% - }% -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@Xor} -% \begin{macrocode} -\def\BitSet@Xor#1#2!#3#4!#5!{% - \ifx\\#2\\% - \ifx#1#3% - \ifx\\#4\\% - \else - #50#4% - \fi - \else - #51#4% - \fi - \else - \ifx\\#4\\% - #5% - \ifx#1#30\else 1\fi - #2% - \else - \ifx#1#3% - \BitSet@AfterFiFiFi{% - \BitSet@Xor#2!#4!#50!% - }% - \else - #51% - \BitSet@AfterFiFiFi{% - \BitSet@Xor#2!#4!!% - }% - \fi - \fi - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% -% \subsubsection{Shifting}\label{src:shift} -% -% \subsubsection{\cs{bitsetShiftLeft}} -% -% \begin{macro}{\bitsetShiftLeft} -% \begin{macrocode} -\def\bitsetShiftLeft#1#2{% - \BitSet@IfUndefined{#1}{% - \bitsetReset{#1}% - }{% - \bitsetIsEmpty{#1}{% - }{% - \expandafter\expandafter\expandafter\BitSet@ShiftLeft - \intcalcNum{#2}!{#1}% - }% - }% -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@ShiftLeft} -% \begin{macrocode} -\def\BitSet@ShiftLeft#1!#2{% - \ifcase\intcalcSgn{#1} % - \or - \begingroup - \uccode`m=`0 % - \uppercase\expandafter{\expandafter\endgroup - \expandafter\edef\csname BS@#2\expandafter\endcsname - \expandafter{% - \romannumeral#1000\expandafter\BitSet@Space - \csname BS@#2\endcsname - }% - }% - \else - \expandafter\BitSet@ShiftRight\BitSet@Gobble#1!{#2}% - \fi -} -% \end{macrocode} -% \end{macro} -% -% \subsubsection{\cs{bitsetShiftRight}} -% -% \begin{macro}{\bitsetShiftRight} -% \begin{macrocode} -\def\bitsetShiftRight#1#2{% - \BitSet@IfUndefined{#1}{% - \bitsetReset{#1}% - }{% - \bitsetIsEmpty{#1}{% - }{% - \expandafter\expandafter\expandafter\BitSet@ShiftRight - \intcalcNum{#2}!{#1}% - }% - }% -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@ShiftRight} -% \begin{macrocode} -\def\BitSet@ShiftRight#1!#2{% - \ifcase\intcalcSgn{#1} % - \or - \expandafter\edef\csname BS@#2\endcsname{% - \expandafter\expandafter\expandafter\BitSet@Kill - \csname BS@#2\expandafter\endcsname\expandafter\BitSet@Empty - \expandafter=% - \expandafter{\expandafter}\expandafter{\expandafter}% - \romannumeral#1000!% - }% - \else - \expandafter\BitSet@ShiftLeft\BitSet@Gobble#1!{#2}% - \fi -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@Kill} -% \begin{macrocode} -\def\BitSet@Kill#1#2=#3#4#5{% - #3#4% - \ifx#5!% - \ifx#1\BitSet@Empty - 0% - \else - #1#2% - \fi - \else - \ifx#1\BitSet@Empty - 0% - \BitSet@AfterFiFi\BitSet@Cleanup - \else - \BitSet@Kill#2=% - \fi - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% -% \subsection{Bit manipulation}\label{src:bitman} -% -% \begin{macro}{\bitsetClear} -% \begin{macrocode} -\def\bitsetClear{% - \BitSet@CheckIndex\BitSet@Clear -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\bitsetSet} -% \begin{macrocode} -\def\bitsetSet{% - \BitSet@CheckIndex\BitSet@Set -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\bitsetFlip} -% \begin{macrocode} -\def\bitsetFlip{% - \BitSet@CheckIndex\BitSet@Flip -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\bitsetSetValue} -% \begin{macrocode} -\def\bitsetSetValue#1#2#3{% - \expandafter\expandafter\expandafter\BitSet@SetValue - \intcalcNum{#3}!{#1}{#2}% -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@SetValue} -% |#1|: plain value\\ -% |#2|: BitSet\\ -% |#3|: Index -% \begin{macrocode} -\def\BitSet@SetValue#1!{% - \BitSet@CheckIndex{% - \ifcase#1 % - \expandafter\BitSet@Clear - \or - \expandafter\BitSet@Set - \else - \BitSet@ErrorInvalidBitValue{#1}% - \expandafter\expandafter\expandafter\BitSet@Gobble - \expandafter\BitSet@Gobble - \fi - }% -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@ErrorInvalidBitValue} -% |#1|: Wrong bit value -% \begin{macrocode} -\def\BitSet@ErrorInvalidBitValue#1{% - \@PackageError{bitset}{% - Invalid bit value (#1) not in range 0..1% - }\@ehc -} -% \end{macrocode} -% \end{macro} -% -% \subsubsection{Clear operation} -% -% \begin{macro}{\BitSet@Clear} -% |#1|: BitSet\\ -% |#2|: plain and checked index -% \begin{macrocode} -\def\BitSet@Clear#1#2{% - \edef\BitSet@Temp{% - \expandafter\expandafter\expandafter\BitSet@@Clear - \csname BS@#1\expandafter\endcsname - \expandafter\BitSet@Empty\expandafter=\expandafter!% - \romannumeral#2000!% - }% - \expandafter\let\csname BS@#1\expandafter\endcsname - \ifx\BitSet@Temp\BitSet@Empty - \BitSet@Zero - \else - \BitSet@Temp - \fi -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@@Clear} -% \begin{macrocode} -\def\BitSet@@Clear#1#2=#3!#4{% - \ifx#4!% - \ifx#1\BitSet@Empty - \else - \ifx\BitSet@Empty#2% - \else - #30#2% - \fi - \fi - \else - \ifx#1\BitSet@Empty - \BitSet@AfterFiFi\BitSet@Cleanup - \else - \ifx#10% - \BitSet@AfterFiFiFi{% - \BitSet@@Clear#2=#30!% - }% - \else - #31% - \BitSet@AfterFiFiFi{% - \BitSet@@Clear#2=!% - }% - \fi - \fi - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% -% \subsubsection{Set operation} -% -% \begin{macro}{\BitSet@Set} -% |#1|: BitSet\\ -% |#2|: plain and checked Index -% \begin{macrocode} -\def\BitSet@Set#1#2{% - \expandafter\edef\csname BS@#1\endcsname{% - \expandafter\expandafter\expandafter\BitSet@@Set - \csname BS@#1\expandafter\endcsname - \expandafter\BitSet@Empty\expandafter=% - \expandafter{\expandafter}\expandafter{\expandafter}% - \romannumeral#2000!% - }% -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@@Set} -% \begin{macrocode} -\def\BitSet@@Set#1#2=#3#4#5{% - #3#4% - \ifx#5!% - 1#2% - \else - \ifx#1\BitSet@Empty - 0% - \BitSet@AfterFiFi\BitSet@@@Set - \else - #1% - \BitSet@@Set#2=% - \fi - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@@@Set} -% \begin{macrocode} -\def\BitSet@@@Set#1{% - \ifx#1!% - 1% - \else - 0% - \expandafter\BitSet@@@Set - \fi -} -% \end{macrocode} -% \end{macro} -% -% \subsubsection{Flip operation} -% -% \begin{macro}{\BitSet@Flip} -% |#1|: BitSet\\ -% |#2|: plain and checked Index -% \begin{macrocode} -\def\BitSet@Flip#1#2{% - \edef\BitSet@Temp{% - \expandafter\expandafter\expandafter\BitSet@@Flip - \csname BS@#1\expandafter\endcsname - \expandafter\BitSet@Empty\expandafter=\expandafter!% - \romannumeral#2000!% - }% - \expandafter\let\csname BS@#1\expandafter\endcsname - \ifx\BitSet@Temp\BitSet@Empty - \BitSet@Zero - \else - \BitSet@Temp - \fi -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@@Flip} -% \begin{macrocode} -\def\BitSet@@Flip#1#2=#3!#4{% - \ifx#4!% - \ifx#11% - \ifx\BitSet@Empty#2% - \else - #30#2% - \fi - \else - #31#2% - \fi - \else - \ifx#1\BitSet@Empty - #30% - \BitSet@AfterFiFi\BitSet@@@Set - \else - \ifx#10% - \BitSet@AfterFiFiFi{% - \BitSet@@Flip#2=#30!% - }% - \else - #31% - \BitSet@AfterFiFiFi{% - \BitSet@@Flip#2=!% - }% - \fi - \fi - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% -% \subsubsection{Range operators} -% -% \begin{macro}{\bitsetClearRange} -% \begin{macrocode} -\def\bitsetClearRange{% - \BitSet@Range\BitSet@Clear -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\bitsetSetRange} -% \begin{macrocode} -\def\bitsetSetRange{% - \BitSet@Range\BitSet@Set -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\bitsetFlipRange} -% \begin{macrocode} -\def\bitsetFlipRange{% - \BitSet@Range\BitSet@Flip -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\bitsetSetValueRange} -% \begin{macrocode} -\def\bitsetSetValueRange#1#2#3#4{% - \expandafter\expandafter\expandafter\BitSet@SetValueRange - \intcalcNum{#4}!{#1}{#2}{#3}% -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@SetValueRange} -% \begin{macrocode} -\def\BitSet@SetValueRange#1!#2#3#4{% - \ifcase#1 % - \BitSet@Range\BitSet@Clear{#2}{#3}{#4}% - \or - \BitSet@Range\BitSet@Set{#2}{#3}{#4}% - \else - \BitSet@ErrorInvalidBitValue{#1}% - \fi -} -% \end{macrocode} -% \end{macro} -% -% \begin{macro}{\BitSet@Range} -% |#1|: clear/set/flip macro\\ -% |#2|: BitSet\\ -% |#3|: Index from\\ -% |#4|: Index to -% \begin{macrocode} -\def\BitSet@Range#1#2#3#4{% - \edef\BitSet@Temp{% - \noexpand\BitSet@@Range\noexpand#1{#2}% - \intcalcNum{#3}!\intcalcNum{#4}!% - }% - \BitSet@Temp -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@@Range} -% |#1|: clear/set/flip macro\\ -% |#2|: BitSet\\ -% |#3|: Index from\\ -% |#4|: Index to -% \begin{macrocode} -\def\BitSet@@Range#1#2#3!#4!{% - \ifnum#3<0 % - \BitSet@NegativeIndex#1{#2}#3!#4!0!#4!% - \else - \ifnum#4<0 % - \BitSet@NegativeIndex#1{#2}#3!#4!#3!0!% - \else - \ifcase\intcalcCmp{#3}{#4} % - \or - \@PackageError{bitset}{% - Wrong index numbers in range [#3..#4]\MessageBreak% hash-ok - for clear/set/flip on bit set `#2'.\MessageBreak - The lower index exceeds the upper index.\MessageBreak - Canceling the operation as error recovery% - }\@ehc - \else - \BitSet@@@Range#3!#4!#1{#2}% - \fi - \fi - \fi -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@NegativeIndex} -% \begin{macrocode} -\def\BitSet@NegativeIndex#1#2#3!#4!#5!#6!{% - \@PackageError{bitset}{% - Negative index in range [#3..#4]\MessageBreak % hash-ok - for \string\bitset - \ifx#1\BitSet@Clear - Clear% - \else - \ifx#1\BitSet@Set - Set% - \else - Flip% - \fi - \fi - Range on bit set `#2'.\MessageBreak - Using [#5..#6] as error recovery% hash-ok - }\@ehc - \BitSet@@Range#1{#2}#5!#6!% -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@@Range} -% \begin{macrocode} -\def\BitSet@@@Range#1!#2!#3#4{% - \ifnum#1<#2 % - #3{#4}{#1}% - \BitSet@AfterFi{% - \expandafter\expandafter\expandafter\BitSet@@@Range - \IntCalcInc#1!!#2!#3{#4}% - }% - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% -% \subsection{Bit retrieval}\label{src:bitret} -% -% \subsubsection{\cs{bitsetGet}} -% -% \begin{macro}{\bitsetGet} -% \begin{macrocode} -\def\bitsetGet#1#2{% - \number - \expandafter\expandafter\expandafter\BitSet@Get - \intcalcNum{#2}!{#1}% -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@Get} -% |#1|: plain index\\ -% |#2|: BitSet -% \begin{macrocode} -\def\BitSet@Get#1!#2{% - \ifnum#1<0 % - \BitSet@AfterFi{% - 0 \BitSetError:NegativeIndex% - }% - \else - \BitSet@IfUndefined{#2}{0}{% - \expandafter\expandafter\expandafter\BitSet@@Get - \csname BS@#2\expandafter\endcsname - \expandafter!\expandafter=% - \expandafter{\expandafter}\expandafter{\expandafter}% - \romannumeral\intcalcNum{#1}000!% - }% - \expandafter\BitSet@Space - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@@Get} -% \begin{macrocode} -\def\BitSet@@Get#1#2=#3#4#5{% - #3#4% - \ifx#5!% - \ifx#1!% - 0% - \else - #1% - \fi - \else - \ifx#1!% - 0% - \BitSet@AfterFiFi\BitSet@Cleanup - \else - \BitSet@@Get#2=% - \fi - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% -% \subsubsection{\cs{bitsetNextClearBit}, \cs{bitsetNextSetBit}} -% -% \begin{macro}{\bitsetNextClearBit} -% \begin{macrocode} -\def\bitsetNextClearBit#1#2{% - \number - \expandafter\expandafter\expandafter\BitSet@NextClearBit - \intcalcNum{#2}!{#1} % -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@NextClearBit} -% |#1|: Index\\ -% |#2|: BitSet -% \begin{macrocode} -\def\BitSet@NextClearBit#1!#2{% - \ifnum#1<0 % - \BitSet@NextClearBit0!{#2}% - \BitSet@AfterFi{% - \expandafter\BitSet@Space - \expandafter\BitSetError:NegativeIndex\romannumeral0% - }% - \else - \bitsetIsEmpty{#2}{#1}{% - \expandafter\BitSet@Skip - \number#1\expandafter\expandafter\expandafter!% - \csname BS@#2\endcsname!!!!!!!!!=% - {\BitSet@@NextClearBit#1!}% - }% - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@@NextClearBit} -% |#1|: index for next bit in |#2|\\ -% |#2|: next bit -% \begin{macrocode} -\def\BitSet@@NextClearBit#1!#2{% - \ifx#2!% - #1% - \else - \ifx#20% - #1% - \BitSet@AfterFiFi\BitSet@Cleanup - \else - \BitSet@AfterFiFi{% - \expandafter\expandafter\expandafter\BitSet@@NextClearBit - \IntCalcInc#1!!% - }% - \fi - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% -% \begin{macro}{\bitsetNextSetBit} -% \begin{macrocode} -\def\bitsetNextSetBit#1#2{% - \number - \expandafter\expandafter\expandafter\BitSet@NextSetBit - \intcalcNum{#2}!{#1} % -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@NextSetBit} -% |#1|: Index\\ -% |#2|: BitSet -% \begin{macrocode} -\def\BitSet@NextSetBit#1!#2{% - \ifnum#1<0 % - \BitSet@NextSetBit0!{#2}% - \BitSet@AfterFi{% - \expandafter\BitSet@Space - \expandafter\BitSetError:NegativeIndex\romannumeral0% - }% - \else - \bitsetIsEmpty{#2}{-1}{% - \expandafter\BitSet@Skip - \number#1\expandafter\expandafter\expandafter!% - \csname BS@#2\endcsname!!!!!!!!!=% - {\BitSet@@NextSetBit#1!}% - }% - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@@NextSetBit} -% |#1|: index for next bit in |#2|\\ -% |#2|: next bit -% \begin{macrocode} -\def\BitSet@@NextSetBit#1!#2{% - \ifx#2!% - -1% - \else - \ifx#21% - #1% - \BitSet@AfterFiFi\BitSet@Cleanup - \else - \BitSet@AfterFiFi{% - \expandafter\expandafter\expandafter\BitSet@@NextSetBit - \IntCalcInc#1!!% - }% - \fi - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@Cleanup} -% \begin{macrocode} -\def\BitSet@Cleanup#1!{} -% \end{macrocode} -% \end{macro} -% -% \begin{macro}{\BitSet@Skip} -% |#1|: number of bits to skip\\ -% |#2|: bits\\ -% |#3|: continuation code -% \begin{macrocode} -\def\BitSet@Skip#1!#2{% - \ifx#2!% - \BitSet@AfterFi{% - \BitSet@SkipContinue% - }% - \else - \ifcase#1 % - \BitSet@AfterFiFi{% - \BitSet@SkipContinue#2% - }% - \or - \BitSet@AfterFiFi\BitSet@SkipContinue - \or - \BitSet@AfterFiFi{% - \expandafter\BitSet@SkipContinue\BitSet@Gobble - }% - \else - \ifnum#1>8 % - \BitSet@AfterFiFiFi{% - \expandafter\BitSet@Skip - \number\IntCalcSub#1!8!\expandafter!% - \BitSet@GobbleSeven - }% - \else - \BitSet@AfterFiFiFi{% - \expandafter\expandafter\expandafter\BitSet@Skip - \IntCalcDec#1!!% - }% - \fi - \fi - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@SkipContinue} -% |#1|: remaining bits\\ -% |#2|: continuation code -% \begin{macrocode} -\def\BitSet@SkipContinue#1!#2=#3{% - #3#1!% -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@GobbleSeven} -% \begin{macrocode} -\def\BitSet@GobbleSeven#1#2#3#4#5#6#7{} -% \end{macrocode} -% \end{macro} -% -% \subsubsection{\cs{bitsetGetSetBitList}} -% -% \begin{macro}{\bitsetGetSetBitList} -% It's just a wrapper for \cs{bitsetNextSetBit}. -% \begin{macrocode} -\def\bitsetGetSetBitList#1{% - \romannumeral0% - \bitsetIsEmpty{#1}{ }{% - \expandafter\BitSet@GetSetBitList - \number\BitSet@NextSetBit0!{#1}!{#1}{}!% - }% -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@GetSetBitList} -% |#1|: found index\\ -% |#2|: BitSet\\ -% |#3|: comma -% |#4|: result -% \begin{macrocode} -\def\BitSet@GetSetBitList#1!#2#3#4!{% - \ifnum#1<0 % - \BitSet@AfterFi{ #4}% - \else - \BitSet@AfterFi{% - \expandafter\BitSet@GetSetBitList\number - \expandafter\expandafter\expandafter\BitSet@NextSetBit - \IntCalcInc#1!!{#2}!{#2},#4#3#1!% - }% - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% -% \subsection{Bit set properties}\label{src:prop} -% -% \begin{macro}{\bitsetSize} -% \begin{macrocode} -\def\bitsetSize#1{% - \number - \BitSet@IfUndefined{#1}{0 }{% - \expandafter\expandafter\expandafter\BitSet@Size - \expandafter\expandafter\expandafter1% - \expandafter\expandafter\expandafter!% - \csname BS@#1\endcsname!0!% - }% -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@Size} -% |#1|: counter\\ -% |#2#3|: bits\\ -% |#4|: result -% \begin{macrocode} -\def\BitSet@Size#1!#2#3!#4!{% - \ifx#21% - \ifx\\#3\\% - \BitSet@AfterFiFi{#1 }% - \else - \BitSet@AfterFiFi{% - \expandafter\expandafter\expandafter\BitSet@Size - \IntCalcInc#1!!#3!#1!% - }% - \fi - \else - \ifx\\#3\\% - \BitSet@AfterFiFi{#4 }% - \else - \BitSet@AfterFiFi{% - \expandafter\expandafter\expandafter\BitSet@Size - \IntCalcInc#1!!#3!#4!% - }% - \fi - \fi - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% -% \begin{macro}{\bitsetCardinality} -% \begin{macrocode} -\def\bitsetCardinality#1{% - \number - \BitSet@IfUndefined{#1}{0 }{% - \expandafter\expandafter\expandafter\BitSet@Cardinality - \expandafter\expandafter\expandafter0% - \expandafter\expandafter\expandafter!% - \csname BS@#1\endcsname!% - }% -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@Cardinality} -% |#1|: result\\ -% |#2#3|: bits -% \begin{macrocode} -\def\BitSet@Cardinality#1!#2#3!{% - \ifx#21% - \ifx\\#3\\% - \BitSet@AfterFiFi{\IntCalcInc#1! }% - \else - \BitSet@AfterFiFi{% - \expandafter\expandafter\expandafter\BitSet@Cardinality - \IntCalcInc#1!!#3!% - }% - \fi - \else - \ifx\\#3\\% - \BitSet@AfterFiFi{#1 }% - \else - \BitSet@AfterFiFi{% - \BitSet@Cardinality#1!#3!% - }% - \fi - \fi - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% -% \subsection{Queries}\label{src:query} -% -% \begin{macro}{\bitsetIsDefined} -% \begin{macrocode} -\def\bitsetIsDefined#1{% - \BitSet@IfUndefined{#1}% - \BitSet@SecondOfTwo - \BitSet@FirstOfTwo -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\bitsetIsEmpty} -% \begin{macrocode} -\def\bitsetIsEmpty#1{% - \BitSet@IfUndefined{#1}\BitSet@FirstOfTwo{% - \expandafter\ifx\csname BS@#1\endcsname\BitSet@Zero - \expandafter\BitSet@FirstOfTwo - \else - \expandafter\BitSet@SecondOfTwo - \fi - }% -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@Zero} -% \begin{macrocode} -\def\BitSet@Zero{0} -% \end{macrocode} -% \end{macro} -% -% \begin{macro}{\bitsetQuery} -% \begin{macrocode} -\def\bitsetQuery#1#2{% - \ifnum\bitsetGet{#1}{#2}=1 % - \expandafter\BitSet@FirstOfTwo - \else - \expandafter\BitSet@SecondOfTwo - \fi -} -% \end{macrocode} -% \end{macro} -% -% \begin{macro}{\bitsetEquals} -% \begin{macrocode} -\def\bitsetEquals#1#2{% - \BitSet@IfUndefined{#1}{% - \BitSet@IfUndefined{#2}\BitSet@FirstOfTwo\BitSet@SecondOfTwo - }{% - \BitSet@IfUndefined{#2}\BitSet@SecondOfTwo{% - \expandafter\ifx\csname BS@#1\expandafter\endcsname - \csname BS@#2\endcsname - \expandafter\BitSet@FirstOfTwo - \else - \expandafter\BitSet@SecondOfTwo - \fi - }% - }% -} -% \end{macrocode} -% \end{macro} -% -% \begin{macro}{\bitsetIntersects} -% \begin{macrocode} -\def\bitsetIntersects#1#2{% - \bitsetIsEmpty{#1}\BitSet@SecondOfTwo{% - \bitsetIsEmpty{#2}\BitSet@SecondOfTwo{% - \expandafter\expandafter\expandafter\BitSet@Intersects - \csname BS@#1\expandafter\expandafter\expandafter\endcsname - \expandafter\expandafter\expandafter!% - \csname BS@#2\endcsname!% - }% - }% -} -% \end{macrocode} -% \end{macro} -% \begin{macro}{\BitSet@Intersects} -% \begin{macrocode} -\def\BitSet@Intersects#1#2!#3#4!{% - \ifnum#1#3=11 % - \BitSet@AfterFi\BitSet@FirstOfTwo - \else - \ifx\\#2\\% - \BitSet@AfterFiFi\BitSet@SecondOfTwo - \else - \ifx\\#4\\% - \BitSet@AfterFiFiFi\BitSet@SecondOfTwo - \else - \BitSet@AfterFiFiFi{% - \BitSet@Intersects#2!#4!% - }% - \fi - \fi - \BitSet@Fi -} -% \end{macrocode} -% \end{macro} -% -% \begin{macrocode} -\BitSet@AtEnd% -%</package> -% \end{macrocode} -%% \section{Installation} -% -% \subsection{Download} -% -% \paragraph{Package.} This package is available on -% CTAN\footnote{\CTANpkg{bitset}}: -% \begin{description} -% \item[\CTAN{macros/latex/contrib/oberdiek/bitset.dtx}] The source file. -% \item[\CTAN{macros/latex/contrib/oberdiek/bitset.pdf}] Documentation. -% \end{description} -% -% -% \paragraph{Bundle.} All the packages of the bundle `oberdiek' -% are also available in a TDS compliant ZIP archive. There -% the packages are already unpacked and the documentation files -% are generated. The files and directories obey the TDS standard. -% \begin{description} -% \item[\CTANinstall{install/macros/latex/contrib/oberdiek.tds.zip}] -% \end{description} -% \emph{TDS} refers to the standard ``A Directory Structure -% for \TeX\ Files'' (\CTANpkg{tds}). Directories -% with \xfile{texmf} in their name are usually organized this way. -% -% \subsection{Bundle installation} -% -% \paragraph{Unpacking.} Unpack the \xfile{oberdiek.tds.zip} in the -% TDS tree (also known as \xfile{texmf} tree) of your choice. -% Example (linux): -% \begin{quote} -% |unzip oberdiek.tds.zip -d ~/texmf| -% \end{quote} -% -% \subsection{Package installation} -% -% \paragraph{Unpacking.} The \xfile{.dtx} file is a self-extracting -% \docstrip\ archive. The files are extracted by running the -% \xfile{.dtx} through \plainTeX: -% \begin{quote} -% \verb|tex bitset.dtx| -% \end{quote} -% -% \paragraph{TDS.} Now the different files must be moved into -% the different directories in your installation TDS tree -% (also known as \xfile{texmf} tree): -% \begin{quote} -% \def\t{^^A -% \begin{tabular}{@{}>{\ttfamily}l@{ $\rightarrow$ }>{\ttfamily}l@{}} -% bitset.sty & tex/generic/oberdiek/bitset.sty\\ -% bitset.pdf & doc/latex/oberdiek/bitset.pdf\\ -% bitset.dtx & source/latex/oberdiek/bitset.dtx\\ -% \end{tabular}^^A -% }^^A -% \sbox0{\t}^^A -% \ifdim\wd0>\linewidth -% \begingroup -% \advance\linewidth by\leftmargin -% \advance\linewidth by\rightmargin -% \edef\x{\endgroup -% \def\noexpand\lw{\the\linewidth}^^A -% }\x -% \def\lwbox{^^A -% \leavevmode -% \hbox to \linewidth{^^A -% \kern-\leftmargin\relax -% \hss -% \usebox0 -% \hss -% \kern-\rightmargin\relax -% }^^A -% }^^A -% \ifdim\wd0>\lw -% \sbox0{\small\t}^^A -% \ifdim\wd0>\linewidth -% \ifdim\wd0>\lw -% \sbox0{\footnotesize\t}^^A -% \ifdim\wd0>\linewidth -% \ifdim\wd0>\lw -% \sbox0{\scriptsize\t}^^A -% \ifdim\wd0>\linewidth -% \ifdim\wd0>\lw -% \sbox0{\tiny\t}^^A -% \ifdim\wd0>\linewidth -% \lwbox -% \else -% \usebox0 -% \fi -% \else -% \lwbox -% \fi -% \else -% \usebox0 -% \fi -% \else -% \lwbox -% \fi -% \else -% \usebox0 -% \fi -% \else -% \lwbox -% \fi -% \else -% \usebox0 -% \fi -% \else -% \lwbox -% \fi -% \else -% \usebox0 -% \fi -% \end{quote} -% If you have a \xfile{docstrip.cfg} that configures and enables \docstrip's -% TDS installing feature, then some files can already be in the right -% place, see the documentation of \docstrip. -% -% \subsection{Refresh file name databases} -% -% If your \TeX~distribution -% (\TeX\,Live, \mikTeX, \dots) relies on file name databases, you must refresh -% these. For example, \TeX\,Live\ users run \verb|texhash| or -% \verb|mktexlsr|. -% -% \subsection{Some details for the interested} -% -% \paragraph{Unpacking with \LaTeX.} -% The \xfile{.dtx} chooses its action depending on the format: -% \begin{description} -% \item[\plainTeX:] Run \docstrip\ and extract the files. -% \item[\LaTeX:] Generate the documentation. -% \end{description} -% If you insist on using \LaTeX\ for \docstrip\ (really, -% \docstrip\ does not need \LaTeX), then inform the autodetect routine -% about your intention: -% \begin{quote} -% \verb|latex \let\install=y\input{bitset.dtx}| -% \end{quote} -% Do not forget to quote the argument according to the demands -% of your shell. -% -% \paragraph{Generating the documentation.} -% You can use both the \xfile{.dtx} or the \xfile{.drv} to generate -% the documentation. The process can be configured by the -% configuration file \xfile{ltxdoc.cfg}. For instance, put this -% line into this file, if you want to have A4 as paper format: -% \begin{quote} -% \verb|\PassOptionsToClass{a4paper}{article}| -% \end{quote} -% An example follows how to generate the -% documentation with pdf\LaTeX: -% \begin{quote} -%\begin{verbatim} -%pdflatex bitset.dtx -%makeindex -s gind.ist bitset.idx -%pdflatex bitset.dtx -%makeindex -s gind.ist bitset.idx -%pdflatex bitset.dtx -%\end{verbatim} -% \end{quote} -% -% \begin{History} -% \begin{Version}{2007/09/28 v1.0} -% \item -% First version. -% \end{Version} -% \begin{Version}{2011/01/30 v1.1} -% \item -% Already loaded package files are not input in \hologo{plainTeX}. -% \end{Version} -% \begin{Version}{2016/05/16 v1.2} -% \item -% Documentation updates. -% \end{Version} -% \end{History} -% -% \PrintIndex -% -% \Finale -\endinput |