Module net.automatalib.api

Package net.automatalib.ts.powerset

Class DeterministicAcceptorPowersetView<S,I>

java.lang.Object

net.automatalib.ts.powerset.DeterministicPowersetView<S,I,S>

net.automatalib.ts.powerset.DeterministicAcceptorPowersetView<S,I>

Type Parameters:

S - (original) state type

I - input symbol type

All Implemented Interfaces:

Output<I,Boolean>, SuffixOutput<I,Boolean>, AcceptorTS<S,I>, DeterministicAcceptorTS<S,I>, AcceptorPowersetViewTS<S,I,S>, DeterministicTransitionSystem<S,I,S>, PowersetViewTS<S,I,S,S,S>, SimpleDTS<S,I>, SimpleTS<S,I>, TransitionSystem<S,I,S>, UniversalDTS<S,I,S,Boolean,Void>, UniversalTransitionSystem<S,I,S,Boolean,Void>

public class DeterministicAcceptorPowersetView<S,I>
extends DeterministicPowersetView<S,I,S>
implements AcceptorPowersetViewTS<S,I,S>

An AcceptorPowersetViewTS-specific refinement of DeterministicPowersetView.

Constructor Summary

Constructors

Constructor	Description
DeterministicAcceptorPowersetView(DeterministicAcceptorTS<S,I> ts)

Method Summary

Modifier and Type	Method	Description
boolean	isAccepting(S state)	Checks whether the given state is accepting.

Methods inherited from class net.automatalib.ts.powerset.DeterministicPowersetView

getInitialState, getOriginalStates, getOriginalTransitions, 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.acceptor.AcceptorTS

getStateProperty, getSuccessor, getTransitionProperty

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

accepts, computeOutput, computeSuffixOutput, isAccepting, powersetView

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransition, getTransitions, powersetView

Methods inherited from interface net.automatalib.ts.PowersetViewTS

getOriginalStates, getOriginalTransitions

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

getInitialState, getInitialStates, getState, getStates, getSuccessor

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

createDynamicStateMapping, createStaticStateMapping, getSuccessors

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Constructor Detail

DeterministicAcceptorPowersetView

public DeterministicAcceptorPowersetView(DeterministicAcceptorTS<S,I> ts)

Method Detail

isAccepting

public boolean isAccepting(S state)

Description copied from interface: AcceptorTS

Checks whether the given state is accepting.

Specified by:

isAccepting in interface AcceptorTS<S,I>

Parameters:

state - the state

Returns:

true if the state is accepting, false otherwise.