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(); }