Lines Matching defs:predEntry
706 if (p->predEntry != NULL && p->predEntry->predLiteral != NULL) {
707 if (p->inverted != p->predEntry->pred->inverted) {
714 dumpAction(p->predEntry->predLiteral,output,0,p->source->file,p->source->line,0);
742 require (p->source != NULL,"predEntry->source == NULL");
770 PredEntry *predEntry=anode->predEntry;
774 if (predEntry == NULL) {
785 if (predEntry->predLiteral != NULL) {
787 dumpAction(predEntry->predLiteral,output,0,anode->file,anode->line,0);
790 workPred=predicate_dup(predEntry->pred);