Terminal symbol
IF
Occurrences of symbol
IF
in grammar rules:
Implies
IriMeta_opt
Consequent
IF
Antecedent
Copyright © 2008
ILOG, Inc.
; All Rights Reserved.