#include <ginkgo/core/preconditioner/ilu.hpp>

Inheritance diagram for gko::preconditioner::Ilu< LSolverType, USolverType, ReverseApply, IndexType >:

Classes
class	Factory

struct	parameters_type

Public Types
using	value_type = typename LSolverType::value_type

using	l_solver_type = LSolverType

using	u_solver_type = USolverType

using	index_type = IndexType

using	transposed_type = Ilu< typename USolverType::transposed_type, typename LSolverType::transposed_type, ReverseApply, IndexType >

Public Types inherited from gko::EnablePolymorphicAssignment< ConcreteLinOp >
using	result_type = ConcreteLinOp

Public Types inherited from gko::ConvertibleTo< ResultType >
using	result_type = ResultType

Public Member Functions
const parameters_type &	get_parameters () const

std::shared_ptr< const l_solver_type >	get_l_solver () const

std::shared_ptr< const u_solver_type >	get_u_solver () const

std::unique_ptr< LinOp >	transpose () const override

std::unique_ptr< LinOp >	conj_transpose () const override

Ilu &	operator= (const Ilu &other)

Ilu &	operator= (Ilu &&other)

	Ilu (const Ilu &other)

	Ilu (Ilu &&other)

Public Member Functions inherited from gko::EnableLinOp< ConcreteLinOp, PolymorphicBase >
const ConcreteLinOp *	apply (ptr_param< const LinOp > b, ptr_param< LinOp > x) const

ConcreteLinOp *	apply (ptr_param< const LinOp > b, ptr_param< LinOp > x)

const ConcreteLinOp *	apply (ptr_param< const LinOp > alpha, ptr_param< const LinOp > b, ptr_param< const LinOp > beta, ptr_param< LinOp > x) const

ConcreteLinOp *	apply (ptr_param< const LinOp > alpha, ptr_param< const LinOp > b, ptr_param< const LinOp > beta, ptr_param< LinOp > x)

Public Member Functions inherited from gko::EnableAbstractPolymorphicObject< AbstractObject, PolymorphicBase >
std::unique_ptr< AbstractObject >	create_default (std::shared_ptr< const Executor > exec) const

std::unique_ptr< AbstractObject >	create_default () const

std::unique_ptr< AbstractObject >	clone (std::shared_ptr< const Executor > exec) const

std::unique_ptr< AbstractObject >	clone () const

AbstractObject *	copy_from (const PolymorphicObject *other)

template<typename Derived >
std::enable_if_t< std::is_base_of< PolymorphicObject, std::decay_t< Derived > >::value, AbstractObject > *	copy_from (std::unique_ptr< Derived > &&other)

template<typename Derived >
std::enable_if_t< std::is_base_of< PolymorphicObject, std::decay_t< Derived > >::value, AbstractObject > *	copy_from (const std::unique_ptr< Derived > &other)

AbstractObject *	copy_from (const std::shared_ptr< const PolymorphicObject > &other)

AbstractObject *	move_from (ptr_param< PolymorphicObject > other)

AbstractObject *	clear ()

Public Member Functions inherited from gko::PolymorphicObject
PolymorphicObject &	operator= (const PolymorphicObject &)

std::unique_ptr< PolymorphicObject >	create_default (std::shared_ptr< const Executor > exec) const

std::unique_ptr< PolymorphicObject >	create_default () const

std::unique_ptr< PolymorphicObject >	clone (std::shared_ptr< const Executor > exec) const

std::unique_ptr< PolymorphicObject >	clone () const

PolymorphicObject *	copy_from (const PolymorphicObject *other)

template<typename Derived , typename Deleter >
std::enable_if_t< std::is_base_of< PolymorphicObject, std::decay_t< Derived > >::value, PolymorphicObject > *	copy_from (std::unique_ptr< Derived, Deleter > &&other)

template<typename Derived , typename Deleter >
std::enable_if_t< std::is_base_of< PolymorphicObject, std::decay_t< Derived > >::value, PolymorphicObject > *	copy_from (const std::unique_ptr< Derived, Deleter > &other)

PolymorphicObject *	copy_from (const std::shared_ptr< const PolymorphicObject > &other)

