object

set(Type)

Set predicates with elements constrained to a single type and custom comparing rules.

Availability:
logtalk_load(sets(loader))
Author: Paulo Moura and Adrian Arroyo
Version: 1:24:0
Date: 2022-02-03
Compilation flags:
static, context_switching_calls
Extends:
public set
Uses:
list
Remarks:
(none)
Inherited public predicates:
 (<)/2  (=:=)/2  (=<)/2  (=\=)/2  (>)/2  (>=)/2  as_list/2  as_set/2  check/1  delete/3  depth/2  disjoint/2  empty/1  equal/2  ground/1  insert/3  insert_all/3  intersect/2  intersection/3  intersection/4  member/2  memberchk/2  new/1  numbervars/1  numbervars/3  occurs/2  powerset/2  product/3  select/3  selectchk/3  singletons/2  size/2  subset/2  subsumes/2  subterm/2  subtract/3  symdiff/3  union/3  union/4  valid/1  variables/2  variant/2  varnumbers/2  varnumbers/3

Public predicates

(no local declarations; see entity ancestors if any)

Protected predicates

(no local declarations; see entity ancestors if any)

Private predicates

sort/2

Sorts a list in ascending order.

Compilation flags:
static
Template:
sort(List,Sorted)
Mode and number of proofs:
sort(+list,-list) - one

partition/4

List partition in two sub-lists using a pivot.

Compilation flags:
static
Template:
partition(List,Pivot,Lowers,Biggers)
Mode and number of proofs:
partition(+list,+nonvar,-list,-list) - one

Operators

(none)