C# Class Microsoft.PSharp.LanguageServices.Rewriting.PSharp.PSharpRewriter

An abstract P# program rewriter.
Mostra file Open project: p-org/PSharp

Protected Properties

Property Type Description
Program IPSharpProgram

Protected Methods

Method Description
PSharpRewriter ( IPSharpProgram program )

Initializes a new instance of the PSharpRewriter class.

Method Details

PSharpRewriter() protected method

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

Property Details

Program protected_oe property

The P# program.
protected IPSharpProgram Program
return IPSharpProgram