public class InlineTree
extends java.lang.Object
| Constructor and Description |
|---|
InlineTree() |
| Modifier and Type | Method and Description |
|---|---|
static EfficientTree |
concurrent(EfficientTree child1,
EfficientTree... children)
Construct a new tree by putting the given children concurrent.
|
static EfficientTree |
concurrent(java.util.List<EfficientTree> children)
Construct a new tree by putting the given children concurrent.
|
static EfficientTree |
interleaved(EfficientTree child1,
EfficientTree... children)
Construct a new tree by putting the given children interleaved.
|
static EfficientTree |
interleaved(java.util.List<EfficientTree> children)
Construct a new tree by putting the given children interleaved.
|
static EfficientTree |
leaf(java.lang.String label) |
static EfficientTree |
loop(EfficientTree body,
EfficientTree redo,
EfficientTree exit)
Construct a new tree by putting the given children in loop.
|
static EfficientTree |
loop(java.util.List<EfficientTree> children)
Construct a new tree by putting the given children in loop.
|
static EfficientTree |
or(EfficientTree child1,
EfficientTree... children)
Construct a new tree by putting the given children in an inclusive or.
|
static EfficientTree |
or(java.util.List<EfficientTree> children)
Construct a new tree by putting the given children in an inclusive or.
|
static EfficientTree |
sequence(EfficientTree child1,
EfficientTree... children)
Construct a new tree by putting the given children in sequence.
|
static EfficientTree |
sequence(java.util.List<EfficientTree> children)
Construct a new tree by putting the given children in sequence.
|
static EfficientTree |
tau() |
static EfficientTree |
xor(EfficientTree child1,
EfficientTree... children)
Construct a new tree by putting the given children in xor.
|
static EfficientTree |
xor(java.util.List<EfficientTree> children)
Construct a new tree by putting the given children in xor.
|
public static EfficientTree leaf(java.lang.String label)
label - public static EfficientTree tau()
public static EfficientTree xor(EfficientTree child1, EfficientTree... children)
child1 - children - public static EfficientTree xor(java.util.List<EfficientTree> children)
children - public static EfficientTree sequence(EfficientTree child1, EfficientTree... children)
child1 - children - public static EfficientTree sequence(java.util.List<EfficientTree> children)
children - public static EfficientTree concurrent(EfficientTree child1, EfficientTree... children)
child1 - children - public static EfficientTree concurrent(java.util.List<EfficientTree> children)
children - public static EfficientTree loop(EfficientTree body, EfficientTree redo, EfficientTree exit)
child1 - children - public static EfficientTree loop(java.util.List<EfficientTree> children)
children - public static EfficientTree interleaved(EfficientTree child1, EfficientTree... children)
child1 - children - public static EfficientTree interleaved(java.util.List<EfficientTree> children)
children - public static EfficientTree or(EfficientTree child1, EfficientTree... children)
child1 - children - public static EfficientTree or(java.util.List<EfficientTree> children)
children -