public static History DummyHistory()
{
History rib = new UnmarkedHistory(new HistoryRib());
rib.Expression = null;
rib.Environment = null;
rib.NextReduction = rib;
History vertebra = new UnmarkedHistory(new HistoryVertebra());
vertebra.Rib = rib;
vertebra.NextSubproblem = vertebra;
vertebra.PreviousSubproblem = vertebra;
return(vertebra);
}
public static History DummyHistory()
{
History rib = new UnmarkedHistory (new HistoryRib ());
rib.Expression = null;
rib.Environment = null;
rib.NextReduction = rib;
History vertebra = new UnmarkedHistory (new HistoryVertebra ());
vertebra.Rib = rib;
vertebra.NextSubproblem = vertebra;
vertebra.PreviousSubproblem = vertebra;
return vertebra;
}
