public GNode(NODE node, GNode predecessor, SCFGBuilder builder)
{
this.astNode = node;
successors = new LinkedList <GNode>();
if (predecessor != null)
{
predecessor.successors.AddLast(this);
}
builder.allNodes.AddLast(this);
}
public ProtocolValidator(SCFGBuilder scfg, PROTOCOL_DECL aprot)
{
this.scfg = scfg;
this.aprot = aprot;
}
