library(gfd_sbds)

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