C# Class Microsoft.Automata.MSO.Mona.MonaUniverseParam

Inheritance: MonaParam
Mostra file Open project: AutomataDotNet/Automata

Public Properties

Property Type Description
name Token

Public Methods

Method Description
Print ( StringBuilder sb ) : void

Private Methods

Method Description
MonaUniverseParam ( Token name ) : System

Method Details

Print() public method

public Print ( StringBuilder sb ) : void
sb StringBuilder
return void

Property Details

name public_oe property

public Token,Microsoft.Automata.MSO.Mona name
return Token