public Effects
(ReadWriteVectorDomain args, ReadWriteVectorDomain locals, ReadWriteDomain heap, BooleanDomain mayThrow)
{
Args = args;
Locals = locals;
Heap = heap;
MayThrow = mayThrow;
}
public Effects(IntSet argsIsRead, IntSet argsIsWrite, IntSet localsIsRead, IntSet localsIsWrite,
bool heapIsRead, bool heapIsWrite, bool exceptions)
{
Args = new ReadWriteVectorDomain(argsIsRead, argsIsWrite);
Locals = new ReadWriteVectorDomain(localsIsRead, localsIsWrite);
Heap = new ReadWriteDomain(heapIsRead, heapIsWrite);
MayThrow = new BooleanDomain(exceptions);
}
public Effects(DroppedDomain <VariableEffects> vars, ReadWriteDomain heap, BooleanDomain mayThrow)
{
Vars = vars;
Heap = heap;
MayThrow = mayThrow;
}
