FUNCTION acyclic
(* SCHEMA Ap236_furniture_catalog_and_interior_design_mim_LF; *)
(* Implicit interfaced from: ISO13584_generic_expressions_schema *)
FUNCTION acyclic (arg1: generic_expression;
arg2: SET OF generic_expression): BOOLEAN;
LOCAL
result: BOOLEAN;
END_LOCAL;
IF ('AP236_FURNITURE_CATALOG_AND_INTERIOR_DESIGN_MIM_LF.SIMPLE_GENERIC_EXPRESSION'
IN TYPEOF (arg1))
THEN
RETURN (TRUE);
END_IF;
IF arg1 IN arg2
THEN
RETURN (FALSE);
END_IF;
IF 'AP236_FURNITURE_CATALOG_AND_INTERIOR_DESIGN_MIM_LF.UNARY_GENERIC_EXPRESSION'
IN TYPEOF (arg1)
THEN
RETURN
(acyclic(arg1\unary_generic_expression.operand,arg2+[arg1]));
END_IF;
IF 'AP236_FURNITURE_CATALOG_AND_INTERIOR_DESIGN_MIM_LF.BINARY_GENERIC_EXPRESSION'
IN TYPEOF (arg1)
THEN
RETURN
(acyclic(arg1\binary_generic_expression.operands[1],arg2+[arg1])
AND
acyclic(arg1\binary_generic_expression.operands[2],arg2+[arg1]));
END_IF;
IF
'AP236_FURNITURE_CATALOG_AND_INTERIOR_DESIGN_MIM_LF.MULTIPLE_ARITY_GENERIC_EXPRESSION'
IN TYPEOF (arg1)
THEN
result := TRUE;
REPEAT i := 1 TO
SIZEOF (arg1\multiple_arity_generic_expression.operands);
result := result AND
acyclic(arg1\multiple_arity_generic_expression.operands[i], arg2+[arg1]);
END_REPEAT;
RETURN (result);
END_IF;
END_FUNCTION; -- acyclic
Referenced By
Defintion acyclic is references by the following definitions:
[Top Level Definitions] [Exit]Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:19:03-04:00