Package com.microsoft.z3

Class Native.StringPtr

  • Enclosing class:
    Native
    public static class Native.StringPtr
extends java.lang.Object

    • Field Summary

      Fields 
      Modifier and Type Field Description
      java.lang.String value  

    • Constructor Summary

      Constructors 
      Constructor Description
      StringPtr()  

    • Method Summary

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Field Detail

      • value

        public java.lang.String value

    • Constructor Detail

      • StringPtr

        public StringPtr()