|
ENTITY forward_chaining_rule_armx SUBTYPE OF (rule_definition_armx, forward_chaining_rule); premise : clause_select; conclusion : literal_conjunction_armx; WHERE wr1: local_vars_of(SELF.conclusion) <= local_vars_of(SELF.premise); END_ENTITY; -- forward_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 - forward_chaining_rule - forward_chaining_rule_armx premise: clause_select; conclusion: literal_conjunction_armx; |
Global rules for this entity data type- |
public interface EForward_chaining_rule_armx extends ERule_definition_armx, EForward_chaining_rulepremise (explicit attribute)int testPremise(EForward_chaining_rule_armx type)case 1 EEntity getPremise(EForward_chaining_rule_armx type) void setPremise(EForward_chaining_rule_armx type, EEntity value, EEntity node1) void unsetPremise(EForward_chaining_rule_armx type) conclusion (explicit attribute)boolean testConclusion(EForward_chaining_rule_armx type)ELiteral_conjunction_armx getConclusion(EForward_chaining_rule_armx type) void setConclusion(EForward_chaining_rule_armx type, ELiteral_conjunction_armx value) void unsetConclusion(EForward_chaining_rule_armx type) |
public class CForward_chaining_rule_armx implements EForward_chaining_rule_armxstatic EAttribute attributePremise(EForward_chaining_rule_armx type)static int usedinPremise(EForward_chaining_rule_armx type, EEntity instance, ASdaiModel domain, AForward_chaining_rule_armx result) static EAttribute attributeConclusion(EForward_chaining_rule_armx type) static int usedinConclusion(EForward_chaining_rule_armx type, ELiteral_conjunction_armx instance, ASdaiModel domain, AForward_chaining_rule_armx result) |
public class AForward_chaining_rule_armx extends AEntitypublic EForward_chaining_rule_armx getByIndex(int index)public EForward_chaining_rule_armx getCurrentMember(SdaiIterator it) |