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

Inheritance: MonaAst
Show file Open project: AutomataDotNet/Automata Class Usage Examples

Public Properties

Property Type Description
token Token
where MonaExpr

Public Methods

Method Description
Print ( StringBuilder sb ) : void
ToString ( ) : string

Private Methods

Method Description
MonaVarWhere ( Token token, MonaExpr where ) : System

Method Details

Print() public method

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

ToString() public method

public ToString ( ) : string
return string

Property Details

token public property

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

where public property

public MonaExpr,Microsoft.Automata.MSO.Mona where
return MonaExpr