C# Class Microsoft.Fast.AST.EquivQueryDef

Inheritance: BoolQueryDef

显示文件 Open project: AutomataDotNet/Automata

Public Properties

Property	Type	Description
isTransEquiv	bool

Public Methods

Method	Description
EquivQueryDef ( FastToken equiv, BuiltinExp expr1, BuiltinExp expr2, bool isTransEquiv ) : System
PrettyPrint ( StringBuilder sb ) : void

Method Details

EquivQueryDef() public method

public EquivQueryDef ( FastToken equiv, BuiltinExp expr1, BuiltinExp expr2, bool isTransEquiv ) : System
equiv	FastToken
expr1	BuiltinExp
expr2	BuiltinExp
isTransEquiv	bool
return	System

PrettyPrint() public method

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

Property Details

isTransEquiv public_oe property

public bool isTransEquiv
return	bool