#!=

DoubleVar IntVar

#->

BooleanVar

#<

DoubleVar IntVar

#<->

BooleanVar Reifier

#<=

DoubleVar IntVar SetVar

#=

BooleanVar DoubleVar IntVar SetVar

#>

DoubleVar IntVar

#>=

DoubleVar IntVar SetVar

%

IntVar

&

BooleanVar

*

DoubleVar IntSet IntVar SetVar

+

DoubleVar IntSet IntVar Network SetVar

+=

FSM

-

DoubleVar IntVar

/

DoubleVar IntVar

<>

SetVar

\

IntSet SetVar

^

BooleanVar

|

BooleanVar

~>

State