allen_update_result: Update a result vector
Description
Increment the element of the result vector corresponding to the given
relation.
Usage
allen_update_result(relation, result_vector)
Arguments
relation
The relation to increment
result_vector
The result vector to update
Value
The updated result vector