Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
| composition:tableaux:colonnes:fixer_la_largeur_et_justifier_une_colonne [2016/10/16 07:59] – jejust | 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 à la ligne dans une cellule~?} %7.22 Modif Nico | + | ====== |
| - | \reponse | + | |
| - | dispose de toutes les commandes usuelles de retour à la ligne, sauf évidement | + | $\Reponse$ |
| - | de \cmd{\char92}, qui indique la fin de la \textbf{ligne de cellules} du tableau. | + | dispose de toutes les commandes usuelles de retour à la ligne, sauf évidemment |
| - | Selon l' | + | de '' |
| + | Selon l' | ||
| classique ligne blanche de séparation de paragraphes. | classique ligne blanche de séparation de paragraphes. | ||
| - | \reponse | + | |
| + | $\Reponse$ | ||
| plus d'une ligne. Si l'on tient à la mise en forme (justification, | plus d'une ligne. Si l'on tient à la mise en forme (justification, | ||
| - | centrage, ...), il faut utiliser une colonne de type ' | + | centrage, ...), il faut utiliser une colonne de type ''p'', dans laquelle on |
| introduira la commande de formattage désirée. | introduira la commande de formattage désirée. | ||
| - | Le problème est alors que les commandes \cmd{raggedleft}, \cmd{raggedright} | + | Le problème est alors que les commandes |
| - | et \cmd{centering} redéfinissent | + | et '' |
| | | ||
| - | (ou au moins leur définition de \cmd{\char92}) dans un tableau, la commande | + | (ou au moins leur définition de '' |
| - | \cmd{\char92} n' | + | '' |
| - | passage à la ligne dans la cellule. La commande \cmd{tabularnewline}, qui | + | passage à la ligne dans la cellule. La commande |
| - | est équivalente à \cmd{\char92} habituellement, | + | est équivalente à '' |
| celle-ci pour indiquer la fin d'une ligne du tableau. | celle-ci pour indiquer la fin d'une ligne du tableau. | ||
| - | En combinant tout ceci et l' | + | En combinant tout ceci avec le package |
| - | permet de spécifier dans la définition d'une colonne une commande | + | dans la définition d'une colonne une commande qui sera systématique |
| - | qui sera syst\' | + | au contenu de chacune des cellules de cette colonne (même technique que |
| - | cette colonne (même technique que dans~\vref{colfont}), on obtient | + | [[3_composition: |
| - | l' | + | on peut écrire ceci: |
| - | \DeleteShortVerb{\|} | + | <code latex> |
| - | % 1 | + | |
| - | %23456789012345678901234567890123456789012345678901234567890 | + | |
| - | \begin{exemple}{Passer à la ligne dans une cellule\label{extabnl}} | + | |
| \makeatletter | \makeatletter | ||
| \newcommand\justify{% | \newcommand\justify{% | ||
| Ligne 39: | Ligne 38: | ||
| \begin{tabular}{|l> | \begin{tabular}{|l> | ||
| \hline | \hline | ||
| - | LTL & Logique du temps lin\' | + | LTL & Logique du temps linéaire |
| - | permet d' | + | permet d' |
| - | | + | |
| - | Le model checking et la satisfaisabilit\' | + | Le model checking et la satisfaisabilité |
| sont alors PSPACE-complets. | sont alors PSPACE-complets. | ||
| \tabularnewline[3mm] | \tabularnewline[3mm] | ||
| CTL & Logique du temps arborescent : cette logique | CTL & Logique du temps arborescent : cette logique | ||
| - | exprime des propri\' | + | exprime des propriétés |
| - | toutes les ex\' | + | toutes les exécutions |
| Le model checking est P-complet, mais la | Le model checking est P-complet, mais la | ||
| - | | + | |
| \tabularnewline | \tabularnewline | ||
| \hline | \hline | ||
| \end{tabular} | \end{tabular} | ||
| \end{center} | \end{center} | ||
| - | \end{exemple} | + | </ |
| - | \MakeShortVerb{\|} | + | |
| - | \endinput | + | 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: | ||
| + | }} | ||

