Class BoundaryTestParticle

Implementation of the inner outer boundary test from https://arxiv.org/abs/2205.02610v1.

Common chirality and compass alignment are assumed. The particles determine whether or not they are part of a boundary, elect a leader on each boundary, and then test whether their boundary is an inner or the outer boundary.

The phases are synchronized by periodic beeps on the global circuit by particles that have not yet finished their current phase. All particles terminate once the boundary test has finished on each boundary.

The outer boundary's direction is counter-clockwise while the direction of each inner boundary is clockwise.

Inheritance

object

ParticleAlgorithm

BoundaryTestParticle

Namespace: AS2.Algos.BoundaryTest

Assembly: .dll

Syntax

public class BoundaryTestParticle : ParticleAlgorithm

Constructors

BoundaryTestParticle(Particle)

Declaration

public BoundaryTestParticle(Particle p)

Parameters

Type	Name	Description
Particle	p

Fields

activeColor

Declaration

private static readonly Color activeColor

Field Value

Type	Description
Color

becomePassive

Declaration

private ParticleAttribute<bool>[] becomePassive

Field Value

Type	Description
ParticleAttribute<bool>[]

boundaryAngles

Declaration

private ParticleAttribute<int>[] boundaryAngles

Field Value

Type	Description
ParticleAttribute<int>[]

boundaryNbrs

Declaration

private ParticleAttribute<int>[,] boundaryNbrs

Field Value

Type	Description
ParticleAttribute<int>[,]

boundaryPC

Declaration

private ParticleAttribute<PinConfiguration> boundaryPC

Field Value

Type	Description
ParticleAttribute<PinConfiguration>

candidate1Color

Declaration

private static readonly Color candidate1Color

Field Value

Type	Description
Color

candidate2Color

Declaration

private static readonly Color candidate2Color

Field Value

Type	Description
Color

candidate3Color

Declaration

private static readonly Color candidate3Color

Field Value

Type	Description
Color

firstActivation

Declaration

private ParticleAttribute<bool> firstActivation

Field Value

Type	Description
ParticleAttribute<bool>

heads

Declaration

private ParticleAttribute<bool>[] heads

Field Value

Type	Description
ParticleAttribute<bool>[]

isActive

Declaration

private ParticleAttribute<bool>[] isActive

Field Value

Type	Description
ParticleAttribute<bool>[]

isCandidate

Declaration

private ParticleAttribute<bool>[] isCandidate

Field Value

Type	Description
ParticleAttribute<bool>[]

isPhase2Candidate

Declaration

private ParticleAttribute<bool>[] isPhase2Candidate

Field Value

Type	Description
ParticleAttribute<bool>[]

kappa

Declaration

private static readonly int kappa

Field Value

Type	Description
int

numBoundaries

Declaration

private ParticleAttribute<int> numBoundaries

Field Value

Type	Description
ParticleAttribute<int>

passiveColor

Declaration

private static readonly Color passiveColor

Field Value

Type	Description
Color

phase

Declaration

private ParticleAttribute<Phase> phase

Field Value

Type	Description
ParticleAttribute<Phase>

phase2CandColor

Declaration

private static readonly Color phase2CandColor

Field Value

Type	Description
Color

phase2Count

Declaration

private ParticleAttribute<int> phase2Count

Field Value

Type	Description
ParticleAttribute<int>

receivedHeadsBeep

Declaration

private ParticleAttribute<bool>[] receivedHeadsBeep

Field Value

Type	Description
ParticleAttribute<bool>[]

retiredColor

Declaration

private static readonly Color retiredColor

Field Value

Type	Description
Color

round

Declaration

private ParticleAttribute<int> round

Field Value

Type	Description
ParticleAttribute<int>

scMode

Declaration

private ParticleAttribute<SCMode>[] scMode

Field Value

Type	Description
ParticleAttribute<SCMode>[]

startColor

Declaration

private static readonly Color startColor

Field Value

Type	Description
Color

