Index (Autogex API Documentation)

A B C D E F G H I L M N P R S T U V
All Classes and Interfaces|All Packages

A

AbstractAutomaton - Class in it.tugamer89.autogex.core: Abstract base class for all automata models.
AbstractAutomatonBuilder<B,A> - Class in it.tugamer89.autogex.core: Abstract builder based on the Curiously Recurring Template Pattern (CRTP).
accept(RegexNode.Visitor) - Method in interface it.tugamer89.autogex.regex.ast.RegexNode: Accepts a visitor to apply an operation on this node.
accept(RegexNode.Visitor) - Method in record class it.tugamer89.autogex.regex.ast.RegexNode.ConcatNode
accept(RegexNode.Visitor) - Method in record class it.tugamer89.autogex.regex.ast.RegexNode.LiteralNode
accept(RegexNode.Visitor) - Method in record class it.tugamer89.autogex.regex.ast.RegexNode.StarNode
accept(RegexNode.Visitor) - Method in record class it.tugamer89.autogex.regex.ast.RegexNode.UnionNode
accepts(String) - Method in interface it.tugamer89.autogex.core.Automaton: The main method that checks whether the input string belongs to the language recognized by the automaton L(M).
addEpsilonTransition(String, String) - Method in class it.tugamer89.autogex.models.ENFA.Builder: Utility method to make silent transitions more readable.
addState(String, boolean) - Method in class it.tugamer89.autogex.core.AbstractAutomatonBuilder: Adds a new state to the automaton.
addTransition(String, char, String) - Method in class it.tugamer89.autogex.models.DFA.Builder: Adds a transition between two states.
addTransition(String, char, String) - Method in class it.tugamer89.autogex.models.NFA.Builder: Adds a non-deterministic transition between two states.
addTransition(String, Character, String) - Method in class it.tugamer89.autogex.models.ENFA.Builder: Adds a transition (standard or epsilon) between two states.
Automaton - Interface in it.tugamer89.autogex.core: Base interface for all types of Automata (DFA, NFA, ENFA).

B

build() - Method in class it.tugamer89.autogex.core.AbstractAutomatonBuilder: Builds and returns the final automaton instance.
build() - Method in class it.tugamer89.autogex.models.DFA.Builder
build() - Method in class it.tugamer89.autogex.models.ENFA.Builder
build() - Method in class it.tugamer89.autogex.models.NFA.Builder
Builder() - Constructor for class it.tugamer89.autogex.models.DFA.Builder: Default constructor for DFA Builder.
Builder() - Constructor for class it.tugamer89.autogex.models.ENFA.Builder: Default constructor for ENFA Builder.
Builder() - Constructor for class it.tugamer89.autogex.models.NFA.Builder: Default constructor for NFA Builder.

C

child() - Method in record class it.tugamer89.autogex.regex.ast.RegexNode.StarNode: Returns the value of the child record component.
ConcatNode(RegexNode, RegexNode) - Constructor for record class it.tugamer89.autogex.regex.ast.RegexNode.ConcatNode: Creates an instance of a ConcatNode record class.
construct(RegexNode) - Static method in class it.tugamer89.autogex.algorithms.ThompsonConstructor: Converts a Regex AST into an ENFA.
Converter - Class in it.tugamer89.autogex.algorithms: Utility class for Finite State Automata conversion.

D

DFA - Class in it.tugamer89.autogex.models: Deterministic Finite Automaton (DFA).
DFA.Builder - Class in it.tugamer89.autogex.models: Builder pattern to construct the DFA fluently.

E

