Lattice Land Core Library
|
#include <fixpoint.hpp>
Public Member Functions | |
CUDA void | barrier () |
template<class A > | |
CUDA local::B | iterate (A &a) |
template<class A > | |
CUDA size_t | fixpoint (A &a, local::B &has_changed) |
template<class A > | |
CUDA local::B | fixpoint (A &a) |
A simple form of sequential fixpoint computation based on Kleene fixpoint. At each iteration, the deduction operations \( f_1, \ldots, f_n \) are simply composed by functional composition \( f = f_n \circ \ldots \circ f_1 \). This strategy basically corresponds to the Gauss-Seidel iteration method.
|
inline |
|
inline |
|
inline |
|
inline |