Package relaxngcc.builder
Class NullableChecker
java.lang.Object
relaxngcc.builder.NullableChecker
Computes the nullability of scopes.
A state s is said to be "reachable by epsilon" if
- it is an initial state, or
- a state s' is nullable, and there is a transition from s' to s by ref[X], and X is nullable.
We say an automaton X is nullable if one of its final state is "reachable by epsilon." Informally, this means X can accept the empty tree.
- Author:
- Kohsuke Kawaguchi (kk@kohsuke.org)
-
Constructor Summary
Constructors -
Method Summary
-
Constructor Details
-
NullableChecker
public NullableChecker()
-
-
Method Details
-
computeNullability
-