Method Save
Save(DataOutput)
Declaration
public void Save(DataOutput out)Parameters
| Type | Name | Description |
|---|---|---|
| DataOutput | out |
Save(FileInfo)
Writes an automaton to a file.
Declaration
public void Save(FileInfo file)Parameters
| Type | Name | Description |
|---|---|---|
| FileInfo | file |
