- cf_contractor(Xs:interval_list, As:interval_list) is semidet
- Succeeds if each interval in As can be unified with the midpoints of the respective interval in Xs; otherwise fails. This predicate executes one narrowing step of the centre form contractor such as that generated by
taylor_contractor. In normal usage, a direct call to cf_contractor does appear; instead use cf_contractor or in a Goal for iterate_until/3.
- See also
- -
taylor_contractor/2, cf_solve/1, iterate_until/3