Rule CONDIT_1

CONDIT LITFORM 

Description

LITFORM stands for Literal Formula and anticipates the introduction of Atoms (or negated Atoms if negation is supported).

Copyright © 2006 ILOG, Inc.; All Rights Reserved.