Rule
CONDIT_1
CONDIT
CONJ
Description
CONJ
is a
CONDIT
expressing conjunctions of formulae.
Copyright © 2006
ILOG, Inc.
; All Rights Reserved.