org.tm4j.panckoucke.abstraction.AbstractionContext .getAbstractorHints()

Returns

the AbstractionHints. May return null, if no hints were set

Other Resources