object
streamvars
¶
Stream variables (supporting logical, backtracable, adding and retrieving of terms).
Author: Nobukuni Kino and Paulo Moura
Version: 1:3:0
Date: 2019-06-15
Compilation flags:
static, context_switching_calls
Dependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates¶
new/1
¶
Makes Variable
a stream variable. Initial state will be empty.
Compilation flags:
static
Template:
new(Variable)
Mode and number of proofs:
new(--streamvar)
- one
Exceptions:
Variable is not a variable:
type_error(variable,Variable)
new/2
¶
Makes Variable
a stream variable and sets its initial state to Value
.
Compilation flags:
static
Template:
new(Variable,Value)
Mode and number of proofs:
new(--streamvar,@nonvar)
- one
Exceptions:
Variable is not a variable:
type_error(variable,Variable)
Protected predicates¶
(none)
Private predicates¶
(none)