Rule CONDIT_2

CONDIT DISJ 


Description

DISJ is a CONDIT expressing disjunctions of formulae.


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