C# Class Microsoft.Fast.AST.IsEmptyQueryDef

Inheritance: BoolQueryDef
显示文件 Open project: AutomataDotNet/Automata

Public Properties

Property Type Description
isTrans bool

Public Methods

Method Description
IsEmptyQueryDef ( FastToken isempty, BuiltinExp expr, bool isTrans ) : System
PrettyPrint ( StringBuilder sb ) : void

Method Details

IsEmptyQueryDef() public method

public IsEmptyQueryDef ( FastToken isempty, BuiltinExp expr, bool isTrans ) : System
isempty FastToken
expr BuiltinExp
isTrans bool
return System

PrettyPrint() public method

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

Property Details

isTrans public_oe property

public bool isTrans
return bool