object
Use a set (represented using a list) of hook objects to expand terms and goals. The hook objects are tried in sequence until one of them succeeds in expanding the current term (goal) into a different term (goal).
Paulo Moura
1.0
2015/11/16
static, context_switching_calls
public expanding
(see related entities)
(see related entities)
(see related entities)