Exemplos de Slicer.Analyzers.FOLConverter.Formulae PP em C# (CSharp)

Exemplo n.º 1

Arquivo: Equality.cs Projeto: uriJuhasz/Boogie_verifier

 private Equality(IType eqType)
     : base("=", "==[" + eqType.ToStringN() + "]", new[] { eqType, eqType })
 {
     this.eqType = eqType;
     pps[true]   = new PP(this);
     pps[false]  = pps[true].n;
 }

Exemplo n.º 2

Arquivo: Predicate.cs Projeto: uriJuhasz/Boogie_verifier

 protected Predicate(string name, ITypeTuple argumentTypes)
     : base(name, name, argumentTypes)
 {
     pps[true]  = new PP(this);
     pps[false] = pps[true].n;
 }