public List<TermModel> GetFunctionBodyModel(TermFunction function)
{
return PossibleFunctions.GetValueOrNull(new NameAndArity(function));
}
public NameAndArity(TermFunction function)
{
Name = function.FunctionName;
Arity = function.Arity;
}
/**
* Gets the mapping for a function.
* Iterates over all the Term of the functions and recursively tries to map them.
*
* @param func The function whose mappings to compute.
* @return The function after all Substitution2s have been made.
*/
public override TermFunction GetMapping(TermFunction func)
{
throw new NotImplementedException();
}
