+
Point of view
All features
class PREDICATE [O_ -> TUPLE]
Summary
top
A PREDICATE is a FUNCTION with a BOOLEAN result type. As in other agent's definitions, O_ represents open arguments (i.e. arguments which are delayed).
Direct parents
Inherit list: FUNCTION
Overview
top
item alias "()" (o: O_): R_
{ANY}
top
Result of calling feature with all its operands, using o for the open operands.
alias "()" item (o: O_): R_
{ANY}
top
Result of calling feature with all its operands, using o for the open operands.
call (o: O_)
{ANY}
top
For compatibility only.
is_equal (other: PREDICATE [O_ -> TUPLE]): BOOLEAN
{ANY}
top
Is other attached to an object considered equal to current object?