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

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

ToString() public method

Goal to string conversion.
public ToString ( ) : string
return string 
        public override string ToString()
        {
            return Native.Z3_goal_to_string(Context.nCtx, NativeObject);
        }
Goal
Add
Assert
DecRef
Goal
IncRef
Reset
Simplify
ToString
Translate