Searched defs:soft_cut_code_ (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/
H A Dcode.c110 vmcode soft_cut_code_[2]; /* softly cut choice point */ variable

Completed in 77 milliseconds