C# Класс Microsoft.PSharp.LanguageServices.Rewriting.PSharp.PSharpRewriter

An abstract P# program rewriter.
Показать файл Открыть проект

Защищенные свойства (Protected)

Свойство Тип Описание
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