Classes | Functions

opennwa::query::details::predicates Namespace Reference

Defines a generic predicate. More...

Classes

class  SelectorEqualityPredicate
 This class takes a selector and an object. More...

Functions

template<typename Selector , typename EqualityType >
SelectorEqualityPredicate
< Selector > 
makeSelectorEqualityPredicate (Selector selector, EqualityType const &goal)
 Like std::make_pair.

Detailed Description

Defines a generic predicate.

Predicates take a transition and return true or false depending on whether the predicate holds for that transition or not.


Function Documentation

template<typename Selector , typename EqualityType >
SelectorEqualityPredicate<Selector> opennwa::query::details::predicates::makeSelectorEqualityPredicate ( Selector  selector,
EqualityType const &  goal 
)

Like std::make_pair.

Returns a SelectorEqualityPredicate of the appropriate type.

Referenced by main().