object
Types and predicates for extended type-checking of expected term references and for handling list of expected term references.
Paulo Moura
0.2
2018/6/4
static, context_switching_calls
Returns the values stored in the expected term references that hold an expected term.
static
expecteds(References,Expecteds)
expecteds(+list(expected),-list) – one
Returns the values stored in the expected term references that hold an expected term.
static
unexpecteds(References,Unexpecteds)
unexpecteds(+list(expected),-list) – one
Retrieves and partitions the values stored in the expected term references.
static
partition(References,Expecteds,Unexpecteds)
partition(+list(expected),-list,-list) – one
(see related entities)
(see related entities)