Searched refs:c_ilog_set_value (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/
H A Dilog.cc265 c_ilog_set_value() // ilog_set_value(H, Var, IntValue) function
272 Assert(v.getValue() == ec_arg(3).val.nint, "c_ilog_set_value");
H A Dilog.pl104 external(ext_ilog_set_value/3, c_ilog_set_value),

Completed in 82 milliseconds