Module net.automatalib.core

Package net.automatalib.automaton.impl

Class CompactSimpleAutomaton<I>

java.lang.Object

net.automatalib.automaton.base.AbstractCompact<I,Integer,SP,Void>

net.automatalib.automaton.base.AbstractCompactSimpleNondet<I,Void>

net.automatalib.automaton.impl.CompactSimpleAutomaton<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

Iterable<Integer>, SupportsGrowingAlphabet<I>, Automaton<Integer,I,Integer>, FiniteRepresentation, InitialStates<Integer>, InputAlphabetHolder<I>, StateIDs<Integer>, StateLocalInput<Integer,I>, FiniteAlphabetAutomaton<Integer,I,Integer>, MutableAutomaton<Integer,I,Integer,Void,Void>, SimpleAutomaton<Integer,I>, UniversalAutomaton<Integer,I,Integer,Void,Void>, UniversalFiniteAlphabetAutomaton<Integer,I,Integer,Void,Void>, GraphViewable, SimpleTS<Integer,I>, TransitionSystem<Integer,I,Integer>, UniversalTransitionSystem<Integer,I,Integer,Void,Void>

public class CompactSimpleAutomaton<I>
extends AbstractCompactSimpleNondet<I,Void>

A simple automaton that only stores adjacency information.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	CompactSimpleAutomaton.Creator<I>

Nested classes/interfaces inherited from class net.automatalib.automaton.base.AbstractCompactSimpleNondet

AbstractCompactSimpleNondet.CompactPowersetDTS

Nested classes/interfaces inherited from class net.automatalib.automaton.base.AbstractCompact

AbstractCompact.Payload

Nested classes/interfaces inherited from interface net.automatalib.automaton.Automaton

Automaton.RegularAutomaton<S,I,T>

Nested classes/interfaces inherited from interface net.automatalib.automaton.MutableAutomaton

MutableAutomaton.RegularAutomaton<S,I,T,SP,TP>

Nested classes/interfaces inherited from interface net.automatalib.automaton.UniversalAutomaton

UniversalAutomaton.RegularAutomaton<S,I,T,SP,TP>

Field Summary

Fields inherited from class net.automatalib.automaton.base.AbstractCompact

DEFAULT_INIT_CAPACITY, DEFAULT_RESIZE_FACTOR, INVALID_STATE

Constructor Summary

Constructors

Constructor	Description
CompactSimpleAutomaton(Alphabet<I> alphabet)
CompactSimpleAutomaton(Alphabet<I> alphabet, int stateCapacity)

Method Summary

Modifier and Type	Method	Description
Void	getStateProperty(int state)
void	setStateProperty(int state, Void property)

Methods inherited from class net.automatalib.automaton.base.AbstractCompactSimpleNondet

addTransition, addTransition, addTransition, clear, copyTransition, createTransition, getInitialStates, getSuccessor, getTransitionProperty, getTransitions, getTransitions, getTransitions, powersetView, removeAllTransitions, removeAllTransitions, removeAllTransitions, removeAllTransitions, removeAllTransitions, removeTransition, removeTransition, removeTransition, setInitial, setInitial, setTransitionProperty, setTransitions, setTransitions, setTransitions, updateTransitionStorage

Methods inherited from class net.automatalib.automaton.base.AbstractCompact

addAlphabetSymbol, addIntState, addState, getInputAlphabet, getLocalInputs, getState, getStateId, getStateProperty, getStates, getSymbolIndex, numInputs, setStateProperty, size, stateIDs, toId, toMemoryIndex, toState, updateStateStorage, updateStateStorage, updateTransitionStorage, updateTransitionStorage, updateTransitionStorage

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.automaton.FiniteAlphabetAutomaton

getTransitions, graphView

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.automaton.MutableAutomaton

addInitialState, addInitialState, addState, addTransition, addTransitions

Methods inherited from interface net.automatalib.automaton.simple.SimpleAutomaton

createDynamicStateMapping, createStaticStateMapping, iterator

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

getStates, getSuccessors

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessors

Methods inherited from interface net.automatalib.automaton.UniversalAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.automaton.UniversalFiniteAlphabetAutomaton

transitionGraphView

Constructor Details

CompactSimpleAutomaton

public CompactSimpleAutomaton(Alphabet<I> alphabet,
 int stateCapacity)

CompactSimpleAutomaton

public CompactSimpleAutomaton(Alphabet<I> alphabet)

Method Details

setStateProperty

public void setStateProperty(int state,
 Void property)

Specified by:

setStateProperty in class AbstractCompact<I,Integer,Void,Void>

getStateProperty

public Void getStateProperty(int state)

Specified by:

getStateProperty in class AbstractCompact<I,Integer,Void,Void>