Class AssertionCycleApproximation

  extended by dk.brics.string.grammar.operations.AssertionCycleApproximation

public class AssertionCycleApproximation
extends Object

Assertions involved in operation cycles are replaced by unit productions to prevent them from provoking a character set approximation that would not otherwise occur.

That is, a production of form X -> assertOp(Y,Z) can be replaced with X -> Y.

Strongly connected components are found independently of OperationCycleApproximation, so any components that might be broken by this approximation will not be subject to character set approximation afterwards.


Constructor Summary
AssertionCycleApproximation(Grammar g)
Method Summary
 void approximate()
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail


public AssertionCycleApproximation(Grammar g)
Method Detail


public void approximate()

Copyright © 2003-2009 Anders Møller, Aske Simon Christensen, Asger Feldthaus.