View:	Hide Browser | Browser on the left | Browser on the right | Dictionary
Report:	General Info | Attributes | Relations | Constraints

---

Parent Package: assertion
Class ASSERTION
Structural model of a typed first order predicate logic assertion, in the form of an expression tree, including optional variable definitions.

Attributes
Signature	Optionality	Multiplicity	Constant	Documentation
string_expression : String	1	--		String form of expression, in case an expression evaluator taking String expressions is used for evaluation.
tag : String	0..1	--		Expression tag, used for differentiating multiple assertions.

Attributes from Associations
	Signature	Optionality	Multiplicity	Documentation
	variables : List<ASSERTION_VARIABLE>	0..1	0..* ordered	Definitions of variables used in the assertion expression.
	expression : EXPR_ITEM	1	--	Root of expression tree.

Constraints
Name	Expression
expression_valid	inv: expression <> Void and expression.type.is_equal('Boolean')
tag_valid	inv: tag <> Void implies not tag.is_empty