PolymorphicObject *	move_from (ptr_param< PolymorphicObject > other)

PolymorphicObject *	clear ()

std::shared_ptr< const Executor >	get_executor () const noexcept

Public Member Functions inherited from gko::log::EnableLogging< PolymorphicObject >
void	add_logger (std::shared_ptr< const Logger > logger) override

void	remove_logger (const Logger *logger) override

void	remove_logger (ptr_param< const Logger > logger)

const std::vector< std::shared_ptr< const Logger > > &	get_loggers () const override

void	clear_loggers () override

Public Member Functions inherited from gko::log::Loggable
void	remove_logger (ptr_param< const Logger > logger)

Public Member Functions inherited from gko::EnablePolymorphicAssignment< ConcreteLinOp >
void	convert_to (result_type *result) const override

void	move_to (result_type *result) override

Public Member Functions inherited from gko::ConvertibleTo< ResultType >
virtual void	convert_to (result_type *result) const =0

void	convert_to (ptr_param< result_type > result) const

virtual void	move_to (result_type *result)=0

void	move_to (ptr_param< result_type > result)

Static Public Member Functions
static auto	build () -> decltype(Factory ::create())

static parameters_type	parse (const config::pnode &config, const config::registry &context, const config::type_descriptor &td_for_child=config::make_type_descriptor< value_type, index_type >())

Static Public Attributes
static constexpr bool	performs_reverse_apply = ReverseApply

Protected Member Functions
void	apply_impl (const LinOp b, LinOp x) const override

void	apply_impl (const LinOp alpha, const LinOp b, const LinOp beta, LinOp x) const override

	Ilu (std::shared_ptr< const Executor > exec)

	Ilu (const Factory *factory, std::shared_ptr< const LinOp > lin_op)

void	set_cache_to (const LinOp *b) const

Protected Member Functions inherited from gko::EnableLinOp< ConcreteLinOp, PolymorphicBase >
ConcreteLinOp *	self () noexcept

const ConcreteLinOp *	self () const noexcept

Protected Member Functions inherited from gko::EnablePolymorphicObject< ConcreteObject, PolymorphicBase >
std::unique_ptr< PolymorphicObject >	create_default_impl (std::shared_ptr< const Executor > exec) const override

PolymorphicObject *	copy_from_impl (const PolymorphicObject *other) override

PolymorphicObject *	copy_from_impl (std::unique_ptr< PolymorphicObject > other) override

PolymorphicObject *	move_from_impl (PolymorphicObject *other) override

PolymorphicObject *	move_from_impl (std::unique_ptr< PolymorphicObject > other) override

PolymorphicObject *	clear_impl () override

Protected Member Functions inherited from gko::PolymorphicObject
	PolymorphicObject (std::shared_ptr< const Executor > exec)

	PolymorphicObject (const PolymorphicObject &other)

Protected Member Functions inherited from gko::log::EnableLogging< PolymorphicObject >
void	log (Params &&... params) const

Static Protected Member Functions
template<typename SolverType >
static std::enable_if_t< solver::has_with_criteria< SolverType >::value, std::unique_ptr< SolverType > >	generate_default_solver (const std::shared_ptr< const Executor > &exec, const std::shared_ptr< const LinOp > &mtx)

template<typename SolverType >
static std::enable_if_t<!solver::has_with_criteria< SolverType >::value, std::unique_ptr< SolverType > >	generate_default_solver (const std::shared_ptr< const Executor > &exec, const std::shared_ptr< const LinOp > &mtx)

Friends
class	EnableLinOp< Ilu >

class	EnablePolymorphicObject< Ilu, LinOp >

Additional Inherited Members
Protected Attributes inherited from gko::log::EnableLogging< PolymorphicObject >
std::vector< std::shared_ptr< const Logger > >	loggers_

Detailed Description

template<typename LSolverType = solver::LowerTrs<>, typename USolverType = solver::UpperTrs<>, bool ReverseApply = false, typename IndexType = int32>
class gko::preconditioner::Ilu< LSolverType, USolverType, ReverseApply, IndexType >

The Incomplete LU (ILU) preconditioner solves the equation \(LUx = b\) for a given lower triangular matrix L, an upper triangular matrix U and the right hand side b (can contain multiple right hand sides).

