Modifier and Type | Method and Description |
---|---|
AbstractWordBasedDTNode<I,O,HState<I,O,SP,TP>> |
HTransition.getDT() |
AbstractWordBasedDTNode<I,O,HState<I,O,SP,TP>> |
HState.getDTLeaf() |
Modifier and Type | Method and Description |
---|---|
void |
HTransition.setDT(AbstractWordBasedDTNode<I,O,HState<I,O,SP,TP>> dtNode) |
void |
HState.setDTLeaf(AbstractWordBasedDTNode<I,O,HState<I,O,SP,TP>> dtLeaf) |
Constructor and Description |
---|
HTransition(HState<I,O,SP,TP> source,
I symbol,
AbstractWordBasedDTNode<I,O,HState<I,O,SP,TP>> dtTgt) |
Modifier and Type | Field and Description |
---|---|
AbstractWordBasedDTNode<I,D,StateInfo<I,D>> |
StateInfo.dtNode |
Modifier and Type | Method and Description |
---|---|
LCAInfo<Boolean,AbstractWordBasedDTNode<I,Boolean,StateInfo<I,Boolean>>> |
KearnsVaziraniDFA.KVAbstractCounterexample.getLCA(int idx) |
Modifier and Type | Method and Description |
---|---|
LCAInfo<net.automatalib.words.Word<O>,AbstractWordBasedDTNode<I,net.automatalib.words.Word<O>,StateInfo<I,net.automatalib.words.Word<O>>>> |
KearnsVaziraniMealy.KVAbstractCounterexample.getLCA(int idx) |
Modifier and Type | Class and Description |
---|---|
class |
BinaryDTNode<I,D>
Binary discrimination tree node specialization.
|
class |
MultiDTNode<I,O,D>
Generic n-ary discrimination tree node specialization.
|
Modifier and Type | Method and Description |
---|---|
protected Map<O,AbstractWordBasedDTNode<I,O,D>> |
MultiDTNode.createChildMap() |
protected Map<Boolean,AbstractWordBasedDTNode<I,Boolean,D>> |
BinaryDTNode.createChildMap() |
Modifier and Type | Method and Description |
---|---|
AbstractWordBasedDTNode<I,O,D> |
AbstractWordBasedDiscriminationTree.sift(AbstractWordBasedDTNode<I,O,D> start,
net.automatalib.words.Word<I> prefix) |
Modifier and Type | Method and Description |
---|---|
AbstractWordBasedDTNode<I,O,D> |
AbstractWordBasedDiscriminationTree.sift(AbstractWordBasedDTNode<I,O,D> start,
net.automatalib.words.Word<I> prefix) |
Constructor and Description |
---|
AbstractWordBasedDiscriminationTree(AbstractWordBasedDTNode<I,O,D> root,
MembershipOracle<I,O> oracle) |
AbstractWordBasedDTNode(AbstractWordBasedDTNode<I,O,D> parent,
O parentOutcome,
D data) |
Copyright © 2018. All rights reserved.