object
hook_set(Set)¶
Set- Set (list) of hook objects
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).
Author: Paulo Moura
Version: 1.0
Date: 2015/11/16
Compilation flags:
static, context_switching_callsImplements:
public expandingPublic interface¶
(see related entities)
Protected interface¶
(see related entities)
Private predicates¶
(see related entities)
Operators¶
(none)