Ejemplos de Microsoft.Formula.Solver StringEmbedding en C# (CSharp)

Ejemplo n.º 1

Archivo: EnumEmbedding.cs Proyecto: thisiscam/formula

        private Z3Expr MkCoercion(Z3Expr t, AppFreeCanUnn unn, StringEmbedding te)
        {
            var coercions = DefaultMember.Item2;

            foreach (var s in unn.NonRangeMembers)
            {
                Contract.Assert(s.IsNonVarConstant);
                coercions = t.Eq(Context, te.MkGround(s, null)).Ite(
                    Context,
                    MkGround(s, null),
                    coercions);
            }

            return(coercions);
        }

Ejemplo n.º 2

Archivo: SingletonEmbedding.cs Proyecto: thisiscam/formula

 private Z3Expr MkCoercion(Z3Expr t, AppFreeCanUnn unn, StringEmbedding te)
 {
     return(CreationFun.Apply());
 }