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