[ Reference Manual | Alphabetic Index ]

library(ic_sbds)

Symmetry Breaking During Search (SBDS)   [more]

Predicates

is_sbds_var(?Var)
checks whether a variable is an SBDS variable
sbds_get_index(?Var, -Idx)
get the index of an SBDS attributed variable
sbds_get_matrix(?Var, -Matrix)
get the matrix (array) of SBDS attributed variables
sbds_initialise(+VarMatrix, +SymPreds, ++FixPred, +Options)
Initialises the data needed for sbds
sbds_initialise(+VarMatrix, ++NDims, +SymPreds, ++FixPred, +Options)
Initialises the data needed for sbds
sbds_try(?Var, ++Val)
tries to assign a variable to a value

Description

Symmetry Breaking During Search (SBDS) library, provides predicates to initalise symmetry breaking during search search and to perform the search, as well as utility functions for prining and unification.

About


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