Next:
Motivation
Up:
ECLiPSe Obsolete Libraries Manual
Previous:
Differences between Standalone Eplex
Index
FDPLEX: A Hybrid Finite Domain / Simplex Solver
Motivation
Usage
Functionality
FDPLEX Constraints
fdplex: (?Vars :: ++Lo..++Hi)
fdplex: (?Vars #:: ++Lo..++Hi)
fdplex: (?T1 #= ?T2)
fdplex: (?T1 #>= ?T2)
fdplex: (?T1 #=< ?T2)
fdplex: (?T1 #> ?T2)
fdplex: (?T1 #< ?T2)
Search Predicates
minimize(+Goal, +Expr) and min_max(+Goal, +Expr)
indomain(+Var)
labeling(+VarList)
split_domain(+Var)
split_labeling(+VarList)
fdplex_statistics([Backtracks, SolverCalls, SolverFails, SolverBound])
Warwick Harvey
2004-08-07
