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

/barrelfish-master/usr/eclipseclp/Contrib/
H A Dcardinal_comments.pl540 cardinality: FunctionValue can be an integer, an FD variable or an integer domain (list or range) label
583 cardinality: FunctionValue can be an integer, an FD variable or an integer domain (list or range) label
1263 cardinality: "Cardinality function (an integer or an FD variable).", label
[all...]
/barrelfish-master/usr/eclipseclp/documents/megalog/
H A Dknowbase-sec.tex

Completed in 48 milliseconds