|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.buffalo.nsf.xmlcqa.data.dtd.NDFA
edu.buffalo.nsf.xmlcqa.data.dtd.RegExpr
edu.buffalo.nsf.xmlcqa.data.dtd.Clousure
A class representing Kleene's clousure. The expression of which the colsure is
being defined can be accessed with getExpr()
method. The set of words
defined by this regular expression is defined to beexactly those who are
concatenation of any (incuding zero) number of words satisfying the
subexpression.
Field Summary | |
---|---|
protected RegExpr |
expr
|
Fields inherited from class edu.buffalo.nsf.xmlcqa.data.dtd.NDFA |
---|
EPSILON |
Fields inherited from interface edu.buffalo.nsf.xmlcqa.Constants |
---|
INF |
Constructor Summary | |
---|---|
Clousure(RegExpr expr)
Standard constructor. |
Method Summary | |
---|---|
protected void |
_fillDelta(boolean[][][] delta,
int offset)
Used to fill tag driven part of the transition table of a regular expression whose position if relative to offset . |
protected void |
_fillEpsilonDelta(boolean[][] delta,
int offset)
Used to fill epsilon part of the transition talbe of a regular expressio whose possition is relative to offset . |
protected void |
_fillFinalStates(boolean[] f,
int offset)
Used to indicate final states of a regular expression whose position is relative to offset . |
protected int |
_getStateCount()
Should return the number of states the implementation is using. |
NDFA |
getExpr()
Access the expression of which the closure is defined. |
java.lang.String |
toString()
Returns a string representation of this regular expression. |
Methods inherited from class edu.buffalo.nsf.xmlcqa.data.dtd.RegExpr |
---|
getDelta, getEpsilonDelta, getFinalStates, getFstIndTrDelta, getFstTagTrDelta, getMinCostDelta, getStateCount |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
protected RegExpr expr
Constructor Detail |
public Clousure(RegExpr expr)
expr
- the regular expression of which the closure is being createdMethod Detail |
protected void _fillDelta(boolean[][][] delta, int offset)
RegExpr
offset
. The implementing class doesn't
have indicate transitions obtained in a consequence of clousure under epsilon transition.
This clousure will be computed automatically by this class.
_fillDelta
in class RegExpr
protected void _fillEpsilonDelta(boolean[][] delta, int offset)
RegExpr
offset
. The implementing class doesn't
have indicate transitions obtained in the consequence of the clousure. This clousure
will be computed by this class.
_fillEpsilonDelta
in class RegExpr
protected void _fillFinalStates(boolean[] f, int offset)
RegExpr
offset
.
_fillFinalStates
in class RegExpr
protected int _getStateCount()
RegExpr
RegExpr.getStateCount()
method (memoization).
_getStateCount
in class RegExpr
public NDFA getExpr()
public java.lang.String toString()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |