spunct_unsat

  1. {
  2. <: spunct;
  3. node(Foot).top.sat = value(-);
  4. }

Ajouter un commentaire

Connectez-vous ou inscrivez-vous pour publier un commentaire

Class Graph View