Différences
Ci-dessous, les différences entre deux révisions de la page.
Prochaine révision | Révision précédente | ||
composition:tableaux:colonnes:fixer_la_largeur_et_justifier_une_colonne [2002/09/07 17:48] – créée markey | 2_composition:tableaux:colonnes:fixer_la_largeur_et_justifier_une_colonne [2020/12/21 19:18] (Version actuelle) – Renommage des sections de base: correction des liens internes. jejust | ||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
- | \question{Comment passer | + | ====== |
- | \reponse Les commandes \cmd{raggedleft} et \cmd{raggedright} red\' | ||
- | \cmd{\char92}. Si on utilise ces commandes (ou au moins leur d\' | ||
- | \cmd{\char92}) dans un tableau, la commande | ||
- | \cmd{\char92} n' | ||
- | passage \`a la ligne dans la cellule. La commande \cmd{tabularnewline}, | ||
- | est \' | ||
- | celle-ci pour indiquer la fin d'une ligne du tableau. Voir | ||
- | l' | ||
- | \DeleteShortVerb{\|} | + | $\Reponse$ |
- | \begin{exemple}{Passer | + | dispose de toutes les commandes usuelles de retour à la ligne, sauf évidemment |
+ | de '' | ||
+ | Selon l' | ||
+ | classique | ||
+ | |||
+ | |||
+ | $\Reponse$ | ||
+ | plus d'une ligne. Si l'on tient à la mise en forme (justification, | ||
+ | centrage, ...), il faut utiliser une colonne de type '' | ||
+ | introduira la commande de formattage désirée. | ||
+ | Le problème est alors que les commandes '' | ||
+ | et '' | ||
+ | | ||
+ | (ou au moins leur définition de '' | ||
+ | '' | ||
+ | passage à la ligne dans la cellule. La commande '' | ||
+ | est équivalente à '' | ||
+ | celle-ci pour indiquer la fin d'une ligne du tableau. | ||
+ | |||
+ | En combinant tout ceci avec le package [[ctanpkg> | ||
+ | dans la définition d'une colonne une commande qui sera systématique appliquée | ||
+ | au contenu de chacune des cellules de cette colonne (même technique que | ||
+ | [[3_composition: | ||
+ | on peut écrire ceci: | ||
+ | |||
+ | <code latex> | ||
\makeatletter | \makeatletter | ||
- | \newcommand\justify{\let\\\@centercr\rightskip\z@skip | + | \newcommand\justify{% |
+ | | ||
+ | | ||
\leftskip\z@skip} | \leftskip\z@skip} | ||
\makeatother | \makeatother | ||
Ligne 19: | Ligne 38: | ||
\begin{tabular}{|l> | \begin{tabular}{|l> | ||
\hline | \hline | ||
- | LTL & Logique du temps lin\' | + | LTL & Logique du temps linéaire |
- | d' | + | |
- | syst\`eme. \\ | + | exécution |
- | Le model checking et la satisfaisabilit\' | + | Le model checking et la satisfaisabilité |
- | PSPACE-complets. \tabularnewline[3mm] | + | |
- | CTL & Logique du temps arborescent : cette logique exprime | + | |
- | des propri\' | + | CTL & Logique du temps arborescent : cette logique |
- | possibles. \\ | + | |
- | Le model checking est P-complet, mais la satisfaisabilit\' | + | |
- | est EXPTIME-compl\`ete. \tabularnewline | + | Le model checking est P-complet, mais la |
+ | | ||
+ | | ||
\hline | \hline | ||
\end{tabular} | \end{tabular} | ||
\end{center} | \end{center} | ||
- | \end{exemple} | + | </ |
- | \MakeShortVerb{\|} | + | |
+ | qui donne après compilation: | ||
+ | |||
+ | < | ||
+ | \documentclass[french]{article} | ||
+ | \usepackage{lmodern} | ||
+ | \usepackage{array} | ||
+ | \usepackage{babel} | ||
+ | |||
+ | \makeatletter | ||
+ | \newcommand\justify{% | ||
+ | \let\\\@centercr | ||
+ | \rightskip\z@skip | ||
+ | \leftskip\z@skip} | ||
+ | \makeatother | ||
+ | |||
+ | \begin{document} | ||
+ | \thispagestyle{empty} | ||
+ | |||
+ | \begin{tabular}{|l> | ||
+ | \hline | ||
+ | LTL & Logique du temps linéaire : cette logique | ||
+ | permet d' | ||
+ | exécution du système. \\ | ||
+ | Le model checking et la satisfaisabilité | ||
+ | sont alors PSPACE-complets. | ||
+ | \tabularnewline[3mm] | ||
+ | CTL & Logique du temps arborescent : cette logique | ||
+ | exprime des propriétés sur l' | ||
+ | toutes les exécutions possibles. \\ | ||
+ | Le model checking est P-complet, mais la | ||
+ | satisfaisabilité est EXPTIME-complète. | ||
+ | \tabularnewline | ||
+ | \hline | ||
+ | \end{tabular} | ||
+ | \end{document} | ||
+ | </ | ||
+ | |||
+ | |||
+ | {{htmlmetatags> | ||
+ | metatag-og: | ||
+ | metatag-og: | ||
+ | }} | ||