C# 클래스 Microsoft.Z3.FuncDecl.Parameter

Function declarations can have Parameters associated with them.
파일 보기 프로젝트 열기: sslab-gatech/juxta

비공개 메소드들

메소드 설명
Parameter ( Z3_parameter_kind k, AST a ) : System
Parameter ( Z3_parameter_kind k, FuncDecl fd ) : System
Parameter ( Z3_parameter_kind k, Microsoft.Z3.Sort s ) : System
Parameter ( Z3_parameter_kind k, Symbol s ) : System
Parameter ( Z3_parameter_kind k, double d ) : System
Parameter ( Z3_parameter_kind k, int i ) : System
Parameter ( Z3_parameter_kind k, string r ) : System