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 |
isAccepting(Pair<S1,S2> state)
Checks whether the given state is accepting.
|
getFirstTS, getInitialState, getSecondTS, getSuccessor, getTransition
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
accepts, computeOutput, isAccepting
getStateProperty, getSuccessor, getTransitionProperty
getTransitionProperty
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, createStaticStateMapping, 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.Copyright © 2019. All rights reserved.