| Modifier and Type | Method and Description |
|---|---|
protected HState<I,O,SP,TP> |
AbstractDTLearner.createState(HTransition<I,O,SP,TP> trans) |
protected abstract Query<I,O> |
AbstractDTLearner.tpQuery(HTransition<I,O,SP,TP> transition) |
protected void |
AbstractDTLearner.updateTransition(HTransition<I,O,SP,TP> trans) |
| Modifier and Type | Method and Description |
|---|---|
protected Query<I,Boolean> |
DTLearnerDFA.tpQuery(HTransition<I,Boolean,Boolean,Void> transition) |
| Modifier and Type | Method and Description |
|---|---|
HTransition<I,O,SP,TP> |
DTLearnerHypothesis.getTransition(HState<I,O,SP,TP> state,
I symbol) |
HTransition<I,O,SP,TP> |
HState.getTransition(int transIdx) |
HTransition<I,O,SP,TP> |
HState.getTreeIncoming() |
| Modifier and Type | Method and Description |
|---|---|
net.automatalib.graphs.dot.GraphDOTHelper<HState<I,O,SP,TP>,HTransition<I,O,SP,TP>> |
DTLearnerHypothesis.GraphView.getGraphDOTHelper() |
Collection<HTransition<I,O,SP,TP>> |
DTLearnerHypothesis.GraphView.getOutgoingEdges(HState<I,O,SP,TP> node) |
Collection<HTransition<I,O,SP,TP>> |
HState.getOutgoingTransitions() |
| Modifier and Type | Method and Description |
|---|---|
void |
HState.addNonTreeIncoming(HTransition<I,O,SP,TP> trans) |
HState<I,O,SP,TP> |
DTLearnerHypothesis.createState(HTransition<I,O,SP,TP> treeIncoming) |
HState<I,O,SP,TP> |
DTLearnerHypothesis.getSuccessor(HTransition<I,O,SP,TP> trans) |
HState<I,O,SP,TP> |
DTLearnerHypothesis.GraphView.getTarget(HTransition<I,O,SP,TP> edge) |
TP |
DTLearnerHypothesis.getTransitionProperty(HTransition<I,O,SP,TP> trans) |
void |
HState.setTransition(int transIdx,
HTransition<I,O,SP,TP> transition) |
| Modifier and Type | Method and Description |
|---|---|
void |
HState.fetchNonTreeIncoming(Collection<? super HTransition<I,O,SP,TP>> target) |
| Constructor and Description |
|---|
HState(int alphabetSize,
int id,
HTransition<I,O,SP,TP> treeIncoming) |
| Modifier and Type | Method and Description |
|---|---|
protected Query<I,net.automatalib.words.Word<O>> |
DTLearnerMealy.tpQuery(HTransition<I,net.automatalib.words.Word<O>,Void,O> transition) |
Copyright © 2014. All Rights Reserved.