function p = BR_ccp2clausep(clause,ccp)
%

p = 0;

num_literals = length(clause);
num_ccp = length(ccp);
n = log2(num_ccp);

for t = 0:num_ccp-1
    bits = BR_int2bits(t,n);
    done = 0;
    l = 0;
    while done==0&l<num_literals
        l = l + 1;
        s = clause(l)>0;
        if s==bits(abs(clause(l)))
            p = p + ccp(t+1);
            done = 1;
        end
    end
end
