Class
#categories!
execution! !
#extensionsAreSubtypes!
true! !
#revision!
$Revision: 1.1 $! !
#group!
benchmark! !
#subtype!
true! !
#branded!
true! !
#comment!
I constrain two variables to have the same value: "v1 = v2".
 (c) 1995-1997 Sun Microsystems, Inc. ALL RIGHTS RESERVED. 
Use and distribution of this software is subject to the terms of the attached source license.! !
#abstract!
false! !
#superclassTypeString!
BinaryConstraint! !
execute!
1017738!
execution!
0! !
