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

Inheritance: MonaDecl
Afficher le fichier Open project: AutomataDotNet/Automata

Méthodes publiques

Свойство Type Description
univs Cons
varwhere MonaVarWhere

Méthodes publiques

Méthode Description
Print ( StringBuilder sb ) : void

Private Methods

Méthode Description
MonaVarDecl ( MonaDeclKind kind, Cons univs, MonaVarWhere vw ) : System
TypeCheck ( MonaDecl>.Dictionary glob, MonaParam>.MapStack loc ) : void

Method Details

Print() public méthode

public Print ( StringBuilder sb ) : void
sb StringBuilder
Résultat void

Property Details

univs public_oe property

public Cons univs
Résultat Cons

varwhere public_oe property

public MonaVarWhere,Microsoft.Automata.MSO.Mona varwhere
Résultat MonaVarWhere