Package net.automatalib.brics
Class AbstractBricsAutomaton
- java.lang.Object
-
- net.automatalib.brics.AbstractBricsAutomaton
-
- All Implemented Interfaces:
Iterable<State>
,Automaton<State,Character,State>
,FiniteRepresentation
,Output<Character,Boolean>
,OutputAutomaton<State,Character,State,Boolean>
,SuffixOutput<Character,Boolean>
,FiniteStateAcceptor<State,Character>
,SimpleAutomaton<State,Character>
,UniversalAutomaton<State,Character,State,Boolean,Void>
,GraphViewable
,AcceptorTS<State,Character>
,SimpleTS<State,Character>
,TransitionSystem<State,Character,State>
,UniversalTransitionSystem<State,Character,State,Boolean,Void>
public abstract class AbstractBricsAutomaton extends Object implements FiniteStateAcceptor<State,Character>, GraphViewable
Base class for Brics automata adapters.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description class
AbstractBricsAutomaton.GraphView
-
Nested classes/interfaces inherited from interface net.automatalib.automaton.fsa.FiniteStateAcceptor
FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>>
-
-
Field Summary
Fields Modifier and Type Field Description protected Automaton
automaton
-
Fields inherited from interface net.automatalib.automaton.fsa.FiniteStateAcceptor
STATE_PROPERTIES, TRANSITION_PROPERTIES
-
-
Constructor Summary
Constructors Constructor Description AbstractBricsAutomaton(Automaton automaton, boolean totalize)
Constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Automaton
getBricsAutomaton()
Retrieves the Brics automaton object.Set<State>
getInitialStates()
Retrieves the set of initial states of the transition system.Collection<State>
getStates()
Retrieves all states of the transition system.Collection<State>
getTransitions(State state, Character input)
Retrieves the transitions that can be triggered by the given input symbol.AbstractBricsAutomaton.GraphView
graphView()
boolean
isAccepting(State state)
Checks whether the given state is accepting.-
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
accepts, getStateProperty, getSuccessor, getTransitionProperty, isAccepting
-
Methods inherited from interface net.automatalib.automaton.fsa.FiniteStateAcceptor
computeOutput, computeSuffixOutput, transitionGraphView
-
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
Methods inherited from interface net.automatalib.automaton.simple.SimpleAutomaton
createDynamicStateMapping, createStaticStateMapping, iterator, size, stateIDs
-
Methods inherited from interface net.automatalib.ts.simple.SimpleTS
getStates, getSuccessors, getSuccessors
-
Methods inherited from interface net.automatalib.ts.TransitionSystem
getSuccessors, powersetView
-
-
-
-
Field Detail
-
automaton
protected final Automaton automaton
-
-
Constructor Detail
-
AbstractBricsAutomaton
public AbstractBricsAutomaton(Automaton automaton, boolean totalize)
Constructor.- Parameters:
automaton
- the Brics automaton to wrap.totalize
- flag, indicating whether the automaton should have a total transition function.- See Also:
Automaton.totalize()
-
-
Method Detail
-
getBricsAutomaton
public Automaton getBricsAutomaton()
Retrieves the Brics automaton object.- Returns:
- the brics automaton object
-
isAccepting
public boolean isAccepting(State state)
Description copied from interface:AcceptorTS
Checks whether the given state is accepting.- Specified by:
isAccepting
in interfaceAcceptorTS<State,Character>
- Parameters:
state
- the state- Returns:
true
if the state is accepting,false
otherwise.
-
getTransitions
public Collection<State> getTransitions(State state, Character input)
Description copied from interface:TransitionSystem
Retrieves the transitions that can be triggered by the given input symbol.The return value must not be
null
; if there are no transitions triggered by the specified input,Collections.emptySet()
should be returned.- Specified by:
getTransitions
in interfaceTransitionSystem<State,Character,State>
- Parameters:
state
- the source state.input
- the input symbol.- Returns:
- the transitions triggered by the given input
-
getInitialStates
public Set<State> getInitialStates()
Description copied from interface:SimpleTS
Retrieves the set of initial states of the transition system.- Specified by:
getInitialStates
in interfaceSimpleTS<State,Character>
- Returns:
- the initial states.
-
getStates
public Collection<State> getStates()
Description copied from interface:SimpleAutomaton
Retrieves all states of the transition system. Implementing classes should return an unmodifiable collection- Specified by:
getStates
in interfaceSimpleAutomaton<State,Character>
- Returns:
- all states in the transition system
-
graphView
public AbstractBricsAutomaton.GraphView graphView()
- Specified by:
graphView
in interfaceGraphViewable
-
-