| # |
| |
| pluginName = Nestedconstraintmodel Edit Support |
| providerName = www.example.org |
| |
| _UI_CreateChild_text = {0} |
| _UI_CreateChild_text2 = {1} {0} |
| _UI_CreateChild_text3 = {1} |
| _UI_CreateChild_tooltip = Create New {0} Under {1} Feature |
| _UI_CreateChild_description = Create a new child of type {0} for the {1} feature of the selected {2}. |
| _UI_CreateSibling_description = Create a new sibling of type {0} for the selected {2}, under the {1} feature of their parent. |
| |
| _UI_PropertyDescriptor_description = The {0} of the {1} |
| |
| _UI_NestedConstraintModel_type = Nested Constraint Model |
| _UI_NestedConstraint_type = Nested Constraint |
| _UI_NestedCondition_type = Nested Condition |
| _UI_Variable_type = Variable |
| _UI_QuantifiedCondition_type = Quantified Condition |
| _UI_True_type = True |
| _UI_Formula_type = Formula |
| _UI_Morphism_type = Morphism |
| _UI_NodeMapping_type = Node Mapping |
| _UI_EdgeMapping_type = Edge Mapping |
| _UI_Graph_type = Graph |
| _UI_Node_type = Node |
| _UI_Edge_type = Edge |
| _UI_Attribute_type = Attribute |
| _UI_Condition_type = Condition |
| _UI_LaxCondition_type = Lax Condition |
| _UI_QuantifiedLaxCondition_type = Quantified Lax Condition |
| _UI_True_type = True |
| _UI_Formula_type = Formula |
| _UI_Variable_type = Variable |
| _UI_Unknown_type = Object |
| |
| _UI_Unknown_datatype= Value |
| |
| _UI_NestedConstraintModel_name_feature = Name |
| _UI_NestedConstraintModel_nestedconstrainmodels_feature = Nestedconstrainmodels |
| _UI_NestedConstraint_name_feature = Name |
| _UI_NestedConstraint_typeGraph_feature = Type Graph |
| _UI_NestedConstraint_condition_feature = Condition |
| _UI_NestedConstraint_domain_feature = Domain |
| _UI_NestedCondition_variables_feature = Variables |
| _UI_NestedCondition_domain_feature = Domain |
| _UI_Variable_name_feature = Name |
| _UI_QuantifiedCondition_quantifier_feature = Quantifier |
| _UI_QuantifiedCondition_condition_feature = Condition |
| _UI_QuantifiedCondition_morphism_feature = Morphism |
| _UI_QuantifiedCondition_codomain_feature = Codomain |
| _UI_Formula_operator_feature = Operator |
| _UI_Formula_arguments_feature = Arguments |
| _UI_Morphism_nodeMappings_feature = Node Mappings |
| _UI_Morphism_from_feature = From |
| _UI_Morphism_to_feature = To |
| _UI_Morphism_edgeMappings_feature = Edge Mappings |
| _UI_NodeMapping_origin_feature = Origin |
| _UI_NodeMapping_image_feature = Image |
| _UI_EdgeMapping_origin_feature = Origin |
| _UI_EdgeMapping_image_feature = Image |
| _UI_Graph_edges_feature = Edges |
| _UI_Graph_nodes_feature = Nodes |
| _UI_Graph_typegraph_feature = Typegraph |
| _UI_Graph_name_feature = Name |
| _UI_Node_attributes_feature = Attributes |
| _UI_Node_outgoing_feature = Outgoing |
| _UI_Node_name_feature = Name |
| _UI_Node_incoming_feature = Incoming |
| _UI_Node_type_feature = Type |
| _UI_Edge_source_feature = Source |
| _UI_Edge_target_feature = Target |
| _UI_Edge_type_feature = Type |
| _UI_Attribute_op_feature = Op |
| _UI_Attribute_value_feature = Value |
| _UI_Attribute_type_feature = Type |
| _UI_Condition_typeGraph_feature = Type Graph |
| _UI_Condition_name_feature = Name |
| _UI_Condition_laxCondition_feature = Lax Condition |
| _UI_LaxCondition_formula_feature = Formula |
| _UI_QuantifiedLaxCondition_graph_feature = Graph |
| _UI_QuantifiedLaxCondition_condition_feature = Condition |
| _UI_QuantifiedLaxCondition_quantifier_feature = Quantifier |
| _UI_QuantifiedLaxCondition_variables_feature = Variables |
| _UI_Formula_op_feature = Op |
| _UI_Unknown_feature = Unspecified |
| |
| _UI_Quantifier_EXISTS_literal = EXISTS |
| _UI_Quantifier_FORALL_literal = FORALL |
| _UI_Operator_NOT_literal = NOT |
| _UI_Operator_AND_literal = AND |
| _UI_Operator_OR_literal = OR |
| _UI_Operator_IMPLIES_literal = IMPLIES |
| _UI_Operator_EQUIVALENT_literal = EQUIVALENT |
| _UI_Operator_XOR_literal = XOR |