Searched defs:clpb_bdd (Results 1 – 1 of 1) sorted by relevance
1836 clpb_bdd:attribute_goals//1, label1855 clpb_bdd:attribute_goals(_) --> []. label