ENFA - Class in it.tugamer89.autogex.models: Non-Deterministic Finite Automaton with Epsilon Transitions (ε-NFA).
ENFA.Builder - Class in it.tugamer89.autogex.models: Builder pattern to construct the ENFA fluently.
enfaToDfa(ENFA) - Static method in class it.tugamer89.autogex.algorithms.Converter: Convenience method that applies the full transformation chain: ENFA -> NFA -> DFA.
enfaToNfa(ENFA) - Static method in class it.tugamer89.autogex.algorithms.Converter: Converts an ε-NFA into an NFA.
epsilonClosure(Set) - Method in class it.tugamer89.autogex.models.ENFA: Computes the ε-closure of a set of states.
equals(Object) - Method in class it.tugamer89.autogex.core.State
equals(Object) - Method in record class it.tugamer89.autogex.core.Transition: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class it.tugamer89.autogex.regex.ast.RegexNode.ConcatNode: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class it.tugamer89.autogex.regex.ast.RegexNode.LiteralNode: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class it.tugamer89.autogex.regex.ast.RegexNode.StarNode: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class it.tugamer89.autogex.regex.ast.RegexNode.UnionNode: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class it.tugamer89.autogex.trace.ExecutionStep: Indicates whether some other object is "equal to" this one.
execute(String) - Method in interface it.tugamer89.autogex.core.Automaton: Processes the input string and returns a detailed execution trace.
execute(String) - Method in class it.tugamer89.autogex.models.DFA
execute(String) - Method in class it.tugamer89.autogex.models.ENFA
execute(String) - Method in class it.tugamer89.autogex.models.NFA
ExecutionStep - Record Class in it.tugamer89.autogex.trace: Represents a single evaluation step within an automaton's execution trace.
ExecutionStep(Set, Character, Set) - Constructor for record class it.tugamer89.autogex.trace.ExecutionStep: Creates an instance of a ExecutionStep record class.
ExecutionTrace - Class in it.tugamer89.autogex.trace: Contains the complete chronological sequence of states evaluated by an automaton when processing a specific input string.
ExecutionTrace(String, List, boolean) - Constructor for class it.tugamer89.autogex.trace.ExecutionTrace: Constructs a new ExecutionTrace.

F

from() - Method in record class it.tugamer89.autogex.core.Transition: Returns the value of the from record component.
fromStates() - Method in record class it.tugamer89.autogex.trace.ExecutionStep: Returns the value of the fromStates record component.

G

getAutomaton() - Method in class it.tugamer89.autogex.regex.Regex: Retrieves the underlying compiled and minimized DFA.
getFinalStates() - Method in class it.tugamer89.autogex.core.AbstractAutomaton
getFinalStates() - Method in class it.tugamer89.autogex.core.AbstractAutomatonBuilder: Gets the set of all registered final states.
getFinalStates() - Method in interface it.tugamer89.autogex.core.Automaton: Retrieves all the accepting (final) states of the automaton.
getFormattedTrace() - Method in class it.tugamer89.autogex.trace.ExecutionTrace: Generates a beautifully formatted multiline string mapping the entire execution path.
getInitialState() - Method in class it.tugamer89.autogex.core.AbstractAutomaton
getInitialState() - Method in class it.tugamer89.autogex.core.AbstractAutomatonBuilder: Gets the registered initial state.
getInitialState() - Method in interface it.tugamer89.autogex.core.Automaton: Retrieves the starting state of the automaton.
getInput() - Method in class it.tugamer89.autogex.trace.ExecutionTrace
getName() - Method in class it.tugamer89.autogex.core.State: Gets the name of the state.
getPattern() - Method in class it.tugamer89.autogex.regex.Regex: Retrieves the original regular expression pattern.
getStates() - Method in class it.tugamer89.autogex.core.AbstractAutomaton
getStates() - Method in interface it.tugamer89.autogex.core.Automaton: Retrieves all the states within the automaton.
getStatesMap() - Method in class it.tugamer89.autogex.core.AbstractAutomatonBuilder: Gets the map of all registered states.
getSteps() - Method in class it.tugamer89.autogex.trace.ExecutionTrace
getTransitionTable() - Method in class it.tugamer89.autogex.models.DFA: Retrieves the internal transition table of the DFA.
getTransitionTable() - Method in class it.tugamer89.autogex.models.ENFA: Retrieves the internal transition table of the ENFA.
getTransitionTable() - Method in class it.tugamer89.autogex.models.NFA: Retrieves the internal transition table of the NFA.
GraphvizExporter - Class in it.tugamer89.autogex.export: Utility class for exporting automata to the Graphviz DOT language format.

H

hashCode() - Method in class it.tugamer89.autogex.core.State
hashCode() - Method in record class it.tugamer89.autogex.core.Transition: Returns a hash code value for this object.
hashCode() - Method in record class it.tugamer89.autogex.regex.ast.RegexNode.ConcatNode: Returns a hash code value for this object.
hashCode() - Method in record class it.tugamer89.autogex.regex.ast.RegexNode.LiteralNode: Returns a hash code value for this object.
hashCode() - Method in record class it.tugamer89.autogex.regex.ast.RegexNode.StarNode: Returns a hash code value for this object.
hashCode() - Method in record class it.tugamer89.autogex.regex.ast.RegexNode.UnionNode: Returns a hash code value for this object.
hashCode() - Method in record class it.tugamer89.autogex.trace.ExecutionStep: Returns a hash code value for this object.

