net.automatalib.util.ts.acceptors

Class DetAcceptorComposition<S1,S2,I,A1 extends DeterministicAcceptorTS<S1,I>,A2 extends DeterministicAcceptorTS<S2,I>>

java.lang.Object

net.automatalib.ts.comp.DTSComposition<S1,S2,I,S1,S2,A1,A2>

net.automatalib.util.ts.acceptors.DetAcceptorComposition<S1,S2,I,A1,A2>

All Implemented Interfaces:

AcceptorTS<IPair<S1,S2>,I>, DeterministicAcceptorTS<IPair<S1,S2>,I>, DeterministicTransitionSystem<IPair<S1,S2>,I,IPair<S1,S2>>, SimpleDTS<IPair<S1,S2>,I>, SimpleTS<IPair<S1,S2>,I>, TransitionSystem<IPair<S1,S2>,I,IPair<S1,S2>>, UniversalDTS<IPair<S1,S2>,I,IPair<S1,S2>,Boolean,Void>, UniversalTransitionSystem<IPair<S1,S2>,I,IPair<S1,S2>,Boolean,Void>

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<IPair<S1,S2>,I>

Field Summary

Fields inherited from class net.automatalib.ts.comp.DTSComposition

allowPartial, ts1, ts2

Constructor Summary

Constructors

Constructor and Description
DetAcceptorComposition(A1 ts1, A2 ts2, AcceptanceCombiner combiner)

Method Summary

Modifier and Type	Method and Description
boolean	isAccepting(IPair<S1,S2> state)

Methods inherited from class net.automatalib.ts.comp.DTSComposition

getFirstTS, getInitialState, getSecondTS, getSuccessor, getTransition

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.automatalib.ts.acceptors.DeterministicAcceptorTS

accepts, isAccepting

Methods inherited from interface net.automatalib.ts.acceptors.AcceptorTS

getStateProperty, getSuccessor, getTransitionProperty

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransition, getTransitions, transToSet

Methods inherited from interface net.automatalib.ts.TransitionSystem

powersetView

Methods inherited from interface net.automatalib.ts.simple.SimpleDTS

getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

createDynamicStateMapping, createStaticStateMapping, getSuccessors

Constructor Detail

DetAcceptorComposition

public DetAcceptorComposition(A1 ts1,
                              A2 ts2,
                              AcceptanceCombiner combiner)

Method Detail

isAccepting

public boolean isAccepting(IPair<S1,S2> state)

Specified by:

isAccepting in interface AcceptorTS<IPair<S1,S2>,I>