[ library(bfs) | Reference Manual | Alphabetic Index ]

# BfsInstance:bfs_branch(+Branch)

Post a branching constraint to the bfs instance BfsInstance.

Branch
  Prolog term

## Description

Post a new branching constraint `Branch` to the bfs instance BfsInstance. The constraint will be used to create a new child node of the current open node in the search tree for BfsInstance. `Branch` may be any prolog term, but clearly should be an appropriate constraint for the node relaxation solver associated with BfsInstance.

## See Also

solver_setup / 2, solver_setup / 3, get / 2