I

isAccepted() - Method in class it.tugamer89.autogex.trace.ExecutionTrace
isEpsilon() - Method in record class it.tugamer89.autogex.core.Transition: Checks if this is a silent transition.
isFinal() - Method in class it.tugamer89.autogex.core.State: Checks if the state is a final (accepting) state.
it.tugamer89.autogex.algorithms - package it.tugamer89.autogex.algorithms
it.tugamer89.autogex.core - package it.tugamer89.autogex.core
it.tugamer89.autogex.export - package it.tugamer89.autogex.export
it.tugamer89.autogex.models - package it.tugamer89.autogex.models
it.tugamer89.autogex.regex - package it.tugamer89.autogex.regex
it.tugamer89.autogex.regex.ast - package it.tugamer89.autogex.regex.ast
it.tugamer89.autogex.regex.parser - package it.tugamer89.autogex.regex.parser
it.tugamer89.autogex.trace - package it.tugamer89.autogex.trace

L

left() - Method in record class it.tugamer89.autogex.regex.ast.RegexNode.ConcatNode: Returns the value of the left record component.
left() - Method in record class it.tugamer89.autogex.regex.ast.RegexNode.UnionNode: Returns the value of the left record component.
LiteralNode(char) - Constructor for record class it.tugamer89.autogex.regex.ast.RegexNode.LiteralNode: Creates an instance of a LiteralNode record class.

M

matches(String) - Method in class it.tugamer89.autogex.regex.Regex: Checks if the input string perfectly matches the regular expression.
MermaidExporter - Class in it.tugamer89.autogex.export: Utility class for exporting automata to the Mermaid.js stateDiagram-v2 format.
minimize(DFA) - Static method in class it.tugamer89.autogex.algorithms.Minimizer: Minimizes a DFA, returning a new equivalent DFA with the minimum number of states.
Minimizer - Class in it.tugamer89.autogex.algorithms: Utility class for DFA minimization.

N

NFA - Class in it.tugamer89.autogex.models: Non-Deterministic Finite Automaton (NFA).
NFA.Builder - Class in it.tugamer89.autogex.models: Builder pattern to construct the NFA fluently.
nfaToDfa(NFA) - Static method in class it.tugamer89.autogex.algorithms.Converter: Converts an NFA into a DFA.

P

parse(String) - Static method in class it.tugamer89.autogex.regex.parser.RegexParser: Parses a regular expression string into an AST.

R

Regex - Class in it.tugamer89.autogex.regex: Facade class representing a compiled Regular Expression.
Regex(String) - Constructor for class it.tugamer89.autogex.regex.Regex: Compiles the given regular expression into a highly optimized Minimal DFA.
RegexNode - Interface in it.tugamer89.autogex.regex.ast: Base interface for all nodes in the Regular Expression Abstract Syntax Tree (AST).
RegexNode.ConcatNode - Record Class in it.tugamer89.autogex.regex.ast: Represents the concatenation of two regular expressions (e.g., "ab").
RegexNode.LiteralNode - Record Class in it.tugamer89.autogex.regex.ast: Represents a single literal character in the regex (e.g., 'a', 'b').
RegexNode.StarNode - Record Class in it.tugamer89.autogex.regex.ast: Represents the Kleene Star operator, allowing zero or more repetitions (e.g., "a*").
RegexNode.UnionNode - Record Class in it.tugamer89.autogex.regex.ast: Represents the union (OR) of two regular expressions (e.g., "a|b").
RegexNode.Visitor<T> - Interface in it.tugamer89.autogex.regex.ast: The Visitor interface for the AST nodes.
RegexParser - Class in it.tugamer89.autogex.regex.parser: A Recursive Descent Parser that converts a Regular Expression string into an Abstract Syntax Tree (AST). * Grammar implemented: Regex -> Term ( '|' Term )* Term -> Factor ( Factor )* (Implicit concatenation) Factor -> Base ( '*' )* Base -> char | '(' Regex ')'
right() - Method in record class it.tugamer89.autogex.regex.ast.RegexNode.ConcatNode: Returns the value of the right record component.
right() - Method in record class it.tugamer89.autogex.regex.ast.RegexNode.UnionNode: Returns the value of the right record component.

S

