sorset Class Reference

A sorset is a group of sortee s. More...

#include <sortor.h>

Collaboration diagram for sorset:

Public Member Functions
void	step_mutual_stabilize_rec (sort_glb &srg1, sort_glb &srg2)
	It does sortee::sort_from operations on this sorset 's sortee s. More...

Detailed Description

A sorset is a group of sortee s.

In order to stabilize a group of sortee s the sort_glb class (or sortor) groups sortee s (representing neuron s and quanton s in our case) into sorset s. A sub-formula is represented within stabilization by a group of sorset s. Each step of stabilization refines the group of sorset s that represent the stabilizing sub-formula, so that every step there are more sorset s, each one having less sortee s, until the process cannot refine each sorset anymore. The ideal stabilization ends with each sorset containing only one sortee. Since stabilization handles only sortee s. This class is used for such iterated sub-grouping.

Member Function Documentation

void sorset::step_mutual_stabilize_rec	(	sort_glb &	srg1,
		sort_glb &	srg2
	)

It does sortee::sort_from operations on this sorset 's sortee s.

Parameters

srg1	The base sort_glb: A neuron s sort_glb if stabilizing neuron sortee s A quanton s sort_glb if stabilizing quanton sortee s
srg2	The complement of srg1: A quanton s sort_glb if srg1 is a neuron s sort_glb A neuron s sort_glb if srg1 is a quanton s sort_glb

See also

macro_algorithm_ben_jose.cpp

Here is the call graph for this function:

Here is the caller graph for this function:

---

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

• /home/jose/devel/ben-jose/src/library/brain/sortor.h
• /home/jose/devel/ben-jose/src/library/api/macro_ben_jose.cpp
• /home/jose/devel/ben-jose/src/library/brain/sortor.cpp
• /home/jose/devel/ben-jose/src/programs/macro_ben_jose/macro_algorithm_ben_jose.cpp