Microsoft.Z3.Expr.Update C# (CSharp) Method

Expr Class Documentation 显示文件 Open project: sslab-gatech/juxta

Update() public method

Update the arguments of the expression using the arguments args The number of new arguments should coincide with the current number of arguments.

public Update ( Expr args ) : void
args	Expr
return	void

        public void Update(Expr[] args)
        {
            Contract.Requires(args != null);
            Contract.Requires(Contract.ForAll(args, a => a != null));

            Context.CheckContextMatch(args);
            if (IsApp && args.Length != NumArgs)
                throw new Z3Exception("Number of arguments does not match");
            NativeObject = Native.Z3_update_term(Context.nCtx, NativeObject, (uint)args.Length, Expr.ArrayToNative(args));
        }

Expr

CheckNativeObject

Create

Expr

Simplify

Substitute

SubstituteVars

ToString

Translate

Update