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

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

Reset() public method

Erases all formulas from the given goal.
public Reset ( ) : void
return void 
        public void Reset()
        {
            Native.Z3_goal_reset(Context.nCtx, NativeObject);
        }
Goal
Add
Assert
DecRef
Goal
IncRef
Reset
Simplify
ToString
Translate