A B E G H I N T
All Classes All Packages

A

AbstractBricsAutomaton - Class in net.automatalib.brics

Base class for Brics automata adapters.

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

Constructor.

AbstractBricsAutomaton.GraphView - Class in net.automatalib.brics

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.

BricsNFA(Automaton, boolean) - 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.

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.GraphView

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.GraphView

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

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

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

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

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

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

getVisualizationHelper() - Method in class net.automatalib.brics.AbstractBricsAutomaton.GraphView

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

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

H

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

I

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

N

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

This package contains adapter classes for treating the Automaton objects from the BRICS library as AutomataLib models.

T

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

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

A B E G H I N T
All Classes All Packages