Microsoft.Z3.Goal.Translate C# (CSharp) Method

Goal Class Documentation Show file Open project: sslab-gatech/juxta

Translate() public method

Translates (copies) the Goal to the target Context ctx.
public Translate ( Context ctx ) : Goal
ctx Context
return Goal 
        public Goal Translate(Context ctx)
        {
            Contract.Requires(ctx != null);

            return new Goal(ctx, Native.Z3_goal_translate(Context.nCtx, NativeObject, ctx.nCtx));
        }
Goal
Add
Assert
DecRef
Goal
IncRef
Reset
Simplify
ToString
Translate