I
- input symbol typepublic final class Splitter<I> extends Object
A splitter is represented by an input symbol, and a DT node that separates the successors (wrt. the input symbol) of the original states. From this, a discriminator can be obtained by prepending the input symbol to the discriminator that labels the separating successor.
Note: as the discriminator finalization is applied to the root of a block and affects all nodes, there is no need to store references to the source states from which this splitter was obtained.
Modifier and Type | Class and Description |
---|---|
static class |
Splitter.SplitType |
Modifier and Type | Field and Description |
---|---|
HypLoc<I> |
location |
I |
otherSymbol |
DTNode<I> |
succSeparator |
I |
symbol |
Splitter.SplitType |
type |
Constructor and Description |
---|
Splitter(I symbol,
DTNode<I> succSeparator) |
Splitter(I symbol,
HypLoc<I> location,
I otherSymbol,
boolean call,
DTNode<I> succSeparator) |
Modifier and Type | Method and Description |
---|---|
ContextPair<I> |
getDiscriminator() |
ContextPair<I> |
getNewDiscriminator() |
int |
getNewDiscriminatorLength() |
public final I symbol
public final I otherSymbol
public final Splitter.SplitType type
public ContextPair<I> getDiscriminator()
public ContextPair<I> getNewDiscriminator()
public int getNewDiscriminatorLength()
Copyright © 2018. All rights reserved.