Lines Matching refs:Count
1629 count_and_record_constraints((ConstDec1,ConstDec2), Count0, Count, Module) :-
1632 count_and_record_constraints(ConstDec2, Count1, Count, Module).
1633 count_and_record_constraints(SingleConstDec, Count0, Count, Module) :-
1635 % Count is also used as id for constraint
1647 Count = Count0
1648 ; Count = Count1,
1650 recordz('CHRconstraints', chrcinfo with [spec:ConstSpec,count:Count,prio:Prio])@Module
1979 getval_body('CHRcdelete_count'(ListIndex), Count, Module),
1980 (Count == cdelete_threshold ->
1983 ; %Count1 is Count + 1,