JavaString

Detailed Description

Definition at line 551 of file constraint_solver_java_wrap.cc.

Public Member Functions
	JavaString (JNIEnv *jenv, jstring jstr)
	~JavaString ()
const char *	c_str (const char *null_string="null JavaString") const
	JavaString (JNIEnv *jenv, jstring jstr)
	~JavaString ()
const char *	c_str (const char *null_string="null JavaString") const

Constructor & Destructor Documentation

JavaString() [1/2]

JavaString ( JNIEnv *  jenv, jstring  jstr  )

inline

Definition at line 553 of file constraint_solver_java_wrap.cc.

~JavaString() [1/2]

~JavaString ( )

inline

Definition at line 558 of file constraint_solver_java_wrap.cc.

JavaString() [2/2]

JavaString ( JNIEnv *  jenv, jstring  jstr  )

inline

Definition at line 536 of file sat_java_wrap.cc.

~JavaString() [2/2]

~JavaString ( )

inline

Definition at line 541 of file sat_java_wrap.cc.

Member Function Documentation

c_str() [1/2]

const char* c_str ( const char *  null_string = "null JavaString" ) const

inline

Definition at line 546 of file sat_java_wrap.cc.

c_str() [2/2]

const char* c_str ( const char *  null_string = "null JavaString" ) const

inline

Definition at line 563 of file constraint_solver_java_wrap.cc.

---

The documentation for this class was generated from the following files:

• constraint_solver_java_wrap.cc
• sat_java_wrap.cc