clingo
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups
Public Member Functions | List of all members
Gringo::Input::INongroundProgramBuilder Class Referenceabstract

#include <programbuilder.hh>

Inheritance diagram for Gringo::Input::INongroundProgramBuilder:
Inheritance graph
Collaboration diagram for Gringo::Input::INongroundProgramBuilder:
Collaboration graph

Public Member Functions

virtual TermUid term (Location const &loc, Value val)=0
 
virtual TermUid term (Location const &loc, FWString name)=0
 
virtual TermUid term (Location const &loc, UnOp op, TermUid a)=0
 
virtual TermUid term (Location const &loc, UnOp op, TermVecUid a)=0
 
virtual TermUid term (Location const &loc, BinOp op, TermUid a, TermUid b)=0
 
virtual TermUid term (Location const &loc, TermUid a, TermUid b)=0
 
virtual TermUid term (Location const &loc, FWString name, TermVecVecUid b, bool lua)=0
 
virtual CSPMulTermUid cspmulterm (Location const &loc, TermUid coe, TermUid var)=0
 
virtual CSPMulTermUid cspmulterm (Location const &loc, TermUid coe)=0
 
virtual CSPAddTermUid cspaddterm (Location const &loc, CSPAddTermUid a, CSPMulTermUid b, bool add)=0
 
virtual CSPAddTermUid cspaddterm (Location const &loc, CSPMulTermUid a)=0
 
virtual LitUid csplit (CSPLitUid a)=0
 
virtual CSPLitUid csplit (Location const &loc, CSPLitUid a, Relation rel, CSPAddTermUid b)=0
 
virtual CSPLitUid csplit (Location const &loc, CSPAddTermUid a, Relation rel, CSPAddTermUid b)=0
 
virtual IdVecUid idvec ()=0
 
virtual IdVecUid idvec (IdVecUid uid, Location const &loc, FWString id)=0
 
virtual TermVecUid termvec ()=0
 
virtual TermVecUid termvec (TermVecUid uid, TermUid term)=0
 
virtual TermVecVecUid termvecvec ()=0
 
virtual TermVecVecUid termvecvec (TermVecVecUid uid, TermVecUid termvecUid)=0
 
virtual LitUid boollit (Location const &loc, bool type)=0
 
virtual LitUid predlit (Location const &loc, NAF naf, bool neg, FWString name, TermVecVecUid argvecvecUid)=0
 
virtual LitUid rellit (Location const &loc, Relation rel, TermUid termUidLeft, TermUid termUidRight)=0
 
virtual LitVecUid litvec ()=0
 
virtual LitVecUid litvec (LitVecUid uid, LitUid literalUid)=0
 
virtual CondLitVecUid condlitvec ()=0
 
virtual CondLitVecUid condlitvec (CondLitVecUid uid, LitUid lit, LitVecUid litvec)=0
 
virtual BdAggrElemVecUid bodyaggrelemvec ()=0
 
virtual BdAggrElemVecUid bodyaggrelemvec (BdAggrElemVecUid uid, TermVecUid termvec, LitVecUid litvec)=0
 
virtual HdAggrElemVecUid headaggrelemvec ()=0
 
virtual HdAggrElemVecUid headaggrelemvec (HdAggrElemVecUid uid, TermVecUid termvec, LitUid lit, LitVecUid litvec)=0
 
virtual BoundVecUid boundvec ()=0
 
virtual BoundVecUid boundvec (BoundVecUid uid, Relation rel, TermUid term)=0
 
virtual HdLitUid headlit (LitUid lit)=0
 
virtual HdLitUid headaggr (Location const &loc, AggregateFunction fun, BoundVecUid bounds, HdAggrElemVecUid headaggrelemvec)=0
 
virtual HdLitUid headaggr (Location const &loc, AggregateFunction fun, BoundVecUid bounds, CondLitVecUid headaggrelemvec)=0
 
virtual HdLitUid disjunction (Location const &loc, CondLitVecUid condlitvec)=0
 
virtual BdLitVecUid body ()=0
 
virtual BdLitVecUid bodylit (BdLitVecUid body, LitUid bodylit)=0
 
virtual BdLitVecUid bodyaggr (BdLitVecUid body, Location const &loc, NAF naf, AggregateFunction fun, BoundVecUid bounds, BdAggrElemVecUid bodyaggrelemvec)=0
 
virtual BdLitVecUid bodyaggr (BdLitVecUid body, Location const &loc, NAF naf, AggregateFunction fun, BoundVecUid bounds, CondLitVecUid bodyaggrelemvec)=0
 
virtual BdLitVecUid conjunction (BdLitVecUid body, Location const &loc, LitUid head, LitVecUid litvec)=0
 
virtual BdLitVecUid disjoint (BdLitVecUid body, Location const &loc, NAF naf, CSPElemVecUid elem)=0
 
virtual CSPElemVecUid cspelemvec ()=0
 
