C# 클래스 Microsoft.Automata.MSO.Mona.MonaDefaultWhereDecl

상속: MonaDecl
파일 보기 프로젝트 열기: AutomataDotNet/Automata 1 사용 예제들

공개 프로퍼티들

프로퍼티 타입 설명
formula MonaExpr
isSecondOrder bool
param Token

공개 메소드들

메소드 설명
Print ( StringBuilder sb ) : void

비공개 메소드들

메소드 설명
MonaDefaultWhereDecl ( bool isSecondOrder, Token param, MonaExpr formula ) : System
TypeCheck ( MonaDecl>.Dictionary glob, MonaParam>.MapStack loc ) : void

메소드 상세

Print() 공개 메소드

public Print ( StringBuilder sb ) : void
sb StringBuilder
리턴 void

프로퍼티 상세

formula 공개적으로 프로퍼티

public MonaExpr,Microsoft.Automata.MSO.Mona formula
리턴 MonaExpr

isSecondOrder 공개적으로 프로퍼티

public bool isSecondOrder
리턴 bool

param 공개적으로 프로퍼티

public Token,Microsoft.Automata.MSO.Mona param
리턴 Token