Rule
LITFORM_1
LITFORM
Atom
Description
An
Atom
is a positive literal (
i.e.
, a non negative
LITFORM
).
Copyright © 2006
ILOG, Inc.
; All Rights Reserved.
