private void SetRound(int States, int x, int y, int Rot)
{
RailParts rp = new RailParts();
MyPGM BigCurve = new MyPGM(States * RailParts.Size, States * RailParts.Size);
for (int i = 0; i < States; i++)
{
for (int j = 0; j < States; j++)
{
if (i == j)
{
RailParts.SetField(BigCurve, rp.GetCurve(1), i, j);
}
else if (j < i)
{
RailParts.SetField(BigCurve, rp.GetStraight(1), i, j);
}
else
{
RailParts.SetField(BigCurve, rp.GetStraight(0), i, j);
}
}
}
for (int i = 0; i < Rot; i++)
{
BigCurve.Rotate90();
}
SetField(BigCurve, x, y);
}
private void SetInputs(int States)
{
RailParts rp = new RailParts();
SetField(rp.GetCurve(1), 0, 0);
SetField(rp.GetStraight(1), 1, 0);
SetField(rp.GetStraight(1), 2, 0);
SetField(rp.GetStraight(1), 4, 0);
MyPGM Sprung = rp.GetSprung(true);
Sprung.Rotate90();
SetField(Sprung, ReadWriteHead.YWriteInput + 1, 0);
for (int i = 0; i < States; i++)
{
int StartYPos = 1 + i * ReadWriteHead.YRailsCnt;
SetField(rp.GetStraight(0), 0, StartYPos + 0);
SetField(rp.GetStraight(0), 0, StartYPos + 1);
SetField(rp.GetStraight(0), 0, StartYPos + 2);
SetField(rp.GetCrossing(), 0, StartYPos + 3);
SetField(rp.GetStraight(0), 0, StartYPos + 4);
}
int EndPos = 1 + States * ReadWriteHead.YRailsCnt;
SetField(rp.GetCurve(0), 0, EndPos);
SetField(rp.GetStraight(1), 1, EndPos);
SetField(rp.GetStraight(1), 2, EndPos);
SetField(rp.GetCurve(3), ReadWriteHead.YWriteOutput + 1, EndPos);
}
public Core(TMState ts, bool Set)
{
m_TMStates = ts;
m_rp = new RailParts();
m_StateCnt = TMLoader.CountStates(m_TMStates) / 2;
m_XRailsCnt = ReadWriteHead.XRailsCnt + m_StateCnt * 2 + 1;
m_YRailsCnt = ReadWriteHead.YRailsCnt * m_StateCnt + 2;
int XSize = m_XRailsCnt * RailParts.Size;
int YSize = m_YRailsCnt * RailParts.Size;
m_CorePgm = new MyPGM(XSize, YSize);
SetRWHeads(m_StateCnt, Set);
SetInputs(m_StateCnt);
SetSubroutine(m_StateCnt);
}
public Circuit(TMState ts, Tape tp, int StateBegin, int TapePos)
{
int envXSize = 0;
int envYInOut = 0;
RailParts rp = new RailParts();
MyPGM straight = rp.GetStraight(1);
MyPGM Start = rp.GetStart();
int TpCnt = TMLoader.CountTape(tp);
int STCnt = TMLoader.CountStates(ts) / 2;
Tape tmpTape = tp;
Envelope env = null;
for (int i = 0; i < TpCnt; i++)
{
if (tmpTape.GetSign().Equals("t"))
{
env = new Envelope(ts, true);
}
else
{
env = new Envelope(ts, false);
}
if (i == 0)
{
envXSize = (env.XRailsCnt + 1);
envYInOut = env.FirstInOutput;
int XSize = envXSize * TpCnt;
int YSize = env.YRailsCnt;
m_CircuitPgm = new MyPGM(XSize * RailParts.Size, YSize * RailParts.Size);
}
RailParts.SetField(m_CircuitPgm, env.EnvelopePgm, envXSize * i + 1, 0);
for (int j = 0; j < STCnt; j++)
{
if (j == StateBegin && i == TapePos)
{
RailParts.SetField(m_CircuitPgm, Start, envXSize * i, envYInOut + ReadWriteHead.YRailsCnt * j + 1);
}
else
{
RailParts.SetField(m_CircuitPgm, straight, envXSize * i, envYInOut + ReadWriteHead.YRailsCnt * j + 1);
}
}
tmpTape = tmpTape.GetNext();
}
}
public ReadWriteHead(bool Set)
{
m_rp = new RailParts();
GenerateNeededParts(Set);
m_ReadWriteHead = new MyPGM(m_XRailsCnt * RailParts.Size, m_YRailsCnt * RailParts.Size);
SetToPosition(FlipFlop, 2, 0);
SetToPosition(Curve3, 3, 0);
SetToPosition(Sprung1, 2, 1);
SetToPosition(Cross, 3, 1);
SetToPosition(Curve2, 1, 1);
SetToPosition(Straight1, 1, 2);
SetToPosition(Straight1, 3, 2);
SetToPosition(Sprung2, 0, 3);
SetToPosition(Lazy, 1, 3);
SetToPosition(Straight2, 2, 3);
SetToPosition(Sprung1, 3, 3);
SetToPosition(Curve1, 0, 4);
SetToPosition(Straight2, 1, 4);
SetToPosition(Curve3, 2, 4);
}
private void SetConn()
{
RailParts rp = new RailParts();
int OutYPos = m_core.YRailsCnt + m_States;
int OutXPos = m_core.BeginRailsOuts + m_States * 2;
MyPGM Sprung1 = rp.GetSprung(false);
Sprung1.Rotate90();
Sprung1.MirrorY();
MyPGM Sprung2 = rp.GetSprung(false);
Sprung2.Rotate270();
Sprung2.MirrorY();
MyPGM Sprung3 = rp.GetSprung(true);
Sprung3.Rotate270();
Sprung3.MirrorY();
for (int i = 0; i < m_States; i++)
{
for (int j = 0; j < m_States; j++)
{
if (j == i)
{
SetField(Sprung1, m_States * 2 - j - 1, ReadWriteHead.YRailsCnt * i + ReadWriteHead.XReadInput + m_States + 1);
SetField(Sprung2, j, ReadWriteHead.YRailsCnt * i + ReadWriteHead.XReadInput + m_States + 1);
SetField(rp.GetCurve(1), m_States * 4 + ReadWriteHead.XRailsCnt + i + 1, ReadWriteHead.YRailsCnt * i + ReadWriteHead.XReadInput + m_States + 1);
SetField(Sprung3, m_States * 5 + ReadWriteHead.XRailsCnt + m_States - i, ReadWriteHead.YRailsCnt * i + ReadWriteHead.XReadInput + m_States + 1);
}
else if (j < i)
{
SetField(rp.GetCrossing(), m_States * 2 - j - 1, ReadWriteHead.YRailsCnt * i + ReadWriteHead.XReadInput + m_States + 1);
SetField(rp.GetStraight(1), j, ReadWriteHead.YRailsCnt * i + ReadWriteHead.XReadInput + m_States + 1);
SetField(rp.GetStraight(1), m_States * 4 + ReadWriteHead.XRailsCnt + i + 1, ReadWriteHead.YRailsCnt * j + ReadWriteHead.XReadInput + m_States + 1);
SetField(rp.GetStraight(1), m_States * 5 + ReadWriteHead.XRailsCnt + m_States - j, ReadWriteHead.YRailsCnt * i + ReadWriteHead.XReadInput + m_States + 1);
}
else
{
SetField(rp.GetStraight(1), m_States * 2 - j - 1, ReadWriteHead.YRailsCnt * i + ReadWriteHead.XReadInput + m_States + 1);
SetField(rp.GetCrossing(), j, ReadWriteHead.YRailsCnt * i + ReadWriteHead.XReadInput + m_States + 1);
SetField(rp.GetStraight(0), m_States * 4 + ReadWriteHead.XRailsCnt + i + 1, ReadWriteHead.YRailsCnt * j + ReadWriteHead.XReadInput + m_States + 1);
SetField(rp.GetCrossing(), m_States * 5 + ReadWriteHead.XRailsCnt + m_States - j, ReadWriteHead.YRailsCnt * i + ReadWriteHead.XReadInput + m_States + 1);
}
}
for (int j = i; j < m_States - 1; j++)
{
for (int z = 1; z < ReadWriteHead.YRailsCnt; z++)
{
SetField(rp.GetStraight(0), m_States * 2 - i - 1, ReadWriteHead.YRailsCnt * j + ReadWriteHead.XReadInput + m_States + 1 + z);
SetField(rp.GetStraight(0), m_States * 4 + ReadWriteHead.XRailsCnt + i + 1, ReadWriteHead.YRailsCnt * j + ReadWriteHead.XReadInput + m_States + 1 + z);
}
}
for (int j = 0; j < i; j++)
{
for (int z = 1; z < ReadWriteHead.YRailsCnt; z++)
{
SetField(rp.GetStraight(0), i, ReadWriteHead.YRailsCnt * j + ReadWriteHead.XReadInput + m_States + 1 + z);
SetField(rp.GetStraight(0), m_States * 5 + ReadWriteHead.XRailsCnt + (m_States - i - 1) + 1, ReadWriteHead.YRailsCnt * j + ReadWriteHead.XReadInput + m_States + 1 + z);
}
}
for (int j = 0; j < (ReadWriteHead.YRailsCnt - ReadWriteHead.XReadInput); j++)
{
SetField(rp.GetStraight(0), m_States + i, ReadWriteHead.YRailsCnt * m_States + m_States + j);
SetField(rp.GetStraight(0), m_States * 4 + ReadWriteHead.XRailsCnt + 1 + i, ReadWriteHead.YRailsCnt * m_States + m_States + j);
}
for (int j = m_States * 2; j < OutXPos; j++)
{
SetField(rp.GetStraight(1), j, OutYPos + i);
}
for (int j = m_States; j < m_States * 3 + m_core.XRailsCnt; j++)
{
SetField(rp.GetStraight(1), j, i);
}
for (int j = 0; j < ReadWriteHead.XReadInput + 1; j++)
{
SetField(rp.GetStraight(0), i, j + m_States);
SetField(rp.GetStraight(0), m_States * 3 + m_core.XRailsCnt + i, j + m_States);
}
}
SetRound(m_States, OutXPos, OutYPos, 2);
SetRound(m_States, m_States, OutYPos, 3);
SetRound(m_States, OutXPos + m_States, OutYPos, 3);
SetRound(m_States, OutXPos + m_States + m_States, OutYPos, 2);
SetRound(m_States, 0, 0, 0);
SetRound(m_States, m_States * 3 + m_core.XRailsCnt, 0, 1);
}
private void SetField(MyPGM pgm, int X, int Y)
{
RailParts.SetField(m_EnvPgm, pgm, X, Y);
}
private void SetSubroutine(int States)
{
RailParts rp = new RailParts();
MyPGM Lazy = rp.GetLazy(false);
Lazy.MirrorX();
Lazy.Rotate90();
MyPGM Sprung1 = rp.GetSprung(false);
Sprung1.MirrorY();
MyPGM Sprung2 = rp.GetSprung(false);
Sprung2.Rotate180();
int[] SubConn = null;
MyPGM Begins = GetSubroutineConn(States, ref SubConn);
bool OneCurveSet = false;
// Paint Subroutine
for (int i = SubConn.Length; i > 0; i--)
{
if (SubConn[i - 1] > 1)
{
if (OneCurveSet)
{
SetField(Lazy, 1 + ReadWriteHead.XRailsCnt + i - 1, 0);
}
else
{
SetField(rp.GetCurve(2), 1 + ReadWriteHead.XRailsCnt + i - 1, 0);
}
OneCurveSet = true;
}
else
{
if (OneCurveSet)
{
SetField(rp.GetStraight(1), 1 + ReadWriteHead.XRailsCnt + i - 1, 0);
}
}
}
// Paint Connections
int XStartPos = ReadWriteHead.XRailsCnt + 1;
int YStartPos = 1;
for (int i = 0; i < Begins.YSize; i++)
{
for (int j = 0; j < Begins.XSize; j++)
{
int Val = Begins.GetValue(j, i);
if (Val == 1)
{
SetField(rp.GetStraight(0), XStartPos + j, YStartPos + i);
}
else if (Val == 2)
{
SetField(Sprung1, XStartPos + j, YStartPos + i);
}
else if (Val == 3)
{
SetField(rp.GetCurve(2), XStartPos + j, YStartPos + i);
}
else if (Val == 4)
{
SetField(rp.GetCrossing(), XStartPos + j, YStartPos + i);
}
else if (Val == 5)
{
SetField(Sprung2, XStartPos + j, YStartPos + i);
}
else if (Val == 6)
{
SetField(rp.GetStraight(1), XStartPos + j, YStartPos + i);
}
}
}
int LastPos = Begins.YSize - 1;
for (int i = 0; i < Begins.XSize; i++)
{
if (Begins.GetValue(i, LastPos) > 0)
{
m_Connected[i] = 1;
}
else
{
m_Connected[i] = 0;
}
}
}