dlvhex  2.5.0
Public Member Functions
AtomMatches Struct Reference

General purpose predicate functor, which returns true iff (*g == a). More...

Public Member Functions

bool operator() (const AtomPtr &g, const Atom &a) const

Detailed Description

General purpose predicate functor, which returns true iff (*g == a).

Definition at line 252 of file AtomSet.cpp.

Member Function Documentation

bool AtomMatches::operator() ( const AtomPtr &  g,
const Atom &  a 
) const [inline]

Definition at line 255 of file AtomSet.cpp.

The documentation for this struct was generated from the following file: