Example #1
0
        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);
        }
Example #2
0
 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;
 }