コード例 #1
0
ファイル: 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
0
ファイル: 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
0
ファイル: external.cpp プロジェクト: grote/oclingo
External::External(const Loc &loc, PredLit *head, LitPtrVec &body)
	: SimpleStatement(loc)
	, head_(head)
	, body_(body.release())
{
	head_->head(true);
}
コード例 #4
0
ファイル: 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)
{
}