|
|
|
QUANTIF stands for Quantified Formula, which for Horn-like
conditions can only be 'Exists' Formulas (Var_plus variables
should occur free in the scoped CONDIT, so 'Exists' can
quantify them).
|
Copyright © 2006 ILOG, Inc.; All Rights Reserved.
