Yes, it analyzes a formula or recurrence relation - sorry to get your hopes up :-D I wish it could analyze source code, but the halting problem says that would be a bit difficult.
I think one could execute source code with varying size inputs to get an idea of a function's growth (assuming the function does halt), but I haven't thought about what that entails
PS: maybe I should have named it BOFAT (Big O Formula Analyzer Tool)
I think one could execute source code with varying size inputs to get an idea of a function's growth (assuming the function does halt), but I haven't thought about what that entails
PS: maybe I should have named it BOFAT (Big O Formula Analyzer Tool)