C# 클래스 Microsoft.PSharp.LanguageServices.Rewriting.PSharp.PSharpRewriter

An abstract P# program rewriter.
파일 보기 프로젝트 열기: p-org/PSharp

보호된 프로퍼티들

프로퍼티 타입 설명
Program IPSharpProgram

보호된 메소드들

메소드 설명
PSharpRewriter ( IPSharpProgram program )

Initializes a new instance of the PSharpRewriter class.

메소드 상세

PSharpRewriter() 보호된 메소드

Initializes a new instance of the PSharpRewriter class.
protected PSharpRewriter ( IPSharpProgram program )
program IPSharpProgram

프로퍼티 상세

Program 보호되어 있는 프로퍼티

The P# program.
protected IPSharpProgram Program
리턴 IPSharpProgram