Rule
CONDIT_2
CONDIT
DISJ
Description
DISJ
is a
CONDIT
expressing disjunctions of formulae.
Copyright © 2006
ILOG, Inc.
; All Rights Reserved.