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.abstractimpl.AbstractTS<S,I,T>

net.automatalib.ts.abstractimpl.AbstractDTS<Pair<S1,S2>,I,Pair<T1,T2>>

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<Pair<S1,S2>,I>, DeterministicAcceptorTS<Pair<S1,S2>,I>, DeterministicTransitionSystem<Pair<S1,S2>,I,Pair<S1,S2>>, SimpleDTS<Pair<S1,S2>,I>, SimpleTS<Pair<S1,S2>,I>, TransitionSystem<Pair<S1,S2>,I,Pair<S1,S2>>, UniversalDTS<Pair<S1,S2>,I,Pair<S1,S2>,Boolean,Void>, UniversalTransitionSystem<Pair<S1,S2>,I,Pair<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<Pair<S1,S2>,I>

Field Summary

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

ts1, ts2

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
boolean	accepts(Iterable<I> input)
Boolean	getStateProperty(Pair<S1,S2> state)
Void	getTransitionProperty(Pair<S1,S2> transition)
boolean	isAccepting(Pair<S1,S2> state)

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

getFirstTS, getInitialState, getSecondTS, getSuccessor, getTransition

Methods inherited from class net.automatalib.ts.abstractimpl.AbstractDTS

getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions

Methods inherited from class net.automatalib.ts.abstractimpl.AbstractTS

createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView

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.DeterministicTransitionSystem

getTransition

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, getTransitions, powersetView

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

getInitialState, getState, getSuccessor, getSuccessor

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

createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors

Constructor Detail

DetAcceptorComposition

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

Method Detail

isAccepting

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

Specified by:

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

accepts

public boolean accepts(Iterable<I> input)

Specified by:

accepts in interface AcceptorTS<Pair<S1,S2>,I>

getStateProperty

public Boolean getStateProperty(Pair<S1,S2> state)

Specified by:

getStateProperty in interface UniversalTransitionSystem<Pair<S1,S2>,I,Pair<S1,S2>,Boolean,Void>

getTransitionProperty

public Void getTransitionProperty(Pair<S1,S2> transition)

Specified by:

getTransitionProperty in interface UniversalTransitionSystem<Pair<S1,S2>,I,Pair<S1,S2>,Boolean,Void>