Arageli::ctrl::skeleton_motzkin_burger_slog< Stream > Struct Template Reference

#include <ctrl_slog.hpp>

Inheritance diagram for Arageli::ctrl::skeleton_motzkin_burger_slog< Stream >:

List of all members.

Public Member Functions
	skeleton_motzkin_burger_slog (Stream &stream_a, bool output_top_a=true, bool preamble_on_a=true, bool conclusion_on_a=true)
template<typename A, typename F, typename Q, typename E>
void	preamble (const A &a, const F &f, const Q &q, const E &e) const
void	begin_gauss () const
void	end_gauss () const
template<typename I>
void	find_non_zero (const I &i) const
void	zero_row () const
template<typename I, typename J>
void	swap_cols_rows (const I &i, const J &j) const
template<typename J>
void	eliminate_col (const J &j) const
template<typename A, typename F, typename Q>
void	show_matrices (const A &a, const F &f, const Q &q) const
void	begin_motzkin () const
void	end_motzkin () const
template<typename I1, typename I2>
void	select_col (const I1 &current_column, const I2 &new_column) const
void	zero_solution () const
void	corollary_inequality () const
void	begin_row_balancing () const
template<typename I, typename J>
void	balanced_rows (const I &j_p, const J &j_m) const
void	end_row_balancing () const
void	delete_negates () const
template<typename A, typename F, typename Q, typename E>
void	conclusion (const A &a, const F &f, const Q &q, const E &e) const
Public Attributes
Stream &	stream
bool	output_top
bool	preamble_on
bool	conclusion_on
Classes
class	abort

---

Detailed Description

template<typename Stream>
struct Arageli::ctrl::skeleton_motzkin_burger_slog< Stream >

Definition at line 943 of file ctrl_slog.hpp.

---

Constructor & Destructor Documentation

template<typename Stream>

Arageli::ctrl::skeleton_motzkin_burger_slog< Stream >::skeleton_motzkin_burger_slog	(	Stream &	stream_a,
		bool	output_top_a = true,
		bool	preamble_on_a = true,
		bool	conclusion_on_a = true
	)			[inline]

Definition at line 951 of file ctrl_slog.hpp.

---

Member Function Documentation

template<typename Stream>

template<typename I, typename J>

void Arageli::ctrl::skeleton_motzkin_burger_slog< Stream >::balanced_rows	(	const I &	j_p,
		const J &	j_m
	)			const [inline]

Reimplemented from Arageli::ctrl::skeleton_motzkin_burger_idler.

Definition at line 1041 of file ctrl_slog.hpp.

template<typename Stream>

void Arageli::ctrl::skeleton_motzkin_burger_slog< Stream >::begin_gauss

(

)

const [inline]

Reimplemented from Arageli::ctrl::skeleton_motzkin_burger_idler.

Definition at line 974 of file ctrl_slog.hpp.

template<typename Stream>

void Arageli::ctrl::skeleton_motzkin_burger_slog< Stream >::begin_motzkin

(

)

const [inline]

Reimplemented from Arageli::ctrl::skeleton_motzkin_burger_idler.

Definition at line 1015 of file ctrl_slog.hpp.

template<typename Stream>

void Arageli::ctrl::skeleton_motzkin_burger_slog< Stream >::begin_row_balancing

(

)

const [inline]

Reimplemented from Arageli::ctrl::skeleton_motzkin_burger_idler.

Definition at line 1037 of file ctrl_slog.hpp.

template<typename Stream>

template<typename A, typename F, typename Q, typename E>

void Arageli::ctrl::skeleton_motzkin_burger_slog< Stream >::conclusion	(	const A &	a,
		const F &	f,
		const Q &	q,
		const E &	e
	)			const [inline]

Reimplemented from Arageli::ctrl::skeleton_motzkin_burger_idler.

Definition at line 1051 of file ctrl_slog.hpp.

template<typename Stream>

void Arageli::ctrl::skeleton_motzkin_burger_slog< Stream >::corollary_inequality

(

)

const [inline]

Reimplemented from Arageli::ctrl::skeleton_motzkin_burger_idler.

Definition at line 1034 of file ctrl_slog.hpp.

template<typename Stream>

void Arageli::ctrl::skeleton_motzkin_burger_slog< Stream >::delete_negates

(

)

const [inline]

Reimplemented from Arageli::ctrl::skeleton_motzkin_burger_idler.

Definition at line 1047 of file ctrl_slog.hpp.

