| << Prev | - Up - | Next >> |
Combinator This chapter describes deep-guard concurrent constraint combinators such as conditional and disjunction. Most combinators implemented by the module Combinator are available by convenient syntax and are described in Chapter 12 of ``Tutorial of Oz''.
'not'
{Combinator.'not'+P}
implements deep-negation where the nullary procedure P gives the statement to negate.
Is supported by special syntax. The statement
notSend
expands to
{Combinator.'not' proc {$}Send}
'reify'
{Combinator.'reify'+P$D}
implements deep-reification where the nullary procedure P gives the statement to reify.
'cond'
{Combinator.'cond'+T+P}
implements parallel concurrent conditional.
'or'
{Combinator.'or'+T}
implements disjunction.
'choice'
{Combinator.'choice'+T}
implements choice point construction.
'dis'
{Combinator.'dis'+T}
implements andorra-style disjunction.
| << Prev | - Up - | Next >> |