Class UniversalDeterministicAbstractions.FullIntAbstraction<I,T,SP,TP,A extends UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>>
- java.lang.Object
-
- net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.FullIntAbstraction<I,A>
-
- net.automatalib.automaton.abstraction.DeterministicAbstractions.FullIntAbstraction<I,T,A>
-
- net.automatalib.automaton.abstraction.UniversalDeterministicAbstractions.FullIntAbstraction<I,T,SP,TP,A>
-
- All Implemented Interfaces:
FiniteRepresentation
,DeterministicAutomaton.FullIntAbstraction<T>
,DeterministicAutomaton.IntAbstraction<T>
,SimpleDeterministicAutomaton.FullIntAbstraction
,SimpleDeterministicAutomaton.IntAbstraction
,UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>
,UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>
- Direct Known Subclasses:
MutableDeterministicAbstraction.FullIntAbstraction
- Enclosing interface:
- UniversalDeterministicAbstractions
public static class UniversalDeterministicAbstractions.FullIntAbstraction<I,T,SP,TP,A extends UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>> extends DeterministicAbstractions.FullIntAbstraction<I,T,A> implements UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>
-
-
Field Summary
-
Fields inherited from class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.FullIntAbstraction
numInputs, stateAbstraction, symMapping
-
Fields inherited from interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.IntAbstraction
INVALID_STATE
-
-
Constructor Summary
Constructors Constructor Description FullIntAbstraction(A stateAbstraction, int numInputs, IntFunction<? extends I> symMapping)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description SP
getStateProperty(int state)
Retrieves the state property of a given (abstracted) state.TP
getTransitionProperty(T transition)
Retrieves the transition property of a given transition.-
Methods inherited from class net.automatalib.automaton.abstraction.DeterministicAbstractions.FullIntAbstraction
getIntSuccessor, getTransition
-
Methods inherited from class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.FullIntAbstraction
getIntInitialState, getSuccessor, intToSym, numInputs, size
-
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.DeterministicAutomaton.FullIntAbstraction
getSuccessor, getTransition
-
Methods inherited from interface net.automatalib.automaton.DeterministicAutomaton.IntAbstraction
getIntSuccessor
-
Methods inherited from interface net.automatalib.automaton.concept.FiniteRepresentation
size
-
Methods inherited from interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.FullIntAbstraction
numInputs
-
Methods inherited from interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.IntAbstraction
getIntInitialState
-
Methods inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton.FullIntAbstraction
getTransitionProperty
-
-
-
-
Constructor Detail
-
FullIntAbstraction
public FullIntAbstraction(A stateAbstraction, int numInputs, IntFunction<? extends I> symMapping)
-
-
Method Detail
-
getStateProperty
public SP getStateProperty(int state)
Description copied from interface:UniversalDeterministicAutomaton.IntAbstraction
Retrieves the state property of a given (abstracted) state.- Specified by:
getStateProperty
in interfaceUniversalDeterministicAutomaton.IntAbstraction<I,T,SP>
- Parameters:
state
- the integer representing the state of which to retrieve the property- Returns:
- the property for the given state
-
getTransitionProperty
public TP getTransitionProperty(T transition)
Description copied from interface:UniversalDeterministicAutomaton.IntAbstraction
Retrieves the transition property of a given transition.- Specified by:
getTransitionProperty
in interfaceUniversalDeterministicAutomaton.IntAbstraction<I,T,SP>
- Parameters:
transition
- the transition of which to retrieve the property- Returns:
- the property for the given transition
-
-