Rule CONDIT_3

CONDIT CONJ 

Description

CONJ is a CONDIT expressing conjunctions of formulae.

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