#include "lib/split-splice.hpp"

Description

template<class ORD, class POS, class START, class AFTER, class CREATE, class EMPTY, class CLONE, class DELETE>
class lib::splitsplice::Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >

Implementation of »SplitSplice« algorithm.

Descriptor and working context to split/splice in a new Interval. The »Split-Splice« algorithm works on a seamless segmentation of an ordered working axis, represented as sequence of intervals. The purpose is to integrate a new Segment / interval, thereby truncating / splitting / filling adjacent intervals to fit

Definition at line 107 of file split-splice.hpp.

Classes
struct	SegBounds

Public Member Functions
	Algo (START fun_getStart, AFTER fun_getAfter, CREATE fun_createSeg, EMPTY fun_emptySeg, CLONE fun_cloneSeg, DELETE fun_discard, const ORD axisEnd, POS startAll, POS afterAll, OptORD start, OptORD after)
	Setup for a single SplitSplice-operation to insert a new segment start to after.

SegBounds	establishSplitPoint (POS startAll, POS afterAll, OptORD start, OptORD after)
	Stage-1 and Stage-2 of the algorithm determine the insert point and establish the actual start and end point of the new segment.

void	determineRelations ()
	Stage-3 of the algorithm works out the precise relation of the predecessor and successor segments to determine necessary adjustments.

std::array< POS, 3 >	performSplitSplice ()
	Stage-4 of the algorithm performs the actual insert and deleting of segments.

Private Types
enum	Verb { NIL , DROP , TRUNC , INS_NOP , SEAMLESS }

using	OptORD = std::optional< ORD >

Private Attributes
START	getStart

AFTER	getAfter

CREATE	createSeg

EMPTY	emptySeg

CLONE	cloneSeg

DELETE	discard

const ORD	AXIS_END

POS	pred_

POS	succ_

struct lib::splitsplice::Algo::SegBounds	b_

Verb	opPred_ = NIL

Verb	opSucc_ = NIL

Additional Inherited Members
Private Member Functions inherited from NonCopyable
	~NonCopyable ()=default

	NonCopyable ()=default

	NonCopyable (NonCopyable const &)=delete

NonCopyable &	operator= (NonCopyable const &)=delete

Constructor & Destructor Documentation

◆ Algo()

template<class ORD , class POS , class START , class AFTER , class CREATE , class EMPTY , class CLONE , class DELETE >

Algo	(	START	fun_getStart,
		AFTER	fun_getAfter,
		CREATE	fun_createSeg,
		EMPTY	fun_emptySeg,
		CLONE	fun_cloneSeg,
		DELETE	fun_discard,
		const ORD	axisEnd,
		POS	startAll,
		POS	afterAll,
		OptORD	start,
		OptORD	after
	)

inline

Setup for a single SplitSplice-operation to insert a new segment start to after.

Parameters

startAll	(forward) iterator pointing at the overall Segmentation begin
afterAll	(forward) iterator indicating point-after-end of Segmentation
start	(optional) specification of new segment's start point
after	(optional) specification of new segment's end point

Definition at line 158 of file split-splice.hpp.

References Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::SegBounds::after, Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::b_, Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::getStart, Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::pred_, Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::SegBounds::start, and Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::succ_.

Class Documentation

◆ lib::splitsplice::Algo::SegBounds

struct lib::splitsplice::Algo::SegBounds

Class Members
ORD	start
ORD	after

Collaboration diagram for Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::SegBounds:

Member Typedef Documentation

◆ OptORD

template<class ORD , class POS , class START , class AFTER , class CREATE , class EMPTY , class CLONE , class DELETE >

using OptORD = std::optional<ORD>

private

Definition at line 126 of file split-splice.hpp.

Member Enumeration Documentation

◆ Verb

template<class ORD , class POS , class START , class AFTER , class CREATE , class EMPTY , class CLONE , class DELETE >

enum Verb

private

Enumerator
NIL
DROP
TRUNC
INS_NOP
SEAMLESS

Definition at line 140 of file split-splice.hpp.

Member Function Documentation

◆ establishSplitPoint()

template<class ORD , class POS , class START , class AFTER , class CREATE , class EMPTY , class CLONE , class DELETE >

SegBounds establishSplitPoint	(	POS	startAll,
		POS	afterAll,
		OptORD	start,
		OptORD	after
	)

inline

Stage-1 and Stage-2 of the algorithm determine the insert point and establish the actual start and end point of the new segment.

Returns: the definitive start and after ORD values, based on context

Definition at line 192 of file split-splice.hpp.

References Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::AXIS_END, Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::getAfter, Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::getStart, Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::pred_, and Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::succ_.

◆ determineRelations()

template<class ORD , class POS , class START , class AFTER , class CREATE , class EMPTY , class CLONE , class DELETE >

void determineRelations ( )

inline

Stage-3 of the algorithm works out the precise relation of the predecessor and successor segments to determine necessary adjustments.

