[ Reference Manual | Alphabetic Index ]

# library(clpfd)

Compatibility package for M.Triska's clpfd library [more]

## Predicates

> X #/\ Y
> X #<== Y
> X #<==> Y
> X #==> Y
> #\ Y
> X #\/ Y
> all_different(+Vars)
> all_distinct(+Vars)
> chain(+Vars,+Relation)
> cumulative(+Tasks,+Options)
> fd_dom(?Var,-Dom)
> fd_inf(?Var,-Min)
> fd_size(?Var,-Size)
> fd_sup(?Var,-Max)
> fd_var(?Var)
> global_cardinality(+Vars,+Pairs)
> global_cardinality(+Vars,+Pairs,+Options)
> ?Var in +Domain
> ?Vars ins +Domain
> label(+Vars)
> labeling(+Options, +Vars)
> lex_chain(+Lists)
> scalar_product(+Csts,+Vars,+Rel,?Expr)
> serialized(+Starts,+Durations)
> sum(+Vars,+Rel,?Expr)
> transpose(+Rows,+Cols)
> tuples_in(+Tuples,+Relation)
> zcompare(?Rel,?X,?Y)

## Reexports

> reexport #= / 2 from ic
> reexport #\= / 2 from ic
> reexport #>= / 2 from ic
> reexport #=< / 2 from ic
> reexport #> / 2 from ic
> reexport #< / 2 from ic
> reexport circuit / 1 from ic
> reexport indomain / 1 from ic

## Other Exports

> export op(450, xfx, ..)
> export op(250, yfx, ?)
> export op(700, xfx, in)
> export op(700, xfx, ins)
> export op(760, yfx, #<==>)
> export op(750, yfx, #<==)
> export op(750, yfx, #==>)
> export op(720, yfx, #/\)
> export op(740, yfx, #\/)
> export op(710, fy, #\)

## Description

This library implements the syntax of M.Triska's clpfd library (and to some degree SICStus's clpfd library) on top of ECLiPSe's library(ic). Its features can be freely mixed with library(ic).

Differences:

- library(ic) uses floating point arithmetic, while Triska's clpfd uses bignums, which implies that the behaviour with large integers will differ
- more generally, propagation details and performance may differ
- (#\)/2 is currently not supported because of name clash
- TODO: automaton constraint

## About

- Author: Joachim Schimpf
- Copyright © This file is in the public domain
- Date: $Date: 2015/03/29 22:19:40 $

## See Also

library(ic), library(ic_global), library(ic_global_gac), library(branch_and_bound)

Generated from clpfd.eci on 2022-09-03 14:26