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)
{
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)
{
m_id = s_nextId++;
m_predecessor = predecessor;
m_returnInstructionPointer = returnInstructionPointer;
m_cutChoicePoint = cutChoicePoint;
m_permanentRegisters = new WamReferenceTargetList();
}
public WamChoicePoint(WamChoicePoint predecessor, WamEnvironment environment, int stackIndex, WamInstructionPointer returnInstructionPointer, IEnumerable<WamReferenceTarget> argumentRegisters, WamChoicePoint cutChoicePoint)
{
m_generation = s_nextGeneration++;
m_predecessor = predecessor;
m_environment = environment;
m_stackIndex = stackIndex;
m_returnInstructionPointer = returnInstructionPointer;
m_argumentRegisters = new WamReferenceTargetList(argumentRegisters);
m_cutChoicePoint = cutChoicePoint;
m_backtrackInstructionPointer = WamInstructionPointer.Undefined;
m_predicateEnumerator = null;
m_trail = new List<WamVariable>();
}
public WamChoicePoint(WamChoicePoint predecessor, WamEnvironment environment, int stackIndex, WamInstructionPointer returnInstructionPointer, IEnumerable<WamReferenceTarget> argumentRegisters, WamChoicePoint cutChoicePoint)
{
Generation = NextGeneration++;
Predecessor = predecessor;
Environment = environment;
StackIndex = stackIndex;
ReturnInstructionPointer = returnInstructionPointer;
ArgumentRegisters = new WamReferenceTargetList(argumentRegisters);
CutChoicePoint = cutChoicePoint;
BacktrackInstructionPointer = WamInstructionPointer.Undefined;
PredicateEnumerator = null;
Trail = new List<WamVariable>();
}
public WamContext()
{
ArgumentRegisters = new WamReferenceTargetList();
TemporaryRegisters = new WamReferenceTargetList();
}
