object
assignvars¶
Assignable variables (supporting backtracable assignment of non-variable terms).
Author: Nobukuni Kino and Paulo Moura
Version: 1.7
Date: 2018/7/11
Compilation flags:
static, context_switching_callsImplements:
public assignvarspPublic interface¶
(see related entities)
Protected interface¶
(see related entities)
Private predicates¶
(see related entities)
Operators¶
(none)
Remarks¶
(none)