public WamEnvironment(WamEnvironment predecessor, WamInstructionPointer returnInstructionPointer, WamChoicePoint cutChoicePoint) { Id = _nextId++; Predecessor = predecessor; ReturnInstructionPointer = returnInstructionPointer; CutChoicePoint = cutChoicePoint; PermanentRegisters = new WamReferenceTargetList(); }
public WamEnvironment(WamEnvironment predecessor, WamInstructionPointer returnInstructionPointer, WamChoicePoint cutChoicePoint) { m_id = s_nextId++; m_predecessor = predecessor; m_returnInstructionPointer = returnInstructionPointer; m_cutChoicePoint = cutChoicePoint; m_permanentRegisters = new WamReferenceTargetList(); }