Ejemplos de Slicer.Analyzers.FOLConverter.Formulae PP en C# (CSharp)

Ejemplo n.º 1

Archivo: Equality.cs Proyecto: 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;
 }

Ejemplo n.º 2

Archivo: Predicate.cs Proyecto: uriJuhasz/Boogie_verifier

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