Object-Oriented Constraint Satisfaction ∗