Equal - Créé un arbre représentant une instruction

Calling Sequence

eq=Equal(lhslist,expression)

Parameters

• lhslist : liste des paramètres de sortie (liste de "tlists M2SCI")
• expression : partie droite de l'instruction (une "tlist M2SCI")
• eq : une tlist de type "equal"

Description

Cette fonction créé une tlist représentant les données d'inférence quand on utilise M2SCI. Tous les paramètres d'entrée sont vérifiés pour être compatible avec les "tlists M2SCI".

See Also

Funcall ,   Operation ,   Variable ,   Cste ,   Infer ,   Type ,  

Authors

V.C.