C# Class Microsoft.Fast.AST.IsEmptyQueryDef

Inheritance: BoolQueryDef

Show file 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 property

public bool isTrans
return	bool