C# Class Microsoft.Fast.AST.TransEquivQueryDef

Inheritance: EquivQueryDef
Mostrar archivo Open project: AutomataDotNet/Automata

Public Properties

Property Type Description
trans1 BuiltinTransExp
trans2 BuiltinTransExp

Public Methods

Method Description
TransEquivQueryDef ( FastToken equiv, BuiltinTransExp trans1, BuiltinTransExp trans2 ) : System

Private Methods

Method Description
Typecheck ( FastPgm pgm ) : void

Method Details

TransEquivQueryDef() public method

public TransEquivQueryDef ( FastToken equiv, BuiltinTransExp trans1, BuiltinTransExp trans2 ) : System
equiv FastToken
trans1 BuiltinTransExp
trans2 BuiltinTransExp
return System

Property Details

trans1 public_oe property

public BuiltinTransExp,Microsoft.Fast.AST trans1
return BuiltinTransExp

trans2 public_oe property

public BuiltinTransExp,Microsoft.Fast.AST trans2
return BuiltinTransExp