C# 클래스 Microsoft.Z3.ApplyResult

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

공개 메소드들

메소드 설명
ConvertModel ( uint i, Model m ) : Model

Convert a model for the subgoal i into a model for the original goal g, that the ApplyResult was obtained from.

ToString ( ) : string

A string representation of the ApplyResult.

비공개 메소드들

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

메소드 상세

ConvertModel() 공개 메소드

Convert a model for the subgoal i into a model for the original goal g, that the ApplyResult was obtained from.
public ConvertModel ( uint i, Model m ) : Model
i uint
m Model
리턴 Model

ToString() 공개 메소드

A string representation of the ApplyResult.
public ToString ( ) : string
리턴 string