User profile: prestokeys

User info
User name:prestokeys
Bio:Recreational programmer who started learning in 2013. Currently addicted as I learn more and more.
History
Joined:
Number of posts:341
Latest posts:

friend declaration of a template function of a template class
The following compiles except for the line commented out. [code] struct A { template <int> voi...

Suggestions on how best to design this, please.
[code] class CompositeLocationBase : virtual public Location { // All functions pure virtual. };...

Outputting the shortest path in a Directed Acyclic Graph
[quote]The algorithm is linked to the proof by providing invariants at each step of the algorithm: s...

Outputting the shortest path in a Directed Acyclic Graph
Actually, proving this theorem still does not prove that my algorithm above is correct. The algorit...

Outputting the shortest path in a Directed Acyclic Graph
Ok, I think I've come up with a formal proof of the correctness of the algorithm, after reading Duoa...