class
JTLVJavaFactory.JTLVIntBDDVarSetWithFinalizer
JTLVJavaFactory.JTLVIntZDDVarSet
JTLVJavaFactory.JTLVIntZDDVarSetWithFinalizer