Rule CONDIT_4

CONDIT LITFORM 


Description

LITFORM stands for Literal Formula and anticipates the introduction of Atoms or negated Atoms.


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