object
difflist
¶
Difference list predicates.
Author: Paulo Moura
Version: 1.17
Date: 2019/3/15
Compilation flags:
static, context_switching_calls
Public interface¶
add/3
¶
Adds a term to the end of a difference list.
Compilation flags:
static
Template:
add(Term,DiffList,NewDiffList)
Mode and number of proofs:
add(@term,+difference_list,-difference_list)
- one
as_list/2
¶
Converts a difference list to a normal list.
Compilation flags:
static
Template:
as_list(DiffList,List)
Mode and number of proofs:
as_list(+difference_list,-list)
- one
Protected interface¶
(see related entities)
Private predicates¶
(see related entities)
Operators¶
(none)