Inherits std::binary_function<const CTPNode*, const CTPNode*, bool>.
List of all members.
[inline]
References BALL::LogStream::error(), BALL::ConnectedToPredicate::CTPNode::getSymbol(), and BALL::Log.