Terminal symbol
IF
Occurrences of symbol
IF
in grammar rules:
Implies
Atomic
IF
Formula
Copyright © 2011
ILOG, Inc.
; All Rights Reserved.