It allows to set both the solver for L and the solver for U independently, while providing the defaults solver::LowerTrs and solver::UpperTrs, which are direct triangular solvers. For these solvers, a factory can be provided (with with_l_solver and with_u_solver) to have more control over their behavior. In particular, it is possible to use an iterative method for solving the triangular systems. The default parameters for an iterative triangluar solver are:

reduction factor = 1e-4
max iteration = <number of rows of the matrix given to the solver> Solvers without such criteria can also be used, in which case none are set.

An object of this class can be created with a matrix or a gko::Composition containing two matrices. If created with a matrix, it is factorized before creating the solver. If a gko::Composition (containing two matrices) is used, the first operand will be taken as the L matrix, the second will be considered the U matrix. ParIlu can be directly used, since it orders the factors in the correct way.

Note: When providing a gko::Composition, the first matrix must be the lower matrix ( \(L\)), and the second matrix must be the upper matrix ( \(U\)). If they are swapped, solving might crash or return the wrong result.; Do not use symmetric solvers (like CG) for L or U solvers since both matrices (L and U) are, by design, not symmetric.; This class is not thread safe (even a const object is not) because it uses an internal cache to accelerate multiple (sequential) applies. Using it in parallel can lead to segmentation faults, wrong results and other unwanted behavior.

Template Parameters

LSolverType	type of the solver used for the L matrix. Defaults to solver::LowerTrs
USolverType	type of the solver used for the U matrix Defaults to solver::UpperTrs
ReverseApply	default behavior (ReverseApply = false) is first to solve with L (Ly = b) and then with U (Ux = y). When set to true, it will solve first with U, and then with L.
IndexTypeParIlu	Type of the indices when ParIlu is used to generate both L and U factors. Irrelevant otherwise.

Constructor & Destructor Documentation

◆ Ilu() [1/2]

template<typename LSolverType = solver::LowerTrs<>, typename USolverType = solver::UpperTrs<>, bool ReverseApply = false, typename IndexType = int32>

gko::preconditioner::Ilu< LSolverType, USolverType, ReverseApply, IndexType >::Ilu ( const Ilu< LSolverType, USolverType, ReverseApply, IndexType > & other )

inline

Copy-constructs an ILU preconditioner. Inherits the executor, shallow-copies the solvers and parameters.

◆ Ilu() [2/2]

template<typename LSolverType = solver::LowerTrs<>, typename USolverType = solver::UpperTrs<>, bool ReverseApply = false, typename IndexType = int32>

gko::preconditioner::Ilu< LSolverType, USolverType, ReverseApply, IndexType >::Ilu ( Ilu< LSolverType, USolverType, ReverseApply, IndexType > && other )

inline

Move-constructs an ILU preconditioner. Inherits the executor, moves the solvers and parameters. The moved-from object is empty (0x0 with nullptr solvers and default parameters)

Member Function Documentation

◆ conj_transpose()

template<typename LSolverType = solver::LowerTrs<>, typename USolverType = solver::UpperTrs<>, bool ReverseApply = false, typename IndexType = int32>

std::unique_ptr< LinOp > gko::preconditioner::Ilu< LSolverType, USolverType, ReverseApply, IndexType >::conj_transpose ( ) const

inlineoverridevirtual

Returns a LinOp representing the conjugate transpose of the Transposable object.

Returns: a pointer to the new conjugate transposed object

Implements gko::Transposable.

References gko::preconditioner::Ilu< LSolverType, USolverType, ReverseApply, IndexType >::conj_transpose(), gko::PolymorphicObject::get_executor(), gko::preconditioner::Ilu< LSolverType, USolverType, ReverseApply, IndexType >::get_l_solver(), gko::preconditioner::Ilu< LSolverType, USolverType, ReverseApply, IndexType >::get_u_solver(), gko::share(), and gko::transpose().

Referenced by gko::preconditioner::Ilu< LSolverType, USolverType, ReverseApply, IndexType >::conj_transpose().

◆ generate_default_solver() [1/2]

template<typename LSolverType = solver::LowerTrs<>, typename USolverType = solver::UpperTrs<>, bool ReverseApply = false, typename IndexType = int32>

