• 홈
• Microsoft
• Z3
• Probe

C# 클래스 Microsoft.Z3.Probe

파일 보기 프로젝트 열기: sslab-gatech/juxta 1 사용 예제들

공개 메소드들

메소드	설명
Apply ( Goal g ) : double	Execute the probe over the goal.
this ( Goal g ) : double	Apply the probe to a goal.

비공개 메소드들

메소드	설명
DecRef ( IntPtr o ) : void
IncRef ( IntPtr o ) : void
Probe ( Context ctx, IntPtr obj ) : System
Probe ( Context ctx, string name ) : System

메소드 상세