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.