C# Class Microsoft.Fast.AST.TransEquivQueryDef

Inheritance: EquivQueryDef

Afficher le fichier Open project: AutomataDotNet/Automata

Méthodes publiques

Свойство	Type	Description
trans1	BuiltinTransExp
trans2	BuiltinTransExp

Méthodes publiques

Méthode	Description
TransEquivQueryDef ( FastToken equiv, BuiltinTransExp trans1, BuiltinTransExp trans2 ) : System

Private Methods

Méthode	Description
Typecheck ( FastPgm pgm ) : void

Method Details

TransEquivQueryDef() public méthode

public TransEquivQueryDef ( FastToken equiv, BuiltinTransExp trans1, BuiltinTransExp trans2 ) : System
equiv	FastToken
trans1	BuiltinTransExp
trans2	BuiltinTransExp
Résultat	System

Property Details

trans1 public_oe property

public BuiltinTransExp,Microsoft.Fast.AST trans1
Résultat	BuiltinTransExp

trans2 public_oe property

public BuiltinTransExp,Microsoft.Fast.AST trans2
Résultat	BuiltinTransExp