Rule CONDIT_1

CONDIT CONJ 


Description

CONJ is a CONDIT expressing conjunctions of formulae.


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