C++ (Cpp) LitPtrVec示例

示例#1

文件： show.cpp 项目： grote/oclingo

Display::Display(const Loc &loc, DisplayHeadLit *lit, LitPtrVec &body, Type type)
	: SimpleStatement(loc)
	, head_(lit)
	, body_(body.release())
	, type_(type)
{
}

示例#2

文件： show.cpp 项目： grote/oclingo

Display::Display(const Loc &loc, Term *term, LitPtrVec &body, Type type)
	: SimpleStatement(loc)
	, head_(new DisplayHeadLit(loc, term))
	, body_(body.release())
	, type_(type)
{
}

示例#3

文件： external.cpp 项目： grote/oclingo

External::External(const Loc &loc, PredLit *head, LitPtrVec &body)
	: SimpleStatement(loc)
	, head_(head)
	, body_(body.release())
{
	head_->head(true);
}

示例#4

文件： display.cpp 项目： lilac/iASP

Display::Display(const Loc &loc, bool show, PredLit *head, LitPtrVec &body)
    : Statement(loc)
    , head_(head)
    , body_(body.release())
    , show_(show)
    , grounded_(false)
{
}