object

`streamvars`

Stream variables (supporting logical, backtracable, adding and retrieving of terms).

Availability:

logtalk_load(library(loader))

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)

`(<=)/2`

Sets the state of the stream variable Variable to Value (initializing the variable if needed).

Compilation flags:

static

Template:

Variable<=Value

Mode and number of proofs:

(?streamvar)<=(@nonvar) - one

`(=>)/2`

Unifies Value with the current state of the stream variable Variable.

Compilation flags:

static

Template:

Variable=>Value

Mode and number of proofs:

+streamvar=> ?nonvar - zero_or_one

Protected predicates 

(none)

Private predicates 

(none)

Operators 

`op(100,xfx,<=)`

Scope:

public

`op(100,xfx,=>)`

Scope:

public

streamvars

`streamvars`