public Factor Factor(string processName, string postProcessName, IFactExpr factExpr)
{
return(new Factor(_tracer, factExpr)
{
PreActionName = processName,
PostActionName = postProcessName
});
}
public Factor Factor(IFactExpr factExpr)
{
return(new Factor(_tracer, factExpr));
}
public Factor(IDebugTracer tracer, IFactExpr factExpr)
{
_tracer = tracer;
_factExpr = factExpr;
NodeName = "factor" + ++_counter;
}
