Ejemplo n.º 1
0
Display::Display(const Loc &loc, DisplayHeadLit *lit, LitPtrVec &body, Type type)
	: SimpleStatement(loc)
	, head_(lit)
	, body_(body.release())
	, type_(type)
{
}
Ejemplo n.º 2
0
Display::Display(const Loc &loc, Term *term, LitPtrVec &body, Type type)
	: SimpleStatement(loc)
	, head_(new DisplayHeadLit(loc, term))
	, body_(body.release())
	, type_(type)
{
}
Ejemplo n.º 3
0
External::External(const Loc &loc, PredLit *head, LitPtrVec &body)
	: SimpleStatement(loc)
	, head_(head)
	, body_(body.release())
{
	head_->head(true);
}
Ejemplo n.º 4
0
Display::Display(const Loc &loc, bool show, PredLit *head, LitPtrVec &body)
    : Statement(loc)
    , head_(head)
    , body_(body.release())
    , show_(show)
    , grounded_(false)
{
}