java pointer_Java Pointer.pointerToCString方法代码示例
import org.bridj.Pointer; //导入方法依赖的package包/类
@Test
public void controlTest() {
Pointer name = Pointer.pointerToCString("base");
Pointer program = Pointer.pointerToCString(PROGRAM3);
clingo_part p = new clingo_part();
p.name(name);
p.params(null);
p.size(0);
Pointer parts = Pointer.allocate(clingo_part.class);
parts.set(p);
Pointer major = Pointer.allocateInt();
Pointer minor = Pointer.allocateInt();
Pointer revision = Pointer.allocateInt();
LIB.clingo_version(major, minor, revision);
System.out.println("Clingo library version: " + major.getInt() + "." + minor.getInt() + "." + revision.getInt());
// create a control object and pass command line arguments
Pointer> control = Pointer.allocatePointer(clingo_control.class);
if (!LIB.clingo_control_new(null, 0, null, null, 20, control)) {
error(control, "Could not create controller");
}
long startTime = System.currentTimeMillis();
// add a logic program to the base part
if (!LIB.clingo_control_add(control.get(), name, null, 0, program)) {
error(control, "Error add the program to controller");
}
// ground the base part
if (!LIB.clingo_control_ground(control.get(), parts, 1, null, null)) {
error(control, "Error ground the program");
}
if (!solve(control)) {
error(control, "Error solving the program");
}
float endTime = (System.currentTimeMillis() - startTime) / 1000f;
System.out.println("Time:" + String.format(TIME_FORMAT, endTime) + "s");
LIB.clingo_control_free(control.get());
}
java pointer_Java Pointer.pointerToCString方法代码示例相关推荐
- java kryo_Kryo框架使用方法代码示例
Kryo框架的source已移至https://github.com/EsotericSoftware/kryo ,进入此页面,然后点击右边的Download Zip按钮,就能下载到最新版本的Kryo ...
- java readtimeout_Java HttpURLConnection.getReadTimeout方法代码示例
import java.net.HttpURLConnection; //导入方法依赖的package包/类 /** * 得到响应对象 * * @param urlConnection * @retu ...
- java invalidate_Java Component.invalidate方法代码示例
import java.awt.Component; //导入方法依赖的package包/类 /** Installs the component we will embed to display t ...
- java hasmoreelements_Java IOException.hasMoreElements方法代码示例
import java.io.IOException; //导入方法依赖的package包/类 /** * fileName���� ���� package �������� ������ ���� ...
- java methode_Java Method.getTypeParameters方法代码示例
import java.lang.reflect.Method; //导入方法依赖的package包/类 private void validateRuleMethod(MethodRuleDefin ...
- java setmethod_Java Operation.setJavaMethod方法代码示例
import com.sun.tools.internal.ws.processor.model.Operation; //导入方法依赖的package包/类 private void createJ ...
- java cancel_Java RunnableFuture.cancel方法代码示例
import java.util.concurrent.RunnableFuture; //导入方法依赖的package包/类 @Test public void testSnapshotAsyncC ...
- java getevent_Java ActionEvent.getWhen方法代码示例
import java.awt.event.ActionEvent; //导入方法依赖的package包/类 @Override final public void actionPerformed(A ...
- java deepcopy_Java JsonNode.deepCopy方法代码示例
import com.fasterxml.jackson.databind.JsonNode; //导入方法依赖的package包/类 /** * Applies this schema rule t ...
- java setlayout_Java JLabel.setLayout方法代码示例
import javax.swing.JLabel; //导入方法依赖的package包/类 private void initTitlePanel(){ preYear = new JLabel(& ...
最新文章
- P5667 拉格朗日插值2（拉格朗日插值，NTT， 倒推求逆元）
- AI战略投资全景图：11个行业200多家巨头最爱什么样的AI创业公司？
- hibernate.hbm.xml配置文件解析
- Psych101(part5)--Day5
- haskell 求列表最大值_Haskell和自然数之基础篇
- /etc/bashrc和/etc/profile
- “针对即席工作负荷进行优化”如何影响你的计划缓存
- 解决mysql中表字符集gbk，列字符集Latin1，python查询乱码问题
- android gps导航省电,一种GPS导航中省电的系统和方法与流程
- lru算法c语言实现单链表,基于单链表实现LRU算法
- 高性能红黑二叉树实现
- 研发团队建设几点看法及建议
- 利用Excel制作库房管理系统
- 使用易语言+myqq制作QQ群管理机器人-入门教程
- 在民间借贷软件开发中用到的电子文档存储技术
- [方便WAP网站开发]在线手机WAP模拟器或软件
- 综合项目之闪讯破解（一）之 闪讯拨号用户名核心算法
- java线程之读写锁
- python搜索关键词的公众号文章标题和路径_微信文章关键词爬虫教程
- Instagram第三方接入