dk.brics.servletvalidator.balancing.pimages
Class DGraph

java.lang.Object
  dk.brics.servletvalidator.graph.AbstractInliningGraph<ParenthesisArc,ParenthesisRefVertex>
      dk.brics.servletvalidator.balancing.pimages.DGraph

All Implemented Interfaces:

InliningGraph<ParenthesisArc,ParenthesisRefVertex>

public class DGraph
extends AbstractInliningGraph<ParenthesisArc,ParenthesisRefVertex>

A directed graph of parenthesis as described in [Knuth]. Should be constructed by first adding all NonTerminals and then adding all productions.

Field Summary

Fields inherited from class dk.brics.servletvalidator.graph.AbstractInliningGraph

vertices

Constructor Summary

DGraph(AbstractBalancingVisitor fq, ParenthesisModel m)

Method Summary

void	addNonTerminal(NonTerminal n)
void	addProduction(Production p)

Methods inherited from class dk.brics.servletvalidator.graph.AbstractInliningGraph

getSinkNodes, getVertices, removeNode

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DGraph

public DGraph(AbstractBalancingVisitor fq,
              ParenthesisModel m)

Method Detail

addNonTerminal

public void addNonTerminal(NonTerminal n)

addProduction

public void addProduction(Production p)