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();
}
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();
}
