| EditableORE |
An EditableORE is an object that holds a string that is supposed to
be an ω-regular expression.
|
| ORECreator |
This is a creator that can create a string representing an ω-regular
expression.
|
| OREExtractor |
This class provides a method for extracting the ω-regular expressions
from an ω-automaton.
|
| OREParser |
This class provides methods for parsing ω-regular expressions.
|
| ORERewritePattern |
An ORERewritePattern object contains several syntactical rewrite
patterns represented as a map from a pattern to a replacement.
|
| ORESimplifier |
This class provides methods for simplifying ω-regular expressions.
|
| ORESingleton |
This class represents simple ω-regular expressions.
|
| ORETranslationOptions |
This class provides options for the naive translation of ω-regular
expressions.
|
| ORETranslator |
This class provides a naive translation from ω-regular expressions to
Büchi automata.
|
| OREUnifier |
An OREUnifier can perform unification on two ω-regular
expressions: source and target.
|
| OREUnion |
This class represents the union of two ω-regular expressions.
|
| ORExpression |
This class represents ω-regular expressions.
|