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