C# (CSharp) Microsoft.Boogie.Variable Examples

Example #1

File: BoogieBoundVariable.cs Project: uriJuhasz/Boogie_verifier

        public BoogieBoundVariable(Microsoft.Boogie.Variable boogieVariable, IType type)
        {
            Debug.Assert(boogieVariable != null);

            this.boogieVariable = boogieVariable;
            this.type           = type;
        }

Example #2

File: ScopeImp.cs Project: uriJuhasz/Boogie_verifier

 public abstract string getVarUName(Microsoft.Boogie.Variable v);