Predicate SysML

class Predicate

Implementation of Predicate defined in the KerML specification.

Specification:

A Predicate is a Function whose result parameter has type Boolean and multiplicity 1..1.

For language description, see section 7.4.8.4 of the KerML specification. For more details on the model, see section 8.3.4.7.6 of the KerML specification.

Members defined in Predicate (1 member)



STD

R

Members inherited from Function (6 members)

	any_result	R	result that also considers specialized Functions.
	expressions	R SysML	Implementation of expression defined in the KerML specification.
	is_model_level_evaluable	R SysML	Implementation of is_model_level_evaluable defined in the KerML specification.
	result	R SysML	Implementation of result defined in the KerML specification.
	result_expression	R	The result expression of this Function owned by ResultExpressionMembership.
	result_expression_member	R	Syside specific accessor for manipulating result_expression.

Members inherited from Behavior (2 members)

	parameters	R SysML	Implementation of parameter defined in the KerML specification.
	steps	R SysML	Implementation of step defined in the KerML specification.

Members inherited from Class (0 members)

Members inherited from Classifier (2 members)

	owned_subclassification_types	R	The Classifiers related to this Classifier by owned_subclassifications.
	owned_subclassifications	R SysML	Implementation of owned_subclassification defined in the KerML specification.

Members inherited from Type (37 members)

	declared_multiplicity	R	The owned multiplicity that is declared before the children block in the textual syntax.
	declared_multiplicity_member	R	Syside specific accessor for manipulating declared_multiplicity.
	differencing_types	R SysML	Implementation of differencing_type defined in the KerML specification.
	directed_features	R SysML	Implementation of directed_feature defined in the KerML specification.
	disjoining_types	R	The types that related to this Type through owned_disjoinings.
	end_features	R SysML	Implementation of end_feature defined in the KerML specification.
	feature_memberships	R SysML	Implementation of feature_membership defined in the KerML specification.
	features	R SysML	Implementation of feature defined in the KerML specification.
	heritage	R	The specializations and conjugations owned by this Type.
	inherited_features	R SysML	Implementation of inherited_feature defined in the KerML specification.
	inherited_memberships	R SysML	Implementation of inherited_membership defined in the KerML specification.
	inputs	R SysML	Implementation of input defined in the KerML specification.
	intersecting_types	R SysML	Implementation of intersecting_type defined in the KerML specification.
	is_abstract	RW SysML	Implementation of is_abstract defined in the KerML specification.
	is_abstract_explicitly	R	Returns True if this Type was declared as abstract in the textual syntax.
	is_conjugated	R SysML	Implementation of is_conjugated defined in the KerML specification.
	is_sufficient	RW SysML	Implementation of is_sufficient defined in the KerML specification.
	is_sufficient_explicitly	R	Returns True if this Type was declared as sufficient in the textual syntax.
	multiplicity	R SysML	Implementation of multiplicity defined in the KerML specification.
	outputs	R SysML	Implementation of output defined in the KerML specification.
	owned_conjugator	R SysML	Implementation of owned_conjugator defined in the KerML specification.
	owned_differencings	R SysML	Implementation of owned_differencing defined in the KerML specification.
	owned_directed_features	R	The directed_features that are owned by this Type.
	owned_disjoinings	R SysML	Implementation of owned_disjoining defined in the KerML specification.
	owned_end_features	R SysML	Implementation of owned_end_feature defined in the KerML specification.
	owned_feature_memberships	R SysML	Implementation of owned_feature_membership defined in the KerML specification.
	owned_features	R SysML	Implementation of owned_feature defined in the KerML specification.
	owned_inputs	R	The inputs that are owned by this Type.
	owned_intersectings	R SysML	Implementation of owned_intersecting defined in the KerML specification.
	owned_outputs	R	The outputs that are owned by this Type.
	owned_specializations	R SysML	Implementation of owned_specialization defined in the KerML specification.
	owned_unionings	R SysML	Implementation of owned_unioning defined in the KerML specification.
	type_relationships	R	The other type, feature relationships and FeatureChainings owned by this Type.
	unioning_types	R SysML	Implementation of unioning_type defined in the KerML specification.
	conforms		Returns True if this Type directly or indirectly specializes another Type while following FeatureChainings.
	direction_of		Returns the direction of a Feature in this Type.
	specializes		Returns True if this Type directly or indirectly specializes another Type while ignoring FeatureChainings.

Members inherited from Namespace (11 members)

	children	R	The elements enclosed by curly brackets in textual syntax.
	imported_memberships	R SysML	Implementation of imported_membership defined in the KerML specification.
	members	R SysML	Implementation of member defined in the KerML specification.
	memberships	R SysML	Implementation of membership defined in the KerML specification.
	owned_imports	R SysML	Implementation of owned_import defined in the KerML specification.
	owned_members	R SysML	Implementation of owned_member defined in the KerML specification.
	owned_memberships	R SysML	Implementation of owned_membership defined in the KerML specification.
	prefixes	R	Metadata prefixes, prefixed with # in textual syntax.
	__getitem__		Access owned named members by name. Throws KeyError if a member with such name does not exist.
	get_member		Non-throwing variant of __getitem__. Returns None if a named member was not found.
	get_membership		Access owned memberships by name. Returns None if an owned member or membership with such name does not exist.

Members inherited from Element (25 members)

	alias_ids	R SysML	Implementation of alias_ids defined in the KerML specification.
	comments	R	The owned Comments related by owned_relationships.
	declared_name	RW SysML	Implementation of declared_name defined in the KerML specification.
	declared_short_name	RW SysML	Implementation of declared_short_name defined in the KerML specification.
	documentation	R SysML	Implementation of documentation defined in the KerML specification.
	element_id	RW SysML	Implementation of element_id defined in the KerML specification.
	is_implied_included	R SysML	Implementation of is_implied_included defined in the KerML specification.
	is_library_element	R SysML	Implementation of is_library_element defined in the KerML specification.
	metadata	R	The owned metadata related by owned_relationships.
	name	R SysML	Implementation of name defined in the KerML specification.
	owned_annotations	R SysML	Implementation of owned_annotation defined in the KerML specification.
	owned_elements	R SysML	Implementation of owned_element defined in the KerML specification.
	owned_relationships	R SysML	Implementation of owned_relationship defined in the KerML specification.
	owner	R SysML	Implementation of owner defined in the KerML specification.
	owning_membership	R SysML	Implementation of owning_membership defined in the KerML specification.
	owning_namespace	R SysML	Implementation of owning_namespace defined in the KerML specification.
	owning_relationship	R SysML	Implementation of owning_relationship defined in the KerML specification.
	path	R	Return a unique description of the location of this Element in the containment structure rooted in a root Namespace. In most cases the segments will be identical to QualifiedName.
	qualified_name	R SysML	Implementation of qualified_name defined in the KerML specification.
	scoped_owner	R	The owner of this Element as the parent of owning_membership or owning_relationship otherwise.
	sema_state	RW	The state of semantic resolution for this Element. Based on this, sema may skip elements to avoid duplicate work, e.g. when resolving elements in a group of related documents.
	short_name	R SysML	Implementation of short_name defined in the KerML specification.
	textual_representations	R SysML	Implementation of textual_representation defined in the KerML specification.
	__str__
	matches_qualified_name		Check if the qualified name of this Element matches the provided segments of a qualified name.

Members inherited from AstNode (7 members)

	cst_node	R
	document	R
	parent	R
	__hash__
	cast
	isinstance
	try_cast

 Attributes

STD: tuple[Union[type[syside.Predicate], type[syside.ConstraintDefinition]], ...] = ()

 Used in

• syside.BooleanExpression

  • predicate

• syside.ConstraintUsage

  • constraint_definition

  • predicate

• syside.Predicate

  • STD