Lattice Land Core Library
Loading...
Searching...
No Matches
lala::GaussSeidelIteration Class Reference

#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)
 

Detailed Description

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.

Member Function Documentation

◆ barrier()

CUDA void lala::GaussSeidelIteration::barrier ( )
inline

◆ iterate()

template<class A >
CUDA local::B lala::GaussSeidelIteration::iterate ( A & a)
inline

◆ fixpoint() [1/2]

template<class A >
CUDA size_t lala::GaussSeidelIteration::fixpoint ( A & a,
local::B & has_changed )
inline

◆ fixpoint() [2/2]

template<class A >
CUDA local::B lala::GaussSeidelIteration::fixpoint ( A & a)
inline

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