terminated

Declaration

private ParticleAttribute<bool> terminated

Field Value

Type	Description
ParticleAttribute<bool>

Properties

Name

Declaration

public static string Name { get; }

Property Value

Type	Description
string

PinsPerEdge

The number of pins on each edge.

This number must be the same constant for all particles.

Declaration

public override int PinsPerEdge { get; }

Property Value

Type	Description
int

Overrides

ParticleAlgorithm.PinsPerEdge

Methods

ActivateBeep()

This is the second part of the main activation logic of the particle. It is called exactly once in each round, after the movements scheduled in ActivateMove() have been executed, and should contain the algorithm code that implements the look-compute-beep cycle.

Inside of this method, particles are allowed to change their pin configuration and send beeps and messages on the updated configuration.

Note that beeps and messages sent in the current round will be readable in both the ActivateMove() and ActivateBeep() calls in the next round.

Declaration

public override void ActivateBeep()

Overrides

ParticleAlgorithm.ActivateBeep()

ActivateMove()

This is one part of the main activation logic of the particle. It is called exactly once in each round and should contain the algorithm code that implements the look-compute-move cycle. After the movements are executed, ActivateBeep() is called within the same round.

Inside of this method, particles are allowed to release bonds, define which bonds should be marked, and schedule movements. Only the last movement operation scheduled in this method will be applied.

Declaration

public override void ActivateMove()

Overrides

ParticleAlgorithm.ActivateMove()

FirstActivation()

Declaration

private void FirstActivation()

IsFinished()

Checks whether this particle has finished its algorithm.

Override this method to return true when a particle is done executing the algorithm. Once all particles in the system are finished, the simulation will stop automatically. When a particle's state results in this method returning true, its activation methods should not change its state any more.

Declaration

public override bool IsFinished()

Returns

Type	Description
bool	true if and only if this particle has finished its algorithm.

Overrides

ParticleAlgorithm.IsFinished()

LE1Activate0()

Declaration

private void LE1Activate0()

LE1Activate1()

Declaration

private void LE1Activate1()

LE1Activate2()

Declaration

private void LE1Activate2()

LE2Activate0()

Declaration

private void LE2Activate0()

LE2Activate1()

Declaration

private void LE2Activate1()

LE2Activate2()

Declaration

private void LE2Activate2()

LE2Activate3()

Declaration

private void LE2Activate3()

LE2Activate4()

Declaration

private void LE2Activate4()

LEActivate1(bool)

Declaration

private void LEActivate1(bool phase2 = false)

Parameters

Type	Name	Description
bool	phase2

LEReceiveTails(bool)

Declaration

private bool LEReceiveTails(bool phase2 = false)

Parameters

Type	Name	Description
bool	phase2

Returns

Type	Description
bool

SCActivate0()

Declaration

private void SCActivate0()

SCActivate1()

Declaration

private void SCActivate1()

SCActivate2()

Declaration

private void SCActivate2()

SCActivate345()

Declaration

private void SCActivate345()

SCActivate6()

Declaration

private void SCActivate6()

SetColor()

Declaration

private void SetColor()

SetGlobalCircuitAndBeep(bool)

Declaration

private void SetGlobalCircuitAndBeep(bool beep)

Parameters

Type	Name	Description
bool	beep

SetPASCPinConfig()

Declaration

private void SetPASCPinConfig()

SetupBoundaryCircuit(ref PinConfiguration)

Declaration

private void SetupBoundaryCircuit(ref PinConfiguration pc)

Parameters

Type	Name	Description
PinConfiguration	pc

StartLERound(bool, bool)

Declaration

private void StartLERound(bool becomePhase2Cand = false, bool isPhase2Cand = false)

Parameters

Type	Name	Description
bool	becomePhase2Cand
bool	isPhase2Cand

TossCoin(int)

Declaration

private bool TossCoin(int boundary)

Parameters

Type	Name	Description
int	boundary

Returns

Type	Description
bool