lala::GaussSeidelIteration Class Reference

#include <fixpoint.hpp>

Public Member Functions
CUDA void	barrier ()
template<class A >
CUDA void	iterate (A &a, local::BInc &has_changed)
template<class A >
CUDA size_t	fixpoint (A &a, local::BInc &has_changed)
template<class A >
CUDA local::BInc	fixpoint (A &a)

Detailed Description

A simple form of sequential fixpoint computation based on Kleene fixpoint. At each iteration, the refinement 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.

Member Function Documentation

barrier()

CUDA void lala::GaussSeidelIteration::barrier ( )

inline

iterate()

template<class A >

CUDA void lala::GaussSeidelIteration::iterate ( A & a, local::BInc & has_changed )

inline

fixpoint() [1/2]

template<class A >

CUDA size_t lala::GaussSeidelIteration::fixpoint ( A & a, local::BInc & has_changed )

inline

fixpoint() [2/2]

template<class A >

CUDA local::BInc lala::GaussSeidelIteration::fixpoint ( A & a )

inline

---

The documentation for this class was generated from the following file:

• include/lala/fixpoint.hpp