virtual CSPElemVecUid cspelemvec (CSPElemVecUid uid, Location const &loc, TermVecUid termvec, CSPAddTermUid addterm, LitVecUid litvec)=0
 
virtual void rule (Location const &loc, HdLitUid head)=0
 
virtual void rule (Location const &loc, HdLitUid head, BdLitVecUid body)=0
 
virtual void define (Location const &loc, FWString name, TermUid value, bool defaultDef)=0
 
virtual void optimize (Location const &loc, TermUid weight, TermUid priority, TermVecUid cond, BdLitVecUid body)=0
 
virtual void showsig (Location const &loc, FWString name, unsigned arity, bool csp)=0
 
virtual void show (Location const &loc, TermUid t, BdLitVecUid body, bool csp)=0
 
virtual void python (Location const &loc, FWString code)=0
 
virtual void lua (Location const &loc, FWString code)=0
 
virtual void block (Location const &loc, FWString name, IdVecUid args)=0
 
virtual void external (Location const &loc, LitUid head, BdLitVecUid body)=0
 
virtual ~INongroundProgramBuilder ()
 

Constructor & Destructor Documentation

virtual Gringo::Input::INongroundProgramBuilder::~INongroundProgramBuilder ( )
inlinevirtual

Member Function Documentation

virtual void Gringo::Input::INongroundProgramBuilder::block ( Location const &  loc,
FWString  name,
IdVecUid  args 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual BdLitVecUid Gringo::Input::INongroundProgramBuilder::body ( )
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual BdLitVecUid Gringo::Input::INongroundProgramBuilder::bodyaggr ( BdLitVecUid  body,
Location const &  loc,
NAF  naf,
AggregateFunction  fun,
BoundVecUid  bounds,
BdAggrElemVecUid  bodyaggrelemvec 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual BdLitVecUid Gringo::Input::INongroundProgramBuilder::bodyaggr ( BdLitVecUid  body,
Location const &  loc,
NAF  naf,
AggregateFunction  fun,
BoundVecUid  bounds,
CondLitVecUid  bodyaggrelemvec 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual BdAggrElemVecUid Gringo::Input::INongroundProgramBuilder::bodyaggrelemvec ( )
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual BdAggrElemVecUid Gringo::Input::INongroundProgramBuilder::bodyaggrelemvec ( BdAggrElemVecUid  uid,
TermVecUid  termvec,
LitVecUid  litvec 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual BdLitVecUid Gringo::Input::INongroundProgramBuilder::bodylit ( BdLitVecUid  body,
LitUid  bodylit 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual LitUid Gringo::Input::INongroundProgramBuilder::boollit ( Location const &  loc,
bool  type 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual BoundVecUid Gringo::Input::INongroundProgramBuilder::boundvec ( )
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual BoundVecUid Gringo::Input::INongroundProgramBuilder::boundvec ( BoundVecUid  uid,
Relation  rel,
TermUid  term 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual CondLitVecUid Gringo::Input::INongroundProgramBuilder::condlitvec ( )
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual CondLitVecUid Gringo::Input::INongroundProgramBuilder::condlitvec ( CondLitVecUid  uid,
LitUid  lit,
LitVecUid  litvec 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual BdLitVecUid Gringo::Input::INongroundProgramBuilder::conjunction ( BdLitVecUid  body,
Location const &  loc,
LitUid  head,
LitVecUid  litvec 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual CSPAddTermUid Gringo::Input::INongroundProgramBuilder::cspaddterm ( Location const &  loc,
CSPAddTermUid  a,
CSPMulTermUid  b,
bool  add 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual CSPAddTermUid Gringo::Input::INongroundProgramBuilder::cspaddterm ( Location const &  loc,
CSPMulTermUid  a 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual CSPElemVecUid Gringo::Input::INongroundProgramBuilder::cspelemvec ( )
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual CSPElemVecUid Gringo::Input::INongroundProgramBuilder::cspelemvec ( CSPElemVecUid  uid,
Location const &  loc,
TermVecUid  termvec,
CSPAddTermUid  addterm,
LitVecUid  litvec 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual LitUid Gringo::Input::INongroundProgramBuilder::csplit ( CSPLitUid  a)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual CSPLitUid Gringo::Input::INongroundProgramBuilder::csplit ( Location const &  loc,
CSPLitUid  a,
Relation  rel,
CSPAddTermUid  b 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual CSPLitUid Gringo::Input::INongroundProgramBuilder::csplit ( Location const &  loc,
CSPAddTermUid  a,
Relation  rel,
CSPAddTermUid  b 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual CSPMulTermUid Gringo::Input::INongroundProgramBuilder::cspmulterm ( Location const &  loc,
TermUid  coe,
TermUid  var 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual CSPMulTermUid Gringo::Input::INongroundProgramBuilder::cspmulterm ( Location const &  loc,
TermUid  coe 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual void Gringo::Input::INongroundProgramBuilder::define ( Location const &  loc,
FWString  name,
TermUid  value,
bool  defaultDef 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual BdLitVecUid Gringo::Input::INongroundProgramBuilder::disjoint ( BdLitVecUid  body,
Location const &  loc,
NAF  naf,
CSPElemVecUid  elem 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual HdLitUid Gringo::Input::INongroundProgramBuilder::disjunction ( Location const &  loc,
CondLitVecUid  condlitvec 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual void Gringo::Input::INongroundProgramBuilder::external ( Location const &  loc,
LitUid  head,
BdLitVecUid  body 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual HdLitUid Gringo::Input::INongroundProgramBuilder::headaggr ( Location const &  loc,
AggregateFunction  fun,
BoundVecUid  bounds,
HdAggrElemVecUid  headaggrelemvec 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual HdLitUid Gringo::Input::INongroundProgramBuilder::headaggr ( Location const &  loc,
AggregateFunction  fun,
BoundVecUid  bounds,
CondLitVecUid  headaggrelemvec 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual HdAggrElemVecUid Gringo::Input::INongroundProgramBuilder::headaggrelemvec ( )
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual HdAggrElemVecUid Gringo::Input::INongroundProgramBuilder::headaggrelemvec ( HdAggrElemVecUid  uid,
TermVecUid  termvec,
LitUid  lit,
LitVecUid  litvec 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual HdLitUid Gringo::Input::INongroundProgramBuilder::headlit ( LitUid  lit)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual IdVecUid Gringo::Input::INongroundProgramBuilder::idvec ( )
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual IdVecUid Gringo::Input::INongroundProgramBuilder::idvec ( IdVecUid  uid,
Location const &  loc,
FWString  id 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual LitVecUid Gringo::Input::INongroundProgramBuilder::litvec ( )
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual LitVecUid Gringo::Input::INongroundProgramBuilder::litvec ( LitVecUid  uid,
LitUid  literalUid 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual void Gringo::Input::INongroundProgramBuilder::lua ( Location const &  loc,
FWString  code 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual void Gringo::Input::INongroundProgramBuilder::optimize ( Location const &  loc,
TermUid  weight,
TermUid  priority,
TermVecUid  cond,
BdLitVecUid  body 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual LitUid Gringo::Input::INongroundProgramBuilder::predlit ( Location const &  loc,
NAF  naf,
bool  neg,
FWString  name,
TermVecVecUid  argvecvecUid 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual void Gringo::Input::INongroundProgramBuilder::python ( Location const &  loc,
FWString  code 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual LitUid Gringo::Input::INongroundProgramBuilder::rellit ( Location const &  loc,
Relation  rel,
TermUid  termUidLeft,
TermUid  termUidRight 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual void Gringo::Input::INongroundProgramBuilder::rule ( Location const &  loc,
HdLitUid  head 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual void Gringo::Input::INongroundProgramBuilder::rule ( Location const &  loc,
HdLitUid  head,
BdLitVecUid  body 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual void Gringo::Input::INongroundProgramBuilder::show ( Location const &  loc,
TermUid  t,
BdLitVecUid  body,
bool  csp 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual void Gringo::Input::INongroundProgramBuilder::showsig ( Location const &  loc,
FWString  name,
unsigned  arity,
bool  csp 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual TermUid Gringo::Input::INongroundProgramBuilder::term ( Location const &  loc,
Value  val 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual TermUid Gringo::Input::INongroundProgramBuilder::term ( Location const &  loc,
FWString  name 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual TermUid Gringo::Input::INongroundProgramBuilder::term ( Location const &  loc,
UnOp  op,
TermUid  a 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual TermUid Gringo::Input::INongroundProgramBuilder::term ( Location const &  loc,
UnOp  op,
TermVecUid  a 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual TermUid Gringo::Input::INongroundProgramBuilder::term ( Location const &  loc,
BinOp  op,
TermUid  a,
TermUid  b 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual TermUid Gringo::Input::INongroundProgramBuilder::term ( Location const &  loc,
TermUid  a,
TermUid  b 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual TermUid Gringo::Input::INongroundProgramBuilder::term ( Location const &  loc,
FWString  name,
TermVecVecUid  b,
bool  lua 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual TermVecUid Gringo::Input::INongroundProgramBuilder::termvec ( )
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual TermVecUid Gringo::Input::INongroundProgramBuilder::termvec ( TermVecUid  uid,
TermUid  term 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual TermVecVecUid Gringo::Input::INongroundProgramBuilder::termvecvec ( )
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

virtual TermVecVecUid Gringo::Input::INongroundProgramBuilder::termvecvec ( TermVecVecUid  uid,
TermVecUid  termvecUid 
)
pure virtual

Implemented in Gringo::Input::NongroundProgramBuilder, and Gringo::Input::Test::TestNongroundProgramBuilder.

The documentation for this class was generated from the following file:
Generated on Wed May 14 2014 16:10:56 for clingo by   doxygen 1.8.7