Method SubsetOf
SubsetOf(Automaton, Automaton)
Returns true if the language of a1 is a subset of the language
of a2. As a side-effect, a2 is determinized if
not already marked as deterministic.
Complexity: quadratic in number of states.
Declaration
public static bool SubsetOf(Automaton a1, Automaton a2)Parameters
| Type | Name | Description |
|---|---|---|
| Automaton | a1 | |
| Automaton | a2 |
Returns
| Type | Description |
|---|---|
| System.Boolean |
