Lines Matching refs:item
65 \item IC supports real variables and constraints; FD does not.
67 \item FD supports symbolic domains; IC does not (use the ic_symbolic
70 \item In FD, numeric domains are more or less limited to
92 \item IC usually requires that expressions constructed at runtime be
98 \item IC does not support the \bipref{\#$<$=/2}{../bips/lib/fd/HLE-2.html}
109 \item The reified connectives provided by the two solvers are different:
131 \item The primitives for accessing and manipulating the domains of
301 \item[{\texttt X}]
306 \item[\texttt{123}]
310 \item[\texttt{0.1}]
314 \item[\texttt{pi, e}]
317 \item[\texttt{inf}]
320 \item[\texttt{+Expr}]
323 \item[\texttt{-Expr}]
326 \item[\texttt{+-Expr}]
332 \item[\texttt{abs(Expr)}]
335 \item[\texttt{E1+E2}]
338 \item[\texttt{E1-E2}]
341 \item[\texttt{E1*E2}]
344 \item[\texttt{E1/E2}]
347 \item[\texttt{E1}\textasciicircum{}\texttt{E2}]
350 \item[\texttt{min(E1,E2)}]
353 \item[\texttt{max(E1,E2)}]
356 \item[\texttt{sqr(Expr)}]
360 \item[\texttt{sqrt(Expr)}]
363 \item[\texttt{exp(Expr)}]
366 \item[\texttt{ln(Expr)}]
369 \item[\texttt{sin(Expr)}]
372 \item[\texttt{cos(Expr)}]
375 \item[\texttt{atan(Expr)}]
378 \item[\texttt{rsqr(Expr)}]
381 \item[\texttt{rpow(E1,E2)}]
384 \item[\texttt{sub(Expr)}]
387 \item[\texttt{sum(ExprList)}]
390 \item[\texttt{min(ExprList)}]
393 \item[\texttt{max(ExprList)}]
396 \item[\texttt{and}]
399 \item[\texttt{or}]
402 \item[\texttt{=>}]
405 \item[\texttt{neg}]
408 \item[\texttt{\$>}, \texttt{\$>=}, \texttt{\$=}, \texttt{\$=<}, \texttt{\$<}, \texttt{\$\bsl=},
428 \item[\texttt{foo(Arg1, Arg2 ... ArgN), module:foo(Arg1, Arg2 ... ArgN)}]
440 \item[\texttt{eval(Expr)}]
483 \item [\biptxtrefni{Vars :: Domain}{::/2!ic}{../bips/lib/ic/NN-2.html}]
498 \item [\biptxtrefni{::(Var,Domain,Bool)}{::/3!ic}{../bips/lib/ic/NN-3.html}]
529 \item [\biptxtrefni{Vars \#:: Domain}{\#::/2!ic}{../bips/lib/ic/HNN-2.html}]
540 \item [\biptxtrefni{Vars \$:: Domain}{\$::/2!ic}{../bips/lib/ic/SNN-2.html}]
548 \item [\biptxtrefni{reals(Vars)}{reals/1!ic}{../bips/lib/ic/reals-1.html}]
552 \item [\biptxtrefni{integers(Vars)}{integers/1!ic}{../bips/lib/ic/integers-1.html}]
580 \item [\biptxtrefni{ExprX \$= ExprY}{\$=/2!ic}{../bips/lib/ic/SE-2.html},
585 \item [\biptxtrefni{ExprX \$>= ExprY}{\$$>$=/2!ic}{../bips/lib/ic/SGE-2.html},
591 \item [\biptxtrefni{ExprX \$=< ExprY}{\$=$<$/2!ic}{../bips/lib/ic/SEL-2.html},
596 \item [\biptxtrefni{ExprX \$$>$ ExprY}{\$$>$/2!ic}{../bips/lib/ic/SG-2.html},
602 \item [\biptxtrefni{ExprX \$$<$ ExprY)}{\$$<$/2!ic}{../bips/lib/ic/SL-2.html},
607 \item [\biprefnoidx{ExprX \$\bsl= ExprY}{../bips/lib/ic/SRE-2.html},
613 \item [\biptxtrefni{ExprX \#= ExprY}{\#=/2!ic}{../bips/lib/ic/HE-2.html}]
618 \item [\biptxtrefni{ExprX \#$>$= ExprY}{\#$>$=/2!ic}{../bips/lib/ic/HGE-2.html}]
623 \item [\biptxtrefni{ExprX \#=$<$ ExprY}{\#=$<$/2!ic}{../bips/lib/ic/HEL-2.html}]
628 \item [\biptxtrefni{ExprX \#$>$ ExprY}{\#$>$/2!ic}{../bips/lib/ic/HG-2.html}]
633 \item [\biptxtrefni{ExprX \#$<$ ExprY}{\#$<$/2!ic}{../bips/lib/ic/HL-2.html}]
638 \item [\biprefnoidx{ExprX \#\bsl= ExprY}{../bips/lib/ic/HRE-2.html}]
643 \item [\biptxtref{ac_eq(X, Y, C)}{ac_eq/3}{../bips/lib/ic/ac_eq-3.html}]
710 \item[\bipref{and/2}{../bips/lib/ic/and-2.html}] Reified constraint conjunction. e.g.
714 \item[\bipref{or/2}{../bips/lib/ic/or-2.html}] Reified constraint disjunction. e.g.
718 \item[\bipref{=$>$/2}{../bips/lib/ic/EG-2.html}] Reified constraint implication. e.g.
722 \item[\bipref{neg/1}{../bips/lib/ic/neg-1.html}] Reified constraint negation. e.g.
783 \item
789 \item
805 \item [\biptxtrefni{indomain(Var)}{indomain/1!ic}{../bips/lib/ic/indomain-1.html}]
809 \item [\biptxtrefni{labeling(Vars)}{labeling/1!ic}{../bips/lib/ic/labeling-1.html}]
813 \item [\biptxtrefni{indomain(Var,Choice)}{indomain/2!ic}{../bips/lib/ic/indomain-2.html}]
815 \item [\biptxtrefni{delete(V, Vars, Rest, Arg, Select)}{delete/5!ic}{../bips/lib/ic/delete-5.html}]
818 \item [\biptxtrefni{search(Vars, Arg, Select, Choice, Method, Options)}{search/6!ic}{../bips/lib/ic/search-6.html}]
835 \item [\biptxtrefni{locate(Vars, Precision)}{locate/2!ic}{../bips/lib/ic/locate-2.html}]
841 \item [\biptxtrefni{locate(Vars, Precision, LinLog)}{locate/3!ic}{../bips/lib/ic/locate-3.html}]
848 \item [\biptxtrefni{locate(LocateVars, SquashVars, Precision, LinLog)}{locate/4!ic}{../bips/lib/ic/locate-4.html}]
853 \item [\biptxtrefni{squash(Vars, Precision, LinLog)}{squash/3!ic}{../bips/lib/ic/squash-3.html}]
868 \item [\biptxtref{is_solver_var(Var)}{is_solver_var/1}{../bips/lib/ic/is_solver_var-1.html}]
871 \item [\biptxtref{is_solver_type(Term)}{is_solver_type/1}{../bips/lib/ic/is_solver_type-1.html}]
874 \item [\biptxtref{get_solver_type(Var, Type)}{get_solver_type/2}{../bips/lib/ic/get_solver_type-2.html}]
877 \item [\biptxtref{get_bounds(Var, Lo, Hi)}{get_bounds/3}{../bips/lib/ic/get_bounds-3.html}]
880 \item [\biptxtref{get_min(Var, Lo)}{get_min/2}{../bips/lib/ic/get_min-2.html}]
883 \item [\biptxtref{get_max(Var, Hi)}{get_max/2}{../bips/lib/ic/get_max-2.html}]
886 \item [\biptxtref{get_float_bounds(Var, Lo, Hi)}{get_float_bounds/3}{../bips/lib/ic/get_float_bounds-3.html}]
889 \item [\biptxtref{get_integer_bounds(Var, Lo, Hi)}{get_integer_bounds/3}{../bips/lib/ic/get_integer_bounds-3.html}]
893 \item [\biptxtref{get_finite_integer_bounds(Var, Lo, Hi)}{get_finite_integer_bounds/3}{../bips/lib/ic/get_finite_integer_bounds-3.html}]
897 \item [\biptxtref{get_domain_size(Var, Size)}{get_domain_size/2}{../bips/lib/ic/get_domain_size-2.html}]
901 \item [\biptxtref{get_domain(Var, Domain)}{get_domain/2}{../bips/lib/ic/get_domain-2.html}]
904 \item [\biptxtref{get_domain_as_list(Var, Domain)}{get_domain_as_list/2}{../bips/lib/ic/get_domain_as_list-2.html}]
908 \item [\biptxtrefni{get_median(Var, Median)}{get_median/2!ic}{../bips/lib/ic/get_median-2.html}]
912 \item [\biptxtrefni{get_delta(Var, Delta)}{get_delta/2!ic}{../bips/lib/ic/get_delta-2.html}]
916 \item [\biptxtrefni{is_in_domain(Var, Value)}{is_in_domain/2!ic}{../bips/lib/ic/is_in_domain-2.html}]
920 \item [\biptxtrefni{is_in_domain(Var, Value, Result)}{is_in_domain/3!ic}{../bips/lib/ic/is_in_domain-3.html}]
925 \item [\biptxtref{delayed_goals_number(Var, Number)}{delayed_goals_number/2}{../bips/lib/ic/delayed_goals_number-2.html}]
951 \item [\biptxtrefni{get_threshold(Threshold)}{get_threshold/1!ic}{../bips/lib/ic/get_threshold-1.html}]
955 \item [\biptxtrefni{set_threshold(Threshold)}{set_threshold/1!ic}{../bips/lib/ic/set_threshold-1.html}]
964 \item [\biptxtrefni{set_threshold(Threshold, WakeVars)}{set_threshold/2!ic}{../bips/lib/ic/set_threshold-2.html}]
990 \item The solver typically does not instantiate real variables; it only
992 \item In general, many delayed goals remain at the end of propagation.
997 \item the solver does not guarantee the existence of solutions in the
1060 \item[{\bf locate(+Vars, +Precision)}]
1061 \item[{\bf locate(+Vars, +Precision, +lin/log)}]
1069 \item[{\bf squash(+Vars, +Precision, +lin/log)}]
1078 \item[{\bf locate(+LocateVars,+SquashVars,+Precision,+lin/log)}]
1146 \item[ic_lin_create]
1148 \item[ic_lin_prop]
1150 \item[ic_uni_prop/ic_bin_prop/ic_tern_prop]
1153 \item[ic_split]
1155 \item[ic_squash]
1168 \item[\biptxtrefni{ic\_stat(on)}{ic_stat/1!ic_kernel}{../bips/lib/ic_kernel/ic_stat-1.html}]
1170 \item[\biptxtrefni{ic\_stat(off)}{ic_stat/1!ic_kernel}{../bips/lib/ic_kernel/ic_stat-1.html}]
1173 \item[\biptxtrefni{ic\_stat(reset)}{ic_stat/1!ic_kernel}{../bips/lib/ic_kernel/ic_stat-1.html}]
1176 \item[\biptxtrefni{ic\_stat(print)}{ic_stat/1!ic_kernel}{../bips/lib/ic_kernel/ic_stat-1.html}]
1179 \item[\biptxtrefni{ic\_stat_get(-Stat)}{ic_stat_get/1!ic_kernel}{../bips/lib/ic_kernel/ic_stat_get-1.html}]
1183 \item[\biptxtrefni{ic\_event(+Name)}{ic_event/1!ic_kernel}{../bips/lib/ic_kernel/ic_event-1.html}]
1186 \item[\biptxtrefni{ic_stat\_register\_event(+Name,+Description)}{ic_stat_register_event/2!ic_kernel}{../bips/lib/ic_kernel/ic_stat_register_event-2.html}]
1217 \item The size of the initial domains.
1220 \item Integer domains allow more propagation.
1304 \item[\bipref{impose_min/2}{../bips/lib/ic_kernel/impose_min-2.html}]
1306 \item[\bipref{impose_max/2}{../bips/lib/ic_kernel/impose_max-2.html}]
1308 \item[\bipref{impose_bounds/3}{../bips/lib/ic_kernel/impose_bounds-3.html}]
1310 \item[\bipref{exclude/2}{../bips/lib/ic_kernel/exclude-2.html}]
1312 \item[\bipref{exclude_range/3}{../bips/lib/ic_kernel/exclude_range-3.html}]
1314 \item[\bipref{set_var_type/2}{../bips/lib/ic_kernel/set_var_type-2.html}]
1316 \item[\bipref{set_vars_type/2}{../bips/lib/ic_kernel/set_vars_type-2.html}]
1342 \item[var_type] The type of the variable. This defaults to 'real' but may
1346 \item[lo] The lower bound of the variable's domain, as a float.
1347 \item[hi] The lower bound of the variable's domain, as a float.
1348 \item[bitmap] Where relevant, a bitmap representation of the integer domain;
1350 \item[min] Suspension list of goals to be woken on lower bound changes.
1351 \item[max] Suspension list of goals to be woken on upper bound changes.
1352 \item[hole] Suspension list of goals to be woken when a value is removed
1355 \item[type] Suspension list of goals to be woken when a variable's type