ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM

ANHANG B: ODL-GRAMMATIK 143arithmetic_expression + factor |arithmetic_expression − factorfactor ::= arithmetic_term |factor ∗ arithmetic_termarithmetic_term ::= int_constant |( arithmetic_expression ) |size( expression )quantor_proposition ::= forall variable_definition . proposition |exists variable_definition . proposition |context variable_definition . proposition |new variable_definition . propositionnamed_predicate_call ::= named_predicate_ident( arguments )named_predicate_ident ::= identvariable_definition ::= variable : typetype ::= product_type |restricted_type |set_type |element introduced_typeproduct_type ::= basic_type |( type_list )type_list ::= ident : type |type_list , ident : typebasic_type ::= type_identrestricted_type ::= { ident : type | CCL_proposition }set_type ::= set typeintroduced_type ::= expressionEine CCL-Proposition entspricht einer ODL-Proposition mit der Einschränkung, dass die Quantorencontext und new sowie die Schlüsselwörter result und result not nicht verwendet werden dürfen.