Residual arc type with mirror pointer. More...

#include <tpl_netcost.H>

Inheritance diagram for Aleph::Res_Arc< Ftype >:

Collaboration diagram for Aleph::Res_Arc< Ftype >:

Public Types
using	Base = Net_Cost_Arc< Empty_Class, Ftype >

Public Types inherited from Aleph::Net_Cost_Arc< Empty_Class, Ftype >
using	Base = Net_Arc< Empty_Class, Ftype >

using	Base = Graph_Aarc< Empty_Class >

using	Flow_Type = Ftype
	Type representing flow, capacity, and cost values.

Public Types inherited from Aleph::Net_Arc< Arc_Info, F_Type >
using	Base = Graph_Aarc< Arc_Info >

using	Flow_Type = F_Type

Public Types inherited from GTArcCommon< Arc_Info >
using	Item_Type = Arc_Info

using	Arc_Type = Arc_Info

Public Attributes
bool	is_residual = false
	True if this is a residual (backward) arc.

Res_Arc *	img = nullptr
	Pointer to the mirror arc in the opposite direction.

Public Attributes inherited from Aleph::Net_Cost_Arc< Empty_Class, Ftype >
Flow_Type	cost
	Cost per unit of flow (negative for residual arcs).

Public Attributes inherited from Aleph::Net_Arc< Arc_Info, F_Type >
Flow_Type	cap = 0
	Capacity value.

Flow_Type	flow = 0
	Flow value.

Public Attributes inherited from GTArcCommon< Arc_Info >
void *	src_node

void *	tgt_node
	Please don't use.

Graph_Attr	attrs
	Please don't use.

Arc_Info	arc_info

Additional Inherited Members
Public Member Functions inherited from Aleph::Net_Cost_Arc< Empty_Class, Ftype >
	Net_Cost_Arc ()=default
	Default constructor.

	Net_Cost_Arc (const Net_Cost_Arc &a)
	Copy constructor.

Net_Cost_Arc &	operator= (const Net_Cost_Arc &a)
	Copy assignment operator.

Flow_Type	flow_cost () const noexcept
	Return the cost of the current flow through this arc.

Public Member Functions inherited from Aleph::Net_Arc< Arc_Info, F_Type >
bool	check_arc () const noexcept
	Return true if flow satisfies 0 <= flow <= cap.

	Net_Arc (const Arc_Info &info)
	Construct from arc info.

	Net_Arc (const Net_Arc &arc)
	Copy constructor.

	Net_Arc ()
	Default constructor.

Net_Arc &	operator= (const Net_Arc &arc)
	Copy assignment.

Public Member Functions inherited from Aleph::Graph_Aarc< Arc_Info >
	Graph_Aarc (const Arc_Info &info)

	Graph_Aarc (Arc_Info &&info=Arc_Info())

	Graph_Aarc (const Graph_Aarc &arc)

	Graph_Aarc (void src, void tgt, const Arc_Info &data)

	Graph_Aarc (void src, void tgt, Arc_Info &&data=Arc_Info())

Graph_Aarc &	operator= (const Graph_Aarc &arc)

Public Member Functions inherited from Aleph::Dlink
template<typename T >
Dnode< T > *	to_dnode () noexcept

template<typename T >
const Dnode< T > *	to_dnode () const noexcept

template<typename T >
T &	to_data () noexcept

template<typename T >
const T &	to_data () const noexcept

	Dlink () noexcept
	Initialize a node or an empty list.

	Dlink (const Dlink &l) noexcept
	Copy constructor.

void	swap (Dlink *link) noexcept
	Swap `this` with list whose header is `link`.

void	swap (Dlink &l) noexcept
	Swap `this` with list whose header is `l`.

	Dlink (Dlink &&l) noexcept
	Construct a new list with the items of l moved.

Dlink &	operator= (const Dlink &l) noexcept
	Copy assignation.

Dlink &	operator= (Dlink &&l) noexcept
	Move assignation.

void	reset () noexcept
	Reset `this`

void	init () noexcept

constexpr bool	is_empty () const noexcept
	Return `true` if `this` (as header node) is empty.

constexpr bool	is_unitarian () const noexcept
	Return `true` if `this` (as header node) has exactly one element.

constexpr bool	is_unitarian_or_empty () const noexcept
	Return `true` if `this` (as header node) has zero or one element.

void	insert (Dlink *node) noexcept
	Insert `node` after `this`.

void	push (Dlink *node) noexcept

void	append (Dlink *node) noexcept
	Insert `node` before `this`.

Dlink *&	get_next () const noexcept
	Return the link that is after `this`

Dlink *&	get_prev () const noexcept
	Return the link that is before `this`

constexpr Dlink *&	get_first_ne () const noexcept
	If `this` is a header node, it return the first node of `this`

constexpr Dlink *&	get_last_ne () const noexcept
	If `this` is a header node, it return the last node of `this`

constexpr Dlink *&	get_first () const noexcept
	If `this` is a header node, it return the first node of `this`

constexpr Dlink *&	get_last () const noexcept
	If `this` is a header node, it return the last node of `this`

void	wrap_header (Dlink *l) noexcept
	Wrap a header to a list (without header).

void	insert_list (Dlink *head) noexcept
	Insert the list `head` before `this`

void	append_list (Dlink *head) noexcept
	Insert the list `head` after `this`

void	splice (Dlink *l) noexcept
	Insert a list `l` without header node after the node `this`.

void	concat_list (Dlink *head) noexcept
	Concatenate list `head` to list `this`

void	concat_list (Dlink &head) noexcept

Dlink *	del () noexcept
	Remove `this` from the list. `this` must not be a header node.

void	erase () noexcept

Dlink *	remove_prev () noexcept
	Remove the item that is before `this`

Dlink *	remove_next () noexcept
	Remove the item that is after `this`

Dlink *	remove_last_ne () noexcept

Dlink *	remove_first_ne () noexcept

Dlink *	remove_last () noexcept

Dlink *	remove_first () noexcept

Dlink *	top () const

Dlink *	pop ()

size_t	reverse_list () noexcept
	Reverse the list.

size_t	reverse () noexcept

size_t	split_list_ne (Dlink &l, Dlink &r) noexcept
	Split `this` in the middle in two lists.

size_t	split_list (Dlink &l, Dlink &r) noexcept

Dlink	cut_list (Dlink *link) noexcept
	Cut `this` from `link`.

void	remove_all_and_delete () noexcept
	Remove and free memory for all the items of list.

void	rotate_left (size_t n)
	Rotate to left the list n positions.

void	rotate_right (size_t n)
	Analogous to rotate_left() but to right.

bool	check ()
	Return `true` if the list is consistent.

Public Member Functions inherited from GTArcCommon< Arc_Info >
	GTArcCommon () noexcept=default
	data contained in arc

	GTArcCommon (const Arc_Info &info)
	Construct from info value (copy)

	GTArcCommon (Arc_Info &&info)
	Construct from info value (move)

	GTArcCommon (void src, void tgt, const Arc_Info &data)
	Construct with endpoints and info (copy)

	GTArcCommon (void src, void tgt, Arc_Info &&data=Arc_Info())
	Construct with endpoints and info (move)

	GTArcCommon (const GTArcCommon &other)
	Copy constructor.

	GTArcCommon (GTArcCommon &&other) noexcept
	Move constructor.

GTArcCommon &	operator= (const GTArcCommon &other)
	Copy assignment operator.

GTArcCommon &	operator= (GTArcCommon &&other) noexcept
	Move assignment operator.

unsigned int	state () const noexcept
	Return the state of arc.

void	set_state (unsigned int s) noexcept
	Set the state of arc to value `s`

Arc_Info &	get_info () noexcept
	Return a modifiable reference to the arc data.

const Arc_Info &	get_info () const noexcept
	Return a constant reference to the arc data.

void *	get_connected_node (void *node) noexcept

void *	get_img_node (void *node) noexcept

Protected Attributes inherited from Aleph::Dlink
Dlink *	prev

Dlink *	next

Detailed Description

template<typename Ftype>
struct Aleph::Res_Arc< Ftype >

Residual arc type with mirror pointer.

Extends Net_Cost_Arc with a flag indicating if this is a residual arc and a pointer to the mirror arc in the opposite direction.

Template Parameters

Ftype Flow/cost numeric type.

Definition at line 418 of file tpl_netcost.H.

Member Typedef Documentation

◆ Base

template<typename Ftype >

using Aleph::Res_Arc< Ftype >::Base = Net_Cost_Arc<Empty_Class, Ftype>

Definition at line 420 of file tpl_netcost.H.

Member Data Documentation

◆ img

template<typename Ftype >

Res_Arc* Aleph::Res_Arc< Ftype >::img = nullptr

Pointer to the mirror arc in the opposite direction.

Definition at line 427 of file tpl_netcost.H.

◆ is_residual

template<typename Ftype >

bool Aleph::Res_Arc< Ftype >::is_residual = false

True if this is a residual (backward) arc.

Definition at line 424 of file tpl_netcost.H.

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

tpl_netcost.H

Public Types

Public Attributes

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ Base

Member Data Documentation

◆ img

◆ is_residual