A B C E G H I N T

A

AbstractBricsAutomaton - Class in net.automatalib.brics

Base class for Brics automata adapters.

AbstractBricsAutomaton(Automaton) - Constructor for class net.automatalib.brics.AbstractBricsAutomaton

Constructor.

accepts(Iterable<Character>) - Method in class net.automatalib.brics.BricsDFA

accepts(Iterable<Character>) - Method in class net.automatalib.brics.BricsNFA

automaton - Variable in class net.automatalib.brics.AbstractBricsAutomaton

B

BricsDFA - Class in net.automatalib.brics

Adapter class for wrapping a Brics automaton as a DFA.

BricsDFA(Automaton) - Constructor for class net.automatalib.brics.BricsDFA

Constructor.

BricsDFA(Automaton, boolean) - Constructor for class net.automatalib.brics.BricsDFA

Constructor.

BricsNFA - Class in net.automatalib.brics

Adapter class for wrapping a Brics automaton as an NFA.

BricsNFA(Automaton) - Constructor for class net.automatalib.brics.BricsNFA

Constructor.

BricsTransitionProperty - Class in net.automatalib.brics

The properties of an edge in a Brics automaton.

BricsTransitionProperty(char, char) - Constructor for class net.automatalib.brics.BricsTransitionProperty

Constructor.

BricsTransitionProperty(Transition) - Constructor for class net.automatalib.brics.BricsTransitionProperty

Constructor.

C

createDynamicNodeMapping() - Method in class net.automatalib.brics.AbstractBricsAutomaton

createStaticNodeMapping() - Method in class net.automatalib.brics.AbstractBricsAutomaton

E

equals(Object) - Method in class net.automatalib.brics.BricsTransitionProperty

G

getBricsAutomaton() - Method in class net.automatalib.brics.AbstractBricsAutomaton

Retrieves the Brics automaton object.

getEdgeProperty(Transition) - Method in class net.automatalib.brics.AbstractBricsAutomaton

getGraphDOTHelper() - Method in class net.automatalib.brics.AbstractBricsAutomaton

getInitialState() - Method in class net.automatalib.brics.BricsDFA

getInitialStates() - Method in class net.automatalib.brics.AbstractBricsAutomaton

getMax() - Method in class net.automatalib.brics.BricsTransitionProperty

Retrieves the upper bound of the character range.

getMin() - Method in class net.automatalib.brics.BricsTransitionProperty

Retrieves the lower bound of the character range.

getNodeProperty(State) - Method in class net.automatalib.brics.AbstractBricsAutomaton

getNodes() - Method in class net.automatalib.brics.AbstractBricsAutomaton

getOutgoingEdges(State) - Method in class net.automatalib.brics.AbstractBricsAutomaton

getState(Iterable<Character>) - Method in class net.automatalib.brics.BricsDFA

getStates() - Method in class net.automatalib.brics.AbstractBricsAutomaton

getSuccessor(State, Character) - Method in class net.automatalib.brics.BricsDFA

getSuccessor(State, Iterable<Character>) - Method in class net.automatalib.brics.BricsDFA

getSuccessors(State, Character) - Method in class net.automatalib.brics.BricsDFA

getTarget(Transition) - Method in class net.automatalib.brics.AbstractBricsAutomaton

getTransition(State, Character) - Method in class net.automatalib.brics.BricsDFA

getTransitions(State, Character) - Method in class net.automatalib.brics.AbstractBricsAutomaton

getTransitions(State, Character) - Method in class net.automatalib.brics.BricsDFA

H

hashCode() - Method in class net.automatalib.brics.BricsTransitionProperty

I

isAccepting(State) - Method in class net.automatalib.brics.AbstractBricsAutomaton

isAccepting(Collection<? extends State>) - Method in class net.automatalib.brics.BricsNFA

N

net.automatalib.brics - package net.automatalib.brics

nodeIDs() - Method in class net.automatalib.brics.AbstractBricsAutomaton

T

toString(char, char) - Static method in class net.automatalib.brics.BricsTransitionProperty

toString() - Method in class net.automatalib.brics.BricsTransitionProperty

A B C E G H I N T