public override int VisitNot(CNot node)
{
ExtractSubgraphs(node, CNot.CT_BODY, CNot.ContextNames);
base.VisitNot(node);
m_ostream.WriteLine("{0}->{1}", currentParent.M_GraphVizName, node.M_GraphVizName);
return(0);
}
public override int VisitNot(CNot node)
{
int context = m_parentContexts.Peek();
CEmmitableCodeContainer rep = m_parents.Peek() as CEmmitableCodeContainer;
rep.AddCode("!", context);
rep.AddCode("(", context);
foreach (ASTVisitableElement child in
node.GetChildrenContext(CNot.CT_BODY))
{
Visit(child);
}
rep.AddCode(")", context);
return(0);
}
public virtual T VisitNot(CNot node)
{
return(VisitChildren(node));
}
