public class DetAcceptorComposition<S1,S2,I,A1 extends DeterministicAcceptorTS<S1,I>,A2 extends DeterministicAcceptorTS<S2,I>> extends DTSComposition<S1,S2,I,S1,S2,A1,A2> implements DeterministicAcceptorTS<Pair<S1,S2>,I>
allowPartial, ts1, ts2
Constructor and Description |
---|
DetAcceptorComposition(A1 ts1,
A2 ts2,
AcceptanceCombiner combiner) |
Modifier and Type | Method and Description |
---|---|
boolean |
accepts(Iterable<? extends I> input)
Determines whether the given input word is accepted by this acceptor.
|
Boolean |
getStateProperty(Pair<S1,S2> state)
Retrieves the state property for the given state.
|
Void |
getTransitionProperty(Pair<S1,S2> transition)
Retrieves the transition property for the given state.
|
boolean |
isAccepting(Pair<S1,S2> state)
Checks whether the given state is accepting.
|
getFirstTS, getInitialState, getSecondTS, getSuccessor, getTransition
getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions
createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getTransition
getSuccessor, getTransitions, powersetView
getInitialState, getState, getSuccessor, getSuccessor
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
public DetAcceptorComposition(A1 ts1, A2 ts2, AcceptanceCombiner combiner)
public boolean isAccepting(Pair<S1,S2> state)
AcceptorTS
isAccepting
in interface AcceptorTS<Pair<S1,S2>,I>
state
- the statetrue
if the state is accepting, false
otherwise.public boolean accepts(Iterable<? extends I> input)
AcceptorTS
public Boolean getStateProperty(Pair<S1,S2> state)
UniversalTransitionSystem
public Void getTransitionProperty(Pair<S1,S2> transition)
UniversalTransitionSystem
Copyright © 2015. All rights reserved.