Added specification for predicates and operators to header file.