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

Modifier and Type	Method and Description
boolean	accepts(Iterable<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.

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)

Description copied from interface: AcceptorTS

Checks whether the given state is accepting.

Specified by:

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

Parameters:

state - the state

Returns:

true if the state is accepting, false otherwise.

accepts

public boolean accepts(Iterable<I> input)

Description copied from interface: AcceptorTS

Determines whether the given input word is accepted by this acceptor.

Specified by:

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

Parameters:

input - the input word.

Returns:

true if the input word is accepted, false otherwise.

getStateProperty

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

Description copied from interface: UniversalTransitionSystem

Retrieves the state property for the given state.

Specified by:

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

Parameters:

state - the state.

Returns:

the corresponding property.

getTransitionProperty

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

Description copied from interface: UniversalTransitionSystem

Retrieves the transition property for the given state.

Specified by:

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

Parameters:

transition - the transition.

Returns:

the corresponding property.