Remarks: results in definition of operation verbs opPred_ and opSucc_.

Definition at line 232 of file split-splice.hpp.

◆ performSplitSplice()

template<class ORD , class POS , class START , class AFTER , class CREATE , class EMPTY , class CLONE , class DELETE >

std::array< POS, 3 > performSplitSplice ( )

inline

Stage-4 of the algorithm performs the actual insert and deleting of segments.

Returns

(s,n,e) to indicate where changes happened

s the first changed element
n the new main segment (may be identical to s)
e the first unaltered element after the changed range (may be end())

Definition at line 292 of file split-splice.hpp.

Member Data Documentation

◆ getStart

template<class ORD , class POS , class START , class AFTER , class CREATE , class EMPTY , class CLONE , class DELETE >

START getStart

private

Definition at line 119 of file split-splice.hpp.

Referenced by Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::Algo(), Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::determineRelations(), Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::establishSplitPoint(), and Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::performSplitSplice().

◆ getAfter

template<class ORD , class POS , class START , class AFTER , class CREATE , class EMPTY , class CLONE , class DELETE >

AFTER getAfter

private

Definition at line 120 of file split-splice.hpp.

Referenced by Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::determineRelations(), Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::establishSplitPoint(), and Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::performSplitSplice().

◆ createSeg

template<class ORD , class POS , class START , class AFTER , class CREATE , class EMPTY , class CLONE , class DELETE >

CREATE createSeg

private

Definition at line 121 of file split-splice.hpp.

Referenced by Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::performSplitSplice().

◆ emptySeg

template<class ORD , class POS , class START , class AFTER , class CREATE , class EMPTY , class CLONE , class DELETE >

EMPTY emptySeg

private

Definition at line 122 of file split-splice.hpp.

Referenced by Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::performSplitSplice().

◆ cloneSeg

template<class ORD , class POS , class START , class AFTER , class CREATE , class EMPTY , class CLONE , class DELETE >

CLONE cloneSeg

private

Definition at line 123 of file split-splice.hpp.

Referenced by Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::performSplitSplice().

◆ discard

template<class ORD , class POS , class START , class AFTER , class CREATE , class EMPTY , class CLONE , class DELETE >

DELETE discard

private

Definition at line 124 of file split-splice.hpp.

Referenced by Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::performSplitSplice().

◆ AXIS_END

template<class ORD , class POS , class START , class AFTER , class CREATE , class EMPTY , class CLONE , class DELETE >

const ORD AXIS_END

private

Definition at line 127 of file split-splice.hpp.

Referenced by Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::establishSplitPoint().

◆ pred_

template<class ORD , class POS , class START , class AFTER , class CREATE , class EMPTY , class CLONE , class DELETE >

POS pred_

private

Definition at line 132 of file split-splice.hpp.

Referenced by Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::Algo(), Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::determineRelations(), Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::establishSplitPoint(), and Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::performSplitSplice().

◆ succ_

template<class ORD , class POS , class START , class AFTER , class CREATE , class EMPTY , class CLONE , class DELETE >

POS succ_

private

Definition at line 132 of file split-splice.hpp.

Referenced by Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::Algo(), Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::determineRelations(), Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::establishSplitPoint(), and Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::performSplitSplice().

◆ b_

template<class ORD , class POS , class START , class AFTER , class CREATE , class EMPTY , class CLONE , class DELETE >

struct lib::splitsplice::Algo::SegBounds b_

private

Referenced by Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::Algo(), Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::determineRelations(), and Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::performSplitSplice().

◆ opPred_

template<class ORD , class POS , class START , class AFTER , class CREATE , class EMPTY , class CLONE , class DELETE >

Verb opPred_ = NIL

private

Definition at line 147 of file split-splice.hpp.

Referenced by Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::determineRelations(), and Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::performSplitSplice().

◆ opSucc_

template<class ORD , class POS , class START , class AFTER , class CREATE , class EMPTY , class CLONE , class DELETE >

Verb opSucc_ = NIL

private

Definition at line 148 of file split-splice.hpp.

Referenced by Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::determineRelations(), and Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >::performSplitSplice().

Inheritance diagram for Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >:

Collaboration diagram for Algo< ORD, POS, START, AFTER, CREATE, EMPTY, CLONE, DELETE >:

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

split-splice.hpp

Description

Classes

Public Member Functions

Private Types

Private Attributes

Additional Inherited Members

Constructor & Destructor Documentation

◆ Algo()

Class Documentation

◆ lib::splitsplice::Algo::SegBounds

Member Typedef Documentation

◆ OptORD

Member Enumeration Documentation

◆ Verb

Member Function Documentation

◆ establishSplitPoint()

◆ determineRelations()

◆ performSplitSplice()

Member Data Documentation

◆ getStart

◆ getAfter

◆ createSeg

◆ emptySeg

◆ cloneSeg

◆ discard

◆ AXIS_END

◆ pred_

◆ succ_

◆ b_

◆ opPred_

◆ opSucc_