C# Class Microsoft.Zing.Process.PredicateContextIndexer

Show file Open project: ZingModelChecker/Zing

Public Properties

Property Type Description
predicateContext ZingAttribute[]

Public Methods

Method Description
PredicateContextIndexer ( int num ) : System
this ( int index ) : ZingAttribute

Method Details

PredicateContextIndexer() public method

public PredicateContextIndexer ( int num ) : System
num int
return System

this() public method

public this ( int index ) : ZingAttribute
index int
return ZingAttribute

Property Details

predicateContext public property

public ZingAttribute[] predicateContext
return ZingAttribute[]