Rule CONDIT_3

CONDIT QUANTIF 


Description

QUANTIF stands for Quantified Formula, which for Horn-like conditions can only be 'Exists' Formulas (Var+ variables should occur free in the scoped CONDIT, so 'Exists' can quantify them).


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