Rule
CONDIT_4
CONDIT
LITFORM
Description
LITFORM
stands for Literal Formula and anticipates the introduction of
Atom
s or negated
Atom
s.
Copyright © 2006
ILOG, Inc.
; All Rights Reserved.