[ Reference Manual | Alphabetic Index ]

# library(gfd_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

- Author: Warwick Harvey & Karen Petrie
- Date: $Date: 2013/02/13 00:58:47 $

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