getRequiredFactPatterns (String, Collection)

public HashSet getRequiredFactPatterns (String functionName, Collection parameters)

`functionName`	the name of the function in the library the return type of which is required.
`parameters`	the parameters of the function specified as a collection of the `IArithmeticNode` objects.

This method should have no implementation and return null.

Parameters