template<typename SolverType >

static std::enable_if_t< solver::has_with_criteria< SolverType >::value, std::unique_ptr< SolverType > > gko::preconditioner::Ilu< LSolverType, USolverType, ReverseApply, IndexType >::generate_default_solver	(	const std::shared_ptr< const Executor > &	exec,
		const std::shared_ptr< const LinOp > &	mtx
	)

inlinestaticprotected

Generates a default solver of type SolverType.

Also checks whether SolverType can be assigned a criteria, and if it can, it is assigned default values which should be well suited for a preconditioner.

◆ generate_default_solver() [2/2]

template<typename LSolverType = solver::LowerTrs<>, typename USolverType = solver::UpperTrs<>, bool ReverseApply = false, typename IndexType = int32>

template<typename SolverType >

static std::enable_if_t<!solver::has_with_criteria< SolverType >::value, std::unique_ptr< SolverType > > gko::preconditioner::Ilu< LSolverType, USolverType, ReverseApply, IndexType >::generate_default_solver	(	const std::shared_ptr< const Executor > &	exec,
		const std::shared_ptr< const LinOp > &	mtx
	)

inlinestaticprotected

Generates a default solver of type SolverType.

Also checks whether SolverType can be assigned a criteria, and if it can, it is assigned default values which should be well suited for a preconditioner.

◆ get_l_solver()

template<typename LSolverType = solver::LowerTrs<>, typename USolverType = solver::UpperTrs<>, bool ReverseApply = false, typename IndexType = int32>

std::shared_ptr< const l_solver_type > gko::preconditioner::Ilu< LSolverType, USolverType, ReverseApply, IndexType >::get_l_solver ( ) const

inline

Returns the solver which is used for the provided L matrix.

Returns: the solver which is used for the provided L matrix

Referenced by gko::preconditioner::Ilu< LSolverType, USolverType, ReverseApply, IndexType >::conj_transpose(), and gko::preconditioner::Ilu< LSolverType, USolverType, ReverseApply, IndexType >::transpose().

◆ get_u_solver()

template<typename LSolverType = solver::LowerTrs<>, typename USolverType = solver::UpperTrs<>, bool ReverseApply = false, typename IndexType = int32>

std::shared_ptr< const u_solver_type > gko::preconditioner::Ilu< LSolverType, USolverType, ReverseApply, IndexType >::get_u_solver ( ) const

inline

Returns the solver which is used for the provided U matrix.

Returns: the solver which is used for the provided U matrix

Referenced by gko::preconditioner::Ilu< LSolverType, USolverType, ReverseApply, IndexType >::conj_transpose(), and gko::preconditioner::Ilu< LSolverType, USolverType, ReverseApply, IndexType >::transpose().

◆ operator=() [1/2]

template<typename LSolverType = solver::LowerTrs<>, typename USolverType = solver::UpperTrs<>, bool ReverseApply = false, typename IndexType = int32>

Ilu & gko::preconditioner::Ilu< LSolverType, USolverType, ReverseApply, IndexType >::operator= ( const Ilu< LSolverType, USolverType, ReverseApply, IndexType > & other )

inline

Copy-assigns an ILU preconditioner. Preserves the executor, shallow-copies the solvers and parameters. Creates a clone of the solvers if they are on the wrong executor.

References gko::clone(), and gko::PolymorphicObject::get_executor().

◆ operator=() [2/2]

template<typename LSolverType = solver::LowerTrs<>, typename USolverType = solver::UpperTrs<>, bool ReverseApply = false, typename IndexType = int32>

Ilu & gko::preconditioner::Ilu< LSolverType, USolverType, ReverseApply, IndexType >::operator= ( Ilu< LSolverType, USolverType, ReverseApply, IndexType > && other )

inline

Move-assigns an ILU preconditioner. Preserves the executor, moves the solvers and parameters. Creates a clone of the solvers if they are on the wrong executor. The moved-from object is empty (0x0 with nullptr solvers and default parameters)

References gko::clone(), and gko::PolymorphicObject::get_executor().

◆ parse()

template<typename LSolverType = solver::LowerTrs<>, typename USolverType = solver::UpperTrs<>, bool ReverseApply = false, typename IndexType = int32>

