clingo
|
#include <binders.hh>
Public Types | |
using | DomainType = AbstractDomain< Element > |
using | Match = typename DomainType::element_type * |
Public Member Functions | |
Matcher (Match &result, DomainType &domain, Term const &repr, RECNAF naf) | |
virtual IndexUpdater * | getUpdater () |
virtual void | match () |
virtual bool | next () |
virtual void | print (std::ostream &out) const |
virtual | ~Matcher () |
Public Member Functions inherited from Gringo::Ground::Binder | |
virtual | ~Binder () |
Public Member Functions inherited from Gringo::Printable | |
virtual | ~Printable () |
Public Attributes | |
Match & | result |
DomainType & | domain |
Term const & | repr |
RECNAF | naf |
bool | firstMatch |
using Gringo::Ground::Matcher< Element >::DomainType = AbstractDomain<Element> |
using Gringo::Ground::Matcher< Element >::Match = typename DomainType::element_type* |
|
inline |
|
inlinevirtual |
|
inlinevirtual |
Implements Gringo::Ground::Binder.
|
inlinevirtual |
|
inlinevirtual |
Implements Gringo::Ground::Binder.
|
inlinevirtual |
Implements Gringo::Printable.
DomainType& Gringo::Ground::Matcher< Element >::domain |
bool Gringo::Ground::Matcher< Element >::firstMatch |
RECNAF Gringo::Ground::Matcher< Element >::naf |
Term const& Gringo::Ground::Matcher< Element >::repr |
Match& Gringo::Ground::Matcher< Element >::result |