dk.brics.string.grammar.operations
Class AssertionCycleApproximation

java.lang.Object
  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.

Author:

Asger

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

AssertionCycleApproximation

public AssertionCycleApproximation(Grammar g)

Method Detail

approximate

public void approximate()