static parameters_type gko::preconditioner::Ilu< LSolverType, USolverType, ReverseApply, IndexType >::parse	(	const config::pnode &	config,
		const config::registry &	context,
		const config::type_descriptor &	td_for_child = `config::make_type_descriptor<value_type, index_type>()`
	)

inlinestatic

Create the parameters from the property_tree. Because this is directly tied to the specific type, the value/index type settings within config are ignored and type_descriptor is only used for children configs.

Parameters

config	the property tree for setting
context	the registry
td_for_child	the type descriptor for children configs. The default uses the value/index type of this class.

Returns: parameters

Note: only support the following pairs for <l_solver, u_solver>: <Ir, Ir>, <Gmres, Gmres>, <LowerTrs, UpperTrs>, and <LowerIsai, UpperIsai>

◆ set_cache_to()

template<typename LSolverType = solver::LowerTrs<>, typename USolverType = solver::UpperTrs<>, bool ReverseApply = false, typename IndexType = int32>

void gko::preconditioner::Ilu< LSolverType, USolverType, ReverseApply, IndexType >::set_cache_to ( const LinOp * b ) const

inlineprotected

Prepares the intermediate vector for the solve by creating it and by copying the values from b, so b acts as the initial guess.

Parameters

b	Right hand side of the first solve. Also acts as the initial guess, meaning the intermediate value will be a copy of b

References gko::matrix::Dense< ValueType >::create(), and gko::PolymorphicObject::get_executor().

◆ transpose()

template<typename LSolverType = solver::LowerTrs<>, typename USolverType = solver::UpperTrs<>, bool ReverseApply = false, typename IndexType = int32>

std::unique_ptr< LinOp > gko::preconditioner::Ilu< LSolverType, USolverType, ReverseApply, IndexType >::transpose ( ) const

inlineoverridevirtual

Returns a LinOp representing the transpose of the Transposable object.

Returns: a pointer to the new transposed object

Implements gko::Transposable.

References gko::PolymorphicObject::get_executor(), gko::preconditioner::Ilu< LSolverType, USolverType, ReverseApply, IndexType >::get_l_solver(), gko::preconditioner::Ilu< LSolverType, USolverType, ReverseApply, IndexType >::get_u_solver(), gko::share(), gko::preconditioner::Ilu< LSolverType, USolverType, ReverseApply, IndexType >::transpose(), and gko::transpose().

Referenced by gko::preconditioner::Ilu< LSolverType, USolverType, ReverseApply, IndexType >::transpose().

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

ginkgo/core/preconditioner/ilu.hpp

Ilu< LSolverType, USolverType, ReverseApply, IndexType > Class Template Reference

Ilu< LSolverType, USolverType, ReverseApply, IndexType > Class Template Reference#

Classes

Public Types

Public Member Functions

Static Public Member Functions

Static Public Attributes

Protected Member Functions

Static Protected Member Functions

Friends

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ Ilu() [1/2]

◆ Ilu() [2/2]

Member Function Documentation

◆ conj_transpose()

◆ generate_default_solver() [1/2]

◆ generate_default_solver() [2/2]

◆ get_l_solver()

◆ get_u_solver()

◆ operator=() [1/2]

◆ operator=() [2/2]

◆ parse()

◆ set_cache_to()

◆ transpose()

Ilu< LSolverType, USolverType, ReverseApply, IndexType > Class Template Reference

Ilu&lt; LSolverType, USolverType, ReverseApply, IndexType &gt; Class Template Reference#

Classes

Public Types

Public Member Functions

Static Public Member Functions

Static Public Attributes

Protected Member Functions

Static Protected Member Functions

Friends

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ Ilu() [1/2]

◆ Ilu() [2/2]

Member Function Documentation

◆ conj_transpose()

◆ generate_default_solver() [1/2]

◆ generate_default_solver() [2/2]

◆ get_l_solver()

◆ get_u_solver()

◆ operator=() [1/2]

◆ operator=() [2/2]

◆ parse()

◆ set_cache_to()

◆ transpose()

Ilu< LSolverType, USolverType, ReverseApply, IndexType > Class Template Reference#