summaryrefslogtreecommitdiff
path: root/impl/Complete.hpp
AgeCommit message (Collapse)Author
2012-11-09A bunch of changes to make it build nicerCarlo Zancanaro
In particular: - fix up the MCF sovler to get rid of all the warnings/errors - make the build with Wall and Werror and whatnot again
2012-11-09Add an MCF operator to the separate solverCarlo Zancanaro
For the solver utility it'd be good to have MCF problems, so here they are! Format is: MCF<supplies, arcs>(cost*) Supplies is a [int,int,int,...], where each int represents a new node Arcs is [int:int, int:int, int:int, ...] where each int:int pair represents an edge from the first to the second (1 indexed from the "supplies" array). Costs is the argument to the function. There must be as many costs as arcs, and they are set from left to right, in order.
2012-10-22Okay, the solver is now correct.Carlo Zancanaro
It runs in two separate passes: - improve strategy (for all) - evaluate fixpoint Unfortunately this loses out on locality at the moment. I really want a local solver, so I'll have to see what I can do about that.
2012-10-15... Assert needs some includes.Carlo Zancanaro
2012-10-15Fix up to build with clang (and fix another bug)Carlo Zancanaro
- Remove exceptions - Remove dynamic casts The bug was relating to MaxStrategy not cleaning up the influence sets after propagating changes. I just added a call to .clear() and it seems fine.
2012-09-20Remove exceptions and C++11 features for LLVM.Carlo Zancanaro
2012-08-07Merge complete! Get onto the right branch.Carlo Zancanaro
2012-07-09Fix a few bugs and add a new example system.Carlo Zancanaro
2012-06-15Parameterise fixpoint and strategy improvementCarlo Zancanaro
(command-line arguments specify which to use) Also: - Fix up Complete<T> to work comparing `inf` to 1 (stupid bug) - Clean up the systems/ folder a bit - Change the printed output to differentiate variables and constants (!v/!c, respectively) - Perform a slight optimisation to the strategy-iteration process
2012-06-15Re-write heaps of code to work better.Carlo Zancanaro
2012-05-28Fix memory error and x = max(-inf, expr) stuff.Carlo Zancanaro