예제 #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)
{
}