I
- input symbol typeO
- SUL output typeSP
- state property typeTP
- transition property typepublic class DTLearnerHypothesis<I,O,SP,TP> extends Object implements UniversalDeterministicAutomaton<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>,SP,TP>, AccessSequenceTransformer<I>, StateIDs<HState<I,O,SP,TP>>
Modifier and Type | Class and Description |
---|---|
class |
DTLearnerHypothesis.GraphView |
Constructor and Description |
---|
DTLearnerHypothesis(Alphabet<I> alphabet) |
Modifier and Type | Method and Description |
---|---|
HState<I,O,SP,TP> |
createState(HTransition<I,O,SP,TP> treeIncoming) |
HState<I,O,SP,TP> |
getInitialState() |
HState<I,O,SP,TP> |
getState(int id) |
int |
getStateId(HState<I,O,SP,TP> state) |
SP |
getStateProperty(HState<I,O,SP,TP> state) |
Collection<HState<I,O,SP,TP>> |
getStates() |
HState<I,O,SP,TP> |
getSuccessor(HTransition<I,O,SP,TP> trans) |
HTransition<I,O,SP,TP> |
getTransition(HState<I,O,SP,TP> state,
I symbol) |
TP |
getTransitionProperty(HTransition<I,O,SP,TP> trans) |
DTLearnerHypothesis.GraphView |
graphView() |
boolean |
isAccessSequence(Word<I> word) |
StateIDs<HState<I,O,SP,TP>> |
stateIDs() |
Word<I> |
transformAccessSequence(Word<I> word) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getSuccessor, getSuccessors, getTransitions, transToSet
getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
transitionGraphView
createStaticStateMapping, iterator, size
forEach, spliterator
powersetView
createDynamicStateMapping, getSuccessors
public HTransition<I,O,SP,TP> getTransition(HState<I,O,SP,TP> state, I symbol)
getTransition
in interface DeterministicTransitionSystem<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>>
public SP getStateProperty(HState<I,O,SP,TP> state)
getStateProperty
in interface UniversalTransitionSystem<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>,SP,TP>
public boolean isAccessSequence(Word<I> word)
isAccessSequence
in interface AccessSequenceTransformer<I>
public Word<I> transformAccessSequence(Word<I> word)
transformAccessSequence
in interface AccessSequenceTransformer<I>
public HState<I,O,SP,TP> getSuccessor(HTransition<I,O,SP,TP> trans)
getSuccessor
in interface TransitionSystem<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>>
public TP getTransitionProperty(HTransition<I,O,SP,TP> trans)
getTransitionProperty
in interface UniversalTransitionSystem<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>,SP,TP>
public DTLearnerHypothesis.GraphView graphView()
Copyright © 2015. All rights reserved.