Summary:
Detail:
AbstractTypeConstraint
boolean
check(TypeSearchState state)
List<SSAVar>
getRelatedVars()