setInitialState(String) - Method in class it.tugamer89.autogex.core.AbstractAutomatonBuilder: Sets the initial state of the automaton.
StarNode(RegexNode) - Constructor for record class it.tugamer89.autogex.regex.ast.RegexNode.StarNode: Creates an instance of a StarNode record class.
State - Class in it.tugamer89.autogex.core: Represents a state (q) within an automaton.
State(String, boolean) - Constructor for class it.tugamer89.autogex.core.State: Constructs a new State.
symbol() - Method in record class it.tugamer89.autogex.core.Transition: Returns the value of the symbol record component.
symbol() - Method in record class it.tugamer89.autogex.regex.ast.RegexNode.LiteralNode: Returns the value of the symbol record component.
symbolRead() - Method in record class it.tugamer89.autogex.trace.ExecutionStep: Returns the value of the symbolRead record component.

T

ThompsonConstructor - Class in it.tugamer89.autogex.algorithms: Implements Thompson's Construction algorithm to convert an Abstract Syntax Tree (AST) of a regular expression into an Epsilon-NFA (ENFA).
to() - Method in record class it.tugamer89.autogex.core.Transition: Returns the value of the to record component.
toDot(DFA) - Static method in class it.tugamer89.autogex.export.GraphvizExporter: Exports a DFA to a DOT format string.
toDot(ENFA) - Static method in class it.tugamer89.autogex.export.GraphvizExporter: Exports an ENFA to a DOT format string.
toDot(NFA) - Static method in class it.tugamer89.autogex.export.GraphvizExporter: Exports an NFA to a DOT format string.
toDotGraph() - Method in class it.tugamer89.autogex.regex.Regex: Exports the compiled minimal DFA to the Graphviz DOT language format.
toMermaid(DFA) - Static method in class it.tugamer89.autogex.export.MermaidExporter: Exports a DFA to a Mermaid format string.
toMermaid(ENFA) - Static method in class it.tugamer89.autogex.export.MermaidExporter: Exports an ENFA to a Mermaid format string.
toMermaid(NFA) - Static method in class it.tugamer89.autogex.export.MermaidExporter: Exports an NFA to a Mermaid format string.
toMermaidGraph() - Method in class it.tugamer89.autogex.regex.Regex: Exports the compiled minimal DFA to the Mermaid.js stateDiagram-v2 format.
toStates() - Method in record class it.tugamer89.autogex.trace.ExecutionStep: Returns the value of the toStates record component.
toString() - Method in class it.tugamer89.autogex.core.State
toString() - Method in record class it.tugamer89.autogex.core.Transition: Returns a string representation of this record class.
toString() - Method in record class it.tugamer89.autogex.regex.ast.RegexNode.ConcatNode: Returns a string representation of this record class.
toString() - Method in record class it.tugamer89.autogex.regex.ast.RegexNode.LiteralNode: Returns a string representation of this record class.
toString() - Method in record class it.tugamer89.autogex.regex.ast.RegexNode.StarNode: Returns a string representation of this record class.
toString() - Method in record class it.tugamer89.autogex.regex.ast.RegexNode.UnionNode: Returns a string representation of this record class.
toString() - Method in record class it.tugamer89.autogex.trace.ExecutionStep: Formats the execution step into a highly readable mathematical string.
Transition - Record Class in it.tugamer89.autogex.core: Represents a single transition from one state to another by reading a symbol.
Transition(State, Character, State) - Constructor for record class it.tugamer89.autogex.core.Transition: Creates an instance of a Transition record class.

U

UnionNode(RegexNode, RegexNode) - Constructor for record class it.tugamer89.autogex.regex.ast.RegexNode.UnionNode: Creates an instance of a UnionNode record class.

V

visit(RegexNode.ConcatNode) - Method in interface it.tugamer89.autogex.regex.ast.RegexNode.Visitor: Visits a ConcatNode. * @param node The ConcatNode to visit.
visit(RegexNode.LiteralNode) - Method in interface it.tugamer89.autogex.regex.ast.RegexNode.Visitor: Visits a LiteralNode. * @param node The LiteralNode to visit.
visit(RegexNode.StarNode) - Method in interface it.tugamer89.autogex.regex.ast.RegexNode.Visitor: Visits a StarNode. * @param node The StarNode to visit.
visit(RegexNode.UnionNode) - Method in interface it.tugamer89.autogex.regex.ast.RegexNode.Visitor: Visits a UnionNode. * @param node The UnionNode to visit.

A B C D E F G H I L M N P R S T U V
All Classes and Interfaces|All Packages