org.stekikun.dolmen.codegen

Class DecisionTree.Split

java.lang.Object

org.stekikun.dolmen.codegen.DecisionTree

org.stekikun.dolmen.codegen.DecisionTree.Split

Enclosing class:

DecisionTree

public static final class DecisionTree.Split
extends DecisionTree

An implementation of DecisionTree which represents a binary choice with respect to some pivot character:

• every character below or equal to the pivot is mapped to the result of a recursive decision tree left
• every character higher than the pivot is mapped to the result of a recursive decision tree right

This implementation is used as an internal node to implement binary decision trees. NB: Note that the transitions in left and right recursive subtrees are only relevant for the intervals resp. below and above the pivot, which means it is possible to use DecisionTree.Return as a leaf and it will only be applied to some sub-interval.

Author:

Stéphane Lescuyer

Nested Class Summary

Nested classes/interfaces inherited from class org.stekikun.dolmen.codegen.DecisionTree

DecisionTree.Impossible, DecisionTree.Kind, DecisionTree.Return, DecisionTree.Split, DecisionTree.Switch, DecisionTree.Table

Field Summary

Fields

Modifier and Type	Field and Description
DecisionTree	left The decision tree to use for characters c <= pivot
char	pivot The pivot character
DecisionTree	right The decision tree to use for characters c > pivot

Fields inherited from class org.stekikun.dolmen.codegen.DecisionTree

IMPOSSIBLE

Method Summary

Modifier and Type	Method and Description
CSet	getDomain()
DecisionTree.Kind	getKind()

Methods inherited from class org.stekikun.dolmen.codegen.DecisionTree

compile, main, ret, simplify, split, switchTable, tabulated, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

pivot

public final char pivot

The pivot character

left

public final DecisionTree left

The decision tree to use for characters c <= pivot

right

public final DecisionTree right

The decision tree to use for characters c > pivot

Method Detail

getDomain

public CSet getDomain()

Specified by:

getDomain in class DecisionTree

Returns:

the domain set for which this transition table is defined, i.e. the characters which are mapped to some shifting action

getKind

public DecisionTree.Kind getKind()

Specified by:

getKind in class DecisionTree

Returns:

what kind of decision tree this is