template<typename Stream>

template<typename J>

void Arageli::ctrl::skeleton_motzkin_burger_slog< Stream >::eliminate_col

(

const J &

j

)

const [inline]

Reimplemented from Arageli::ctrl::skeleton_motzkin_burger_idler.

Definition at line 1002 of file ctrl_slog.hpp.

template<typename Stream>

void Arageli::ctrl::skeleton_motzkin_burger_slog< Stream >::end_gauss

(

)

const [inline]

Reimplemented from Arageli::ctrl::skeleton_motzkin_burger_idler.

Definition at line 981 of file ctrl_slog.hpp.

template<typename Stream>

void Arageli::ctrl::skeleton_motzkin_burger_slog< Stream >::end_motzkin

(

)

const [inline]

Reimplemented from Arageli::ctrl::skeleton_motzkin_burger_idler.

Definition at line 1022 of file ctrl_slog.hpp.

template<typename Stream>

void Arageli::ctrl::skeleton_motzkin_burger_slog< Stream >::end_row_balancing

(

)

const [inline]

Reimplemented from Arageli::ctrl::skeleton_motzkin_burger_idler.

Definition at line 1044 of file ctrl_slog.hpp.

template<typename Stream>

template<typename I>

void Arageli::ctrl::skeleton_motzkin_burger_slog< Stream >::find_non_zero

(

const I &

i

)

const [inline]

Reimplemented from Arageli::ctrl::skeleton_motzkin_burger_idler.

Definition at line 984 of file ctrl_slog.hpp.

template<typename Stream>

template<typename A, typename F, typename Q, typename E>

void Arageli::ctrl::skeleton_motzkin_burger_slog< Stream >::preamble	(	const A &	a,
		const F &	f,
		const Q &	q,
		const E &	e
	)			const [inline]

Reimplemented from Arageli::ctrl::skeleton_motzkin_burger_idler.

Definition at line 964 of file ctrl_slog.hpp.

template<typename Stream>

template<typename I1, typename I2>

void Arageli::ctrl::skeleton_motzkin_burger_slog< Stream >::select_col	(	const I1 &	current_column,
		const I2 &	new_column
	)			const [inline]

Reimplemented from Arageli::ctrl::skeleton_motzkin_burger_idler.

Definition at line 1025 of file ctrl_slog.hpp.

template<typename Stream>

template<typename A, typename F, typename Q>

void Arageli::ctrl::skeleton_motzkin_burger_slog< Stream >::show_matrices	(	const A &	a,
		const F &	f,
		const Q &	q
	)			const [inline]

Reimplemented from Arageli::ctrl::skeleton_motzkin_burger_idler.

Definition at line 1007 of file ctrl_slog.hpp.

template<typename Stream>

template<typename I, typename J>

void Arageli::ctrl::skeleton_motzkin_burger_slog< Stream >::swap_cols_rows	(	const I &	i,
		const J &	j
	)			const [inline]

Reimplemented from Arageli::ctrl::skeleton_motzkin_burger_idler.

Definition at line 996 of file ctrl_slog.hpp.

template<typename Stream>

void Arageli::ctrl::skeleton_motzkin_burger_slog< Stream >::zero_row

(

)

const [inline]

Reimplemented from Arageli::ctrl::skeleton_motzkin_burger_idler.

Definition at line 992 of file ctrl_slog.hpp.

template<typename Stream>

void Arageli::ctrl::skeleton_motzkin_burger_slog< Stream >::zero_solution

(

)

const [inline]

Reimplemented from Arageli::ctrl::skeleton_motzkin_burger_idler.

Definition at line 1031 of file ctrl_slog.hpp.

---

Member Data Documentation

template<typename Stream>

bool Arageli::ctrl::skeleton_motzkin_burger_slog< Stream >::conclusion_on

Definition at line 948 of file ctrl_slog.hpp.

template<typename Stream>

bool Arageli::ctrl::skeleton_motzkin_burger_slog< Stream >::output_top

Definition at line 948 of file ctrl_slog.hpp.

template<typename Stream>

bool Arageli::ctrl::skeleton_motzkin_burger_slog< Stream >::preamble_on

Definition at line 948 of file ctrl_slog.hpp.

template<typename Stream>

Stream& Arageli::ctrl::skeleton_motzkin_burger_slog< Stream >::stream

Definition at line 947 of file ctrl_slog.hpp.

---

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

• ctrl_slog.hpp

---