|
FUNCTION contains_variable (x : term_select) : BOOLEAN; IF ( 'production_rule_xim.abstract_variable_armx' IN TYPEOF ( x ) ) THEN RETURN ( TRUE ) ; ELSE IF ( ( 'production_rule_xim.func_armx' IN TYPEOF ( x ) ) AND ( SIZEOF ( QUERY ( y <* x . terms | contains_variable ( y ) ) ) > 0 ) ) THEN RETURN ( TRUE ) ; ELSE RETURN ( FALSE ) ; END_IF ; END_IF ; END_FUNCTION; -- contains_variable |
|
public class FContains_variable public static Value run(SdaiContext _context, Value x) |