fremove-value [Function]

Purpose

The fremove-value function removes a value from a given role on a given instance. It is faster than remove-value because it does no error checking.

Syntax

fremove-value instance role value

Arguments

The instance argument is the instance from which a role filler is to be removed.

The role argument is a relation, or the name of a relation.

The value argument is a value to be removed from the fillers of role. If value is a list, it is interpreted as a single role filler.

Value

The fremove-value function returns value.

Examples 

(defrelation rr) 
(set-values 'Joe 'rr '(Mary Sue (3 4 5))) ==> (|I|MARY |I|SUE (3 4 5)) 
(fremove-value (fi Joe) (fr rr) (fi Mary)) ==> |I|MARY 
(fremove-value (fi Joe) 'rr '(3 4 5)) ==> (3 4 5) 
(get-values 'Joe 'rr) ==> (|I|SUE)

See Also

Last modified: Jun 1 1995