Cours sur les arbres : Deux exemples d'arbres

-1- -2-INF 421 — 06 Luc Maranget Deux exemples d’arbres◮ Les arbres-termes :Le calcul propositionnel.Deux usages des arbres◮ Les arbres structurants :Diviser le plan en quatre (et puis enquatre, et puis...)Luc.Maranget@inria.frhttp://www.enseignement.polytechnique.fr/profs/informatique/Luc.Maranget/421/-3- -4-Un grand classique La classe des propositionsSelon le principe d’un champ (( nature ).Une expression bool´eenne e (ou proposition) est :class Prop {◮ Vrai ou faux, T ou F,final static int FALSE=0, TRUE=1, VAR=2, NOT=3, OR=4, AND=5 ;int nature ; int asVar ; Prop left, right ;◮ Une variable x ,...x ,0 N−1private Prop (int nature) { this.nature = nature ; }◮ La n´egation ¬(e),◮ Une conjonction (e ∧e ), une disjonction (e ∨e ).1 2 1 2private Prop (int nature, int asVar) {this.nature = nature ; this.asVar = asVar ;Note :}◮ Conceptuellement c’est aussi simple que les expressionsprivate Prop (int nature, Prop left) {arithm´etiques.this.nature = nature ; this.left = left ;}◮ Techniquement, il y a un peu plus de sortes de termes.private Prop (int nature, Prop left, Prop right) {this.nature = nature ; this.left = left ; this.right = right ;}}-5- -6-Construction des termes BonusIl devient hasardeux de se fier aux constructeurs. Des d´etails, li´es a` Une certaine d´econnexion entrela r´ealisation concr`ete prennent trop d’importance.◮ Sp´ecification, (ce que c’est, ici une proposition)On utilisera plutotˆ des m´ethodes statiques bien ...