本文整理汇总了C++中Work::factEval方法的典型用法代码示例。如果您正苦于以下问题：C++ Work::factEval方法的具体用法？C++ Work::factEval怎么用？C++ Work::factEval使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类Work的用法示例。
在下文中一共展示了Work::factEval方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: main
//int main(int argc, char** argv)
int main()
{
vector<Token> ex_list;
//ex_list = sc.scan(argv[1]);
ex_list = sc.scan("parcertest1.txt");
//sc.scan("parcertest1.txt", "parceresport.txt");
p.get_vector(ex_list);
DLP vect = p.datalogprogram("DLPEXPORT.txt");
w.importDLP(vect);
//string temp = argv[2];
string temp = "a.txt";
ofstream out(temp);
w.doWork(out);
w.factEval(out);
w.printfacts(out);
w.further_work(out);
// out.close();
//vector<Predicate> sh = vect.getSchemes();
/*
for (int i = 0; i < sh.size(); i++)
{
cout << sh[i].toString() << endl;
}*/
//system("pause");
return 0;
}