org.tm4j.tmnav.env.AbstractionEnviroment .getAbstractorDesc()

Description

Returns the current AbstractorDescription or null if currently no AbstractorDescription is set.

Returns

Other Resources

Related Topics