|
ENTITY back_chaining_rule_armx SUBTYPE OF (rule_definition_armx, back_chaining_rule); head : rule_condition_armx; body : LIST [0:?] OF rule_condition_armx; WHERE wr1: SELF.head.positive = TRUE; wr2: local_vars_of(SELF.head) <= local_vars_of(SELF.body); END_ENTITY; -- back_chaining_rule_armx |
Entity data types and their attributesproduct_definitionid: identifier; (OPT) description: text; formation: product_definition_formation; frame_of_reference: product_definition_context; (DER) name: label; product_view_definition (RT) (OPT) description->name_x: STRING; (OPT) additional_characterization: STRING; (RT) frame_of_reference->initial_context: product_definition_context; (OPT) additional_contexts: SET [1:?] OF product_definition_context; (RT) formation->defined_version: product_definition_formation; (RT) (DER) name: label; information_definition (RT) defined_version: information_version; software_definition (RT) formation: software_version; rule_software_definition - rule_software_definition_armx (RT) formation: rule_version; rule_definition - rule_definition_armx - back_chaining_rule - back_chaining_rule_armx head: rule_condition_armx; body: LIST [0:?] OF rule_condition_armx; |
Global rules for this entity data type- |
public interface EBack_chaining_rule_armx extends ERule_definition_armx, EBack_chaining_rulehead (explicit attribute)boolean testHead(EBack_chaining_rule_armx type)ERule_condition_armx getHead(EBack_chaining_rule_armx type) void setHead(EBack_chaining_rule_armx type, ERule_condition_armx value) void unsetHead(EBack_chaining_rule_armx type) body (explicit attribute)boolean testBody(EBack_chaining_rule_armx type)ARule_condition_armx getBody(EBack_chaining_rule_armx type) ARule_condition_armx createBody(EBack_chaining_rule_armx type) void unsetBody(EBack_chaining_rule_armx type) |
public class CBack_chaining_rule_armx implements EBack_chaining_rule_armxstatic EAttribute attributeHead(EBack_chaining_rule_armx type)static int usedinHead(EBack_chaining_rule_armx type, ERule_condition_armx instance, ASdaiModel domain, ABack_chaining_rule_armx result) static EAttribute attributeBody(EBack_chaining_rule_armx type) static int usedinBody(EBack_chaining_rule_armx type, ERule_condition_armx instance, ASdaiModel domain, ABack_chaining_rule_armx result) |
public class ABack_chaining_rule_armx extends AEntitypublic EBack_chaining_rule_armx getByIndex(int index)public EBack_chaining_rule_armx getCurrentMember(SdaiIterator it) |