JavaObjectTerm
class wraps a java object.import java.util.Hashtable; Term t = new JavaObjectTerm(new Hashtable()); Hashtable hash = (Hashtable)(((JavaObjectTerm)t).object());@author Mutsunori Banbara (banbara@kobe-u.ac.jp) @author Naoyuki Tamura (tamura@kobe-u.ac.jp) @version 1.0
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|