ENTITY atomic_formula_armx ABSTRACT SUPERTYPE OF (ONEOF (rule_condition_armx, ground_fact_armx)) SUBTYPE OF (atomic_formula); SELF\representation_item.name RENAMED predicate_symbol : predicate_symbol; terms : LIST [0:?] OF term_select; DERIVE SELF\compound_representation_item.item_element : compound_item_definition := ?; END_ENTITY; -- atomic_formula_armx |
Entity data types and their attributesrepresentation_itemname: label; compound_representation_item item_element: compound_item_definition; atomic_formula - atomic_formula_armx (RT) name->predicate_symbol: predicate_symbol; terms: LIST [0:?] OF term_select; (RT) (DER) item_element: compound_item_definition; |
ground_fact_armx (PRODUCTION_RULE_XIM) |
rule_condition_armx (PRODUCTION_RULE_XIM) |
Global rules for this entity data type- |
public interface EAtomic_formula_armx extends EAtomic_formulaterms (explicit attribute)boolean testTerms(EAtomic_formula_armx type)ATerm_select getTerms(EAtomic_formula_armx type) ATerm_select createTerms(EAtomic_formula_armx type) void unsetTerms(EAtomic_formula_armx type) |
public class CAtomic_formula_armx implements EAtomic_formula_armxstatic EAttribute attributeTerms(EAtomic_formula_armx type)static int usedinTerms(EAtomic_formula_armx type, EEntity instance, ASdaiModel domain, AAtomic_formula_armx result) static EAttribute attributeItem_element(EAtomic_formula_armx type) static int usedinItem_element(EAtomic_formula_armx type, EEntity instance, ASdaiModel domain, AAtomic_formula_armx result) |
public class AAtomic_formula_armx extends AEntitypublic EAtomic_formula_armx getByIndex(int index)public EAtomic_formula_armx getCurrentMember